C# Класс Axiom.Runtime.AMProgram

Наследование: AbstractProgram
Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод Описание
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

Приватные методы

Метод Описание
AddLabelAndPatchPredicates ( string label, ProgramClause procedure ) : void
PatchPredicates ( string predicateName, int arity, ProgramClause oldFirst ) : void

Описание методов

AddInstruction() публичный Метод

public AddInstruction ( AbstractInstruction instruction ) : void
instruction AbstractInstruction
Результат void

AddLabel() публичный Метод

public AddLabel ( string label, ProgramClause procedure ) : void
label string
procedure ProgramClause
Результат void

AddProgramNode() публичный Метод

public AddProgramNode ( ProgramNode node ) : void
node ProgramNode
Результат void

AssertFirst() публичный Метод

public AssertFirst ( string predicateName, int arity, ArrayList code ) : void
predicateName string
arity int
code System.Collections.ArrayList
Результат void

AssertLast() публичный Метод

public AssertLast ( string predicateName, int arity, ArrayList code ) : void
predicateName string
arity int
code System.Collections.ArrayList
Результат void

CurrentInstruction() публичный Метод

public CurrentInstruction ( ) : AbstractInstruction
Результат AbstractInstruction

Initialize() публичный Метод

public Initialize ( ArrayList program ) : void
program System.Collections.ArrayList
Результат void

IsDefined() публичный Метод

public IsDefined ( string label ) : bool
label string
Результат bool

Next() публичный Метод

public Next ( ) : void
Результат void

Stop() публичный Метод

public Stop ( ) : bool
Результат bool

this() публичный Метод

public this ( string procedureName ) : ProgramClause
procedureName string
Результат ProgramClause