|
Algernon Software | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use AlgernonCompilerState | |
| org.algernon | |
| org.algernon.aam.compile | |
| Uses of AlgernonCompilerState in org.algernon |
| Fields in org.algernon declared as AlgernonCompilerState | |
protected AlgernonCompilerState |
Algernon.m_compileSettings
|
| Uses of AlgernonCompilerState in org.algernon.aam.compile |
| Methods in org.algernon.aam.compile that return AlgernonCompilerState | |
AlgernonCompilerState |
AlgernonCompilerState.copy()
|
| Methods in org.algernon.aam.compile with parameters of type AlgernonCompilerState | |
LispValue |
AlgernonCompiler.compile(Path path,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
Returns a list of AAM machine code to be executed. |
protected LispValue |
AlgernonCompiler.compilePath(Path path,
AlgernonKBSet kbSet,
int index,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
compilePath compiles an Algernon path into abstract machine code. |
protected LispValue |
AlgernonCompiler.compilePathNoReturn(Path path,
AlgernonKBSet kbSet,
int index,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
compilePathAux is an internal routine that compiles a path. |
protected LispValue |
AlgernonCompiler.compilePathAux(Path path,
AlgernonKBSet kbSet,
int index,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compilePathAux is an internal routine that compiles a path. |
protected LispValue |
AlgernonCompiler.compileClause(Clause clause,
AlgernonKBSet kbSet,
int index,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compiles one clause |
protected LispValue |
AlgernonCompiler.compileSubroutine(LispValue variable,
Path path,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
compiles a subroutine. |
protected LispValue |
AlgernonCompiler.compileSpecial(Clause clause,
AlgernonKBSet kbSet,
int index,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compileSpecial - general-purpose routine for special MACROS whose details are handled by the opcode. |
protected LispValue |
AlgernonCompiler.compileSpecialWithFailAndMerge(Clause clause,
AlgernonKBSet kbSet,
int index,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compileSpecialWithFailAndMerge - general-purpose routine for special MACROS that need to check for failure afterward. |
protected LispValue |
AlgernonCompiler.compileSpecialWithFail(Clause clause,
AlgernonKBSet kbSet,
int index,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compileSpecialWithFail - general-purpose routine for special MACROS that need to check for failure afterward. |
protected LispValue |
AlgernonCompiler.compileSpecialWithMerge(Clause clause,
AlgernonKBSet kbSet,
int index,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compileSpecialWithMerge - general-purpose routine for special MACROS that need to do a merge-bindings afterward. |
protected LispValue |
AlgernonCompiler.compileAssert(Clause clause,
AlgernonKBSet kbSet,
int index,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compile-assert |
protected LispValue |
AlgernonCompiler.compileQuery(Clause clause,
AlgernonKBSet kbSet,
int index,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compileQuery |
protected LispValue |
AlgernonCompiler.compileVerify(Clause clause,
AlgernonKBSet kbSet,
int index,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
compileVerify |
protected LispValue |
AlgernonCompiler.compileMacro(Clause clause,
AlgernonKBSet kbSet,
int index,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpAllPaths(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpAny(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpAsk(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpAddClass(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
create a new frame and assert the path for that variable. |
protected LispValue |
AlgernonCompiler.compileOpCount(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
This compiles the :COUNT macro. |
protected LispValue |
AlgernonCompiler.compileOpDelete(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpFail(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
This compiles the :FAIL and :UNP macros (which are synonyms of each other). |
protected LispValue |
AlgernonCompiler.compileOpFire(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpFor(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
This compiles the :FOR macro. |
protected LispValue |
AlgernonCompiler.compileOpLimit(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
This compiles the :LIMIT macro. |
protected LispValue |
AlgernonCompiler.compileOpPrint(Clause clause,
AlgernonKBSet kbSet,
int index,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors,
boolean newline)
compileOpPrint - compiles the PRINT and PRINTLN macros. |
protected LispValue |
AlgernonCompiler.compileOpForcClass(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpForcInstance(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpAddInstance(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpOr(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpTheClass(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected LispValue |
AlgernonCompiler.compileOpTheInstance(Clause clause,
AlgernonKBSet kbSet,
int compileMode,
BindingList bindings,
Map argumentTypes,
Rule rule,
AlgernonCompilerState compileState,
LispValue code,
ErrorSet compileErrors)
|
protected void |
AlgernonCompiler.validateArgumentTypes(Clause clause,
AlgernonKBSet kbSet,
Map argumentTypes,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
validates that arguments are of the correct type. |
protected void |
AlgernonCompiler.validateSpecialFormArgumentTypes(Clause form,
AlgernonKBSet kbSet,
Map argumentTypes,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
Validates argument types for macros like :THE, :A and :FORC, which have different forms of arguments. |
protected void |
AlgernonCompiler.validateMacroArgumentTypes(Clause form,
AlgernonKBSet kbSet,
Map argumentTypes,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
Validates argument types for macros like :INSTANCE, :CLASS, and so on. |
protected boolean |
AlgernonCompiler.typeEQ(AlgernonKBSet kbSet,
LispValue argument,
Set type,
Map argumentTypes,
Clause form,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
Checks for equality and stores the type, if not previously known. |
protected boolean |
AlgernonCompiler.constantTypeEQ(AlgernonKBSet kbSet,
LispValue argument,
Set type,
Clause form,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
|
protected void |
AlgernonCompiler.implicitTypeRestrict(AlgernonKBSet kbSet,
Clause clause,
Map argumentTypes,
AlgernonCompilerState compileState,
ErrorSet compileErrors)
Added 29 Sep 1999 (mh) Added type restriction - if the path contains an ISA or MEMBER clause, this information is used to restrict the type to a new type, eliminating some unnecessary warning messages The clause should NOT be negated. |
Collection |
AlgernonCompiler.compileRule(Rule rule,
AlgernonKBSet kbSet,
BindingList bindings,
Map argTypes,
AlgernonCompilerState compileState,
int startIndex,
ErrorSet errors)
Compiles a rule. |
void |
AlgernonCompiler.initializeArgumentTypes(AlgernonKBSet kbSet,
Map typeList,
Path path,
AlgernonCompilerState compileState,
ErrorSet errors,
boolean clear)
The compiler type-checks each clause. |
|
Algernon Software | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||