C# Class Axiom.Runtime.AMProgram

Inheritance: AbstractProgram

Afficher le fichier Open project: ahodroj/prologdotnet Class Usage Examples

Méthodes publiques

Méthode	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

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

Method Details

AddInstruction() public méthode

public AddInstruction ( AbstractInstruction instruction ) : void
instruction	AbstractInstruction
Résultat	void

AddLabel() public méthode

public AddLabel ( string label, ProgramClause procedure ) : void
label	string
procedure	ProgramClause
Résultat	void

AddProgramNode() public méthode

public AddProgramNode ( ProgramNode node ) : void
node	ProgramNode
Résultat	void

AssertFirst() public méthode

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

AssertLast() public méthode

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

CurrentInstruction() public méthode

public CurrentInstruction ( ) : AbstractInstruction
Résultat	AbstractInstruction

Initialize() public méthode

public Initialize ( ArrayList program ) : void
program	System.Collections.ArrayList
Résultat	void

IsDefined() public méthode

public IsDefined ( string label ) : bool
label	string
Résultat	bool

Next() public méthode

public Next ( ) : void
Résultat	void

Stop() public méthode

public Stop ( ) : bool
Résultat	bool

this() public méthode

public this ( string procedureName ) : ProgramClause
procedureName	string
Résultat	ProgramClause