Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD

com.svincent.moksa
Class InterpretedRule

java.lang.Object
  |
  +--com.svincent.moksa.WamObject
        |
        +--com.svincent.moksa.Rule
              |
              +--com.svincent.moksa.InterpretedRule
public class InterpretedRule
extends Rule

A rule, but interpreted, rather than compiled.

Constructor Summary
InterpretedRule(CompoundTerm _ruleDef)
           
 
Method Summary
 int getArity()
          Return the arity of this Rule (i.e.
 java.lang.String getName()
          Return the name of this Rule in "atom/arity" notation.
 PrologTerm getTerm(PrologFactory factory)
          Return the Prolog term corresponding to this Rule.
 Continuation invokeRule(Wam wam)
          Contains the code which defines what this Rule does.
 void tag(java.io.PrintWriter out)
          Returns a short, human-readable String describing this Rule.
 
Methods inherited from class com.svincent.moksa.Rule
invoke, isFirstAlternative, isLastAlternative, isOnlyAlternative
 
Methods inherited from class com.svincent.moksa.WamObject
tag
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InterpretedRule

public InterpretedRule(CompoundTerm _ruleDef)
Method Detail

getArity

public int getArity()
Description copied from class: Rule
Return the arity of this Rule (i.e. - the number of parameters it expects).
Overrides:
getArity in class Rule

getName

public java.lang.String getName()
Description copied from class: Rule
Return the name of this Rule in "atom/arity" notation.
Overrides:
getName in class Rule

getTerm

public PrologTerm getTerm(PrologFactory factory)
Description copied from class: Rule
Return the Prolog term corresponding to this Rule. The term returned is invariably an instance of :-/2: this is a Rule, after all!
Overrides:
getTerm in class Rule

invokeRule

public Continuation invokeRule(Wam wam)
                        throws PrologException
Description copied from class: Rule
Contains the code which defines what this Rule does. Called by invoke.
Overrides:
invokeRule in class Rule
Tags copied from class: Rule
See Also:
Rule.invoke(com.svincent.moksa.Wam)

tag

public void tag(java.io.PrintWriter out)
Description copied from class: Rule
Returns a short, human-readable String describing this Rule.
Overrides:
tag in class Rule
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD

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.