Uses of Class
com.svincent.moksa.Continuation

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.
 




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.