|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Continuation | |
| com.svincent.moksa | An implementation of a Warren's Abstract Machine and associated builtin predicates, to conform to ISO Prolog. |
| Uses of Continuation in com.svincent.moksa |
| Fields in com.svincent.moksa declared as Continuation | |
Continuation |
Wam.Fail
A very common continuation |
| Methods in com.svincent.moksa that return Continuation | |
Continuation |
Wam.getContinuation()
Get the current continuation. |
Continuation |
Wam.findExceptionHandler(PrologTerm exception)
|
Continuation |
Wam.ExceptionHandler.getHandler()
|
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 Continuation |
CompiledRule.invokeRule(Wam wam)
|
Continuation |
JavaInterface.Java_constructor_2.invokeRule(Wam wam)
|
Continuation |
JavaInterface.Java_method_3.invokeRule(Wam wam)
|
Continuation |
PrologFactory.makeContinuation(Rule rule,
PrologTerm[] registers,
Continuation next)
Make a new Continuation. |
Continuation |
PrologFactory.callThrowInstantiationError()
|
Continuation |
PrologFactory.callThrowTypeError(java.lang.String desiredType,
PrologTerm offendingTerm)
|
Continuation |
PrologFactory.callThrowDomainError(java.lang.String desiredDomain,
PrologTerm offendingTerm)
|
Continuation |
PrologFactory.callThrowPermissionError(java.lang.String desiredPermission,
PrologTerm offendingTerm)
|
Continuation |
PrologFactory.callThrowPermissionError(java.lang.String desiredPermission,
java.lang.String auxilliaryAtom,
PrologTerm offendingTerm)
|
Continuation |
PrologFactory.callThrowExistenceError(java.lang.String desiredExistor,
PrologTerm offendingTerm)
|
Continuation |
PrologFactory.callThrow(PrologTerm exception)
|
Continuation |
InterpretedRule.invokeRule(Wam wam)
|
| Methods in com.svincent.moksa with parameters of type Continuation | |
void |
Wam.setContinuation(Continuation _continuation)
Set the value of continuation register. |
static Continuation |
Continuation.make(PrologEngine engine,
PrologTerm goal,
Continuation next)
Make a new Continuation for the given (possibly compound) goal 'goal'. |
Continuation |
PrologFactory.makeContinuation(Rule rule,
PrologTerm[] registers,
Continuation next)
Make a new Continuation. |
void |
PrologFactory.returnToPool(Continuation continuation)
|
| Constructors in com.svincent.moksa with parameters of type Continuation | |
Wam.ExceptionHandler.Wam.ExceptionHandler(Wam _wam,
PrologTerm _goal,
PrologTerm _exception,
Continuation _handler)
|
|
Continuation.Continuation(Rule _rule,
PrologTerm[] _registers,
Continuation _next)
Construct a new Continuation which will call the given goal, then proceed on to the 'next' continuation. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
This is documentation for Moksa Prolog, which can be found at http://www.svincent.com/moksa/
Copyright © 1999 Shawn P. Vincent.
This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.