|
Algernon Software | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use ErrorSet | |
| org.algernon | |
| org.algernon.aam | |
| org.algernon.aam.compile | |
| org.algernon.kb.okbc.protege.plugins | |
| Uses of ErrorSet in org.algernon |
| Methods in org.algernon with parameters of type ErrorSet | |
LispValue |
Algernon.ask(String path,
ErrorSet errors)
See the single-parameter version for documentation. |
LispValue |
Algernon.ask(String path,
AlgernonKB kb,
ErrorSet errors)
See the single-parameter version for documentation. |
LispValue |
Algernon.ask(String path,
AlgernonKB kb,
ErrorSet errors,
BindingList blist)
See the single-parameter version for documentation. |
LispValue |
Algernon.ask(String path,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet)
See the single-parameter version for documentation. |
LispValue |
Algernon.ask(String pathString,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet,
BindingList blist,
AlgernonSettings processSettings)
See the single-parameter version for documentation. |
LispValue |
Algernon.ask(Path path,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet,
BindingList blist,
AlgernonSettings processSettings)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(String path,
ErrorSet errors)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(String path,
AlgernonKB kb,
ErrorSet errors)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(String path,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(String pathString,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet,
AlgernonSettings processSettings)
See the single-parameter version for documentation. |
LispValue |
Algernon.tell(Path path,
AlgernonKBSet kbSet,
String comment,
ErrorSet errorSet,
AlgernonSettings processSettings)
See the single-parameter version for documentation. |
static void |
Algernon.printErrors(ErrorSet errs)
Prints an ErrorSet to System.err. |
static void |
Algernon.printWarnings(ErrorSet errs)
Only prints warnings to System.err. |
static String |
Algernon.printErrorsToString(ErrorSet errs)
Prints an ErrorSet to a String. |
static String |
Algernon.printWarningsToString(ErrorSet errs)
Prints only the warnings in an ErrorSet to a String. |
LispValue |
Algernon.compile(Path path,
AlgernonKBSet kbSet,
int compileMode,
ErrorSet errorSet)
Compiles a path (which may be a rule declaration, a query, an assert or part of a rule) and returns the AAM opcodes for the path. |
LispValue |
Algernon.compile(String path,
AlgernonKBSet kbSet,
int compileMode,
ErrorSet errorSet)
Compiles a path (which may be a rule declaration, a query, an assert or part of a rule) and returns the AAM opcodes for the path. |
LispValue |
Algernon.process(LispValue code,
AlgernonKBSet kbset,
ErrorSet errors)
Executes a set of AAM opcodes. |
| Uses of ErrorSet in org.algernon.aam |
| Methods in org.algernon.aam with parameters of type ErrorSet | |
LispValue |
Processor.process(LispValue code,
AlgernonKB kb,
ErrorSet errors)
Process the given code. |
LispValue |
Processor.process(LispValue code,
AlgernonKBSet kbSet,
BindingSet bindings,
Rule rule,
Process parent,
ErrorSet errors)
Process the given code. |
| Uses of ErrorSet in org.algernon.aam.compile |
| Methods in org.algernon.aam.compile with parameters of type ErrorSet | |
void |
AlgernonCompiler.checkForObsoleteMacro(LispValue macro,
LispValue clause,
ErrorSet errors)
check for obsolete macro - puts a warning message in the error set. |
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. |
LispValue |
AlgernonCompiler.generateRuleCode(Rule rule,
AlgernonKBSet kbSet,
int direction,
Path antecedent,
Path consequent,
int index,
Rule rootRule,
BindingList boundVariables,
Map argumentTypes,
ErrorSet errors)
Generates the actual code for the rule. |
| Uses of ErrorSet in org.algernon.kb.okbc.protege.plugins |
| Fields in org.algernon.kb.okbc.protege.plugins declared as ErrorSet | |
private ErrorSet |
AlgernonTab.f_errors
|
|
Algernon Software | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||