C# Class Axiom.Runtime.AMProgram

Inheritance: AbstractProgram
Datei anzeigen 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