Uses of Class
com.svincent.moksa.PrologException

Packages that use PrologException

com.svincent.moksa

An implementation of a Warren's Abstract Machine and associated builtin predicates, to conform to ISO Prolog.

Uses of PrologException in com.svincent.moksa

Subclasses of PrologException in com.svincent.moksa

class	NoSuchRuleException Thrown when a rule (name/arity) is invoked that doesn't exist..
static class	PrologException.UnhandledPrologException
class	PrologParseException Thrown when an exception occurs whilst parsing Prolog source.
class	PrologStringFormatException Thrown when a string is not in proper Prolog-quoted form.

Methods in com.svincent.moksa that throw PrologException

PrologTerm	PrologTerm.evaluateExpression() Evaluates this term as an expression.
void	PrologPackageManager.loadModule(PrologEngine engine, java.lang.String moduleName) Loads the given filename into the given PrologEngine.
void	PrologPackageManager.loadModule(PrologEngine engine, PrologParser parser, java.lang.String moduleName)
static void	PrologPackageManager.readProlog(PrologEngine engine, PrologParser parser, java.lang.String fileName)
PrologTerm	WamFloat.evaluateExpression() Evaluates this term as an expression.
static void	MoksaProlog.go(java.lang.String[] args, java.io.PrintWriter out, java.io.PrintWriter err)
boolean	Wam.badparm(int parmIdx, PrologTerm desiredValue) Called when facts are processing their parameters.
boolean	Wam.invoke(PrologTerm _goal) Invoke a goal.
Continuation	Wam.findExceptionHandler(PrologTerm exception)
Continuation	Rule.invoke(Wam wam) Invoke this Rule.
abstract Continuation	Rule.invokeRule(Wam wam) Contains the code which defines what this Rule does.
Continuation	Io.Open_4.invokeRule(Wam wam)
Continuation	Io.Close_2.invokeRule(Wam wam)
Continuation	Io.Get_stream_properties_2.invokeRule(Wam wam)
Continuation	Io.Flush_output_1.invokeRule(Wam wam)
Continuation	Io.Current_input_1.invokeRule(Wam wam)
Continuation	Io.Current_output_1.invokeRule(Wam wam)
Continuation	Io.Put_char_2.invokeRule(Wam wam)
Continuation	Io.Nl_1.invokeRule(Wam wam)
Continuation	Io.Get_char_2.invokeRule(Wam wam)
Continuation	Io.Get_prolog_token_2.invokeRule(Wam wam)
Continuation	Io.Write_2.invokeRule(Wam wam)
Continuation	Continuation.exec(Wam wam) Execute this continuation.
static Continuation	Continuation.make(PrologEngine engine, PrologTerm goal, Continuation next) Make a new Continuation for the given (possibly compound) goal 'goal'.
Continuation	Builtin.Call_1.invokeRule(Wam wam)
Continuation	Builtin.Cut_1.invokeRule(Wam wam)
Continuation	Builtin.Catch_3.invokeRule(Wam wam)
Continuation	Builtin.Throw_1.invokeRule(Wam wam)
Continuation	Builtin.Fail_0.invokeRule(Wam wam)
Continuation	Builtin.Halt_0.invokeRule(Wam wam)
Continuation	Builtin.Unify_2.invokeRule(Wam wam)
Continuation	Builtin.Var_1.invokeRule(Wam wam)
Continuation	Builtin.Atom_1.invokeRule(Wam wam)
Continuation	Builtin.Integer_1.invokeRule(Wam wam)
Continuation	Builtin.Real_1.invokeRule(Wam wam)
Continuation	Builtin.Atomic_1.invokeRule(Wam wam)
Continuation	Builtin.Compound_1.invokeRule(Wam wam)
Continuation	Builtin.Nonvar_1.invokeRule(Wam wam)
Continuation	Builtin.Number_1.invokeRule(Wam wam)
Continuation	Builtin.Identical_2.invokeRule(Wam wam)
Continuation	Builtin.Functor_3.invokeRule(Wam wam)
Continuation	Builtin.Arg_3.invokeRule(Wam wam)
Continuation	Builtin.Univ_2.invokeRule(Wam wam)
Continuation	Builtin.Set_var_nameXXX_2.invokeRule(Wam wam)
Continuation	Builtin.Copy_term_2.invokeRule(Wam wam)
Continuation	Builtin.Set_prolog_flag_2.invokeRule(Wam wam)
Continuation	Builtin.Asserta_1.invokeRule(Wam wam)
Continuation	Builtin.Assertz_1.invokeRule(Wam wam)
Continuation	Builtin.Is_2.invokeRule(Wam wam)
Continuation	Builtin.ArithmeticComparisonRule.invokeRule(Wam wam)
abstract boolean	Builtin.ArithmeticComparisonRule.compare(PrologTerm x, PrologTerm y)
boolean	Builtin.Equals_2.compare(PrologTerm x, PrologTerm y)
boolean	Builtin.NotEquals_2.compare(PrologTerm x, PrologTerm y)
boolean	Builtin.LessThan_2.compare(PrologTerm x, PrologTerm y)
boolean	Builtin.GreaterThan_2.compare(PrologTerm x, PrologTerm y)
boolean	Builtin.LessThanEquals_2.compare(PrologTerm x, PrologTerm y)
boolean	Builtin.GreaterThanEquals_2.compare(PrologTerm x, PrologTerm y)
static void	Prologc.compile(java.util.List sourceFileNames, boolean generateClasses, boolean generateSource, boolean miniProlog)
static void	Prologc.compilePrologFile(PrologEngine engine, java.lang.String fileName, boolean generateClass, boolean generateSource, boolean miniProlog)
CompiledRule	Prologc.PrologRuleCompiler.compileRule(PrologTerm term) Compile a term into a Rule.
CompiledRule	Prologc.PrologRuleCompiler.loadClass(SmallClass ruleClass) Load a CompiledRule given a SmallClass instance.
SmallClass	Prologc.PrologRuleCompiler.makeRuleClass(PrologTerm term) Make a new SmallClass instance from a Rule.
SmallClass	Prologc.PrologRuleCompiler.makeRuleClass(java.lang.String packageName, PrologTerm term)
abstract Continuation	CompiledRule.invokeRule(Wam wam)
abstract PrologTerm	CompiledRule.makeTerm(PrologFactory factory)
PrologTerm	WamInteger.evaluateExpression() Evaluates this term as an expression.
void	PrologEngine.asserta(PrologTerm term) Asserts a new clause before all clauses of the definition of the given predicate.
void	PrologEngine.assertz(PrologTerm term) Asserts a new clause after all clauses of the definition of the given predicate.
Variable[]	PrologEngine.solve(CompoundTerm goal) Utility method from outside.
boolean	PrologEngine.invoke(CompoundTerm goal) Utility method from outside.
Rule	PrologEngine.compileRule(PrologTerm term)
void	PrologEngine.loadModule(java.lang.String moduleName)
abstract PrologTerm	PrologEngine.ArithmeticHandler.evaluate(PrologTerm[] operands)
PrologTerm	PrologEngine.AddHandler.evaluate(PrologTerm[] operands)
PrologTerm	PrologEngine.NegateHandler.evaluate(PrologTerm[] operands)
PrologTerm	PrologEngine.SubtractHandler.evaluate(PrologTerm[] operands)
void	PrologLoader.load(PrologEngine engine) Loads all the compiled Rule classes defined by this Loader, and executes all the appropriate queries, also.
Continuation	JavaInterface.Java_constructor_2.invokeRule(Wam wam)
Continuation	JavaInterface.Java_method_3.invokeRule(Wam wam)
static java.lang.Object	JavaInterface.Java_method_3.convertToJava(PrologTerm o)
PrologTerm	CompoundTerm.evaluateExpression() Evaluates this term as an expression.
Continuation	InterpretedRule.invokeRule(Wam wam)