C# Class Axiom.Runtime.AMProgram

Inheritance: AbstractProgram

Show file Open project: ahodroj/prologdotnet Class Usage Examples

Public Methods

Method	Description
AddInstruction ( AbstractInstruction instruction ) : void
AddLabel ( string label, ProgramClause procedure ) : void
AddProgramNode ( ProgramNode node ) : void
AssertFirst ( string predicateName, int arity, ArrayList code ) : void
AssertLast ( string predicateName, int arity, ArrayList code ) : void
CurrentInstruction ( ) : AbstractInstruction
Initialize ( ArrayList program ) : void
IsDefined ( string label ) : bool
Next ( ) : void
Stop ( ) : bool
this ( string procedureName ) : ProgramClause

Private Methods

Method	Description
AddLabelAndPatchPredicates ( string label, ProgramClause procedure ) : void
PatchPredicates ( string predicateName, int arity, ProgramClause oldFirst ) : void

Method Details

AddInstruction() public method

public AddInstruction ( AbstractInstruction instruction ) : void
instruction	AbstractInstruction
return	void

AddLabel() public method

public AddLabel ( string label, ProgramClause procedure ) : void
label	string
procedure	ProgramClause
return	void

AddProgramNode() public method

public AddProgramNode ( ProgramNode node ) : void
node	ProgramNode
return	void

AssertFirst() public method

public AssertFirst ( string predicateName, int arity, ArrayList code ) : void
predicateName	string
arity	int
code	System.Collections.ArrayList
return	void

AssertLast() public method

public AssertLast ( string predicateName, int arity, ArrayList code ) : void
predicateName	string
arity	int
code	System.Collections.ArrayList
return	void

CurrentInstruction() public method

public CurrentInstruction ( ) : AbstractInstruction
return	AbstractInstruction

Initialize() public method

public Initialize ( ArrayList program ) : void
program	System.Collections.ArrayList
return	void

IsDefined() public method

public IsDefined ( string label ) : bool
label	string
return	bool

Next() public method

public Next ( ) : void
return	void

Stop() public method

public Stop ( ) : bool
return	bool

this() public method

public this ( string procedureName ) : ProgramClause
procedureName	string
return	ProgramClause