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 CompiledRule

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

Provides a superclass for compiled rules.

Constructor Summary
CompiledRule()
           
 
Method Summary
abstract  int getArity()
          Return the arity of this Rule (i.e.
abstract  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.
abstract  Continuation invokeRule(Wam wam)
          Contains the code which defines what this Rule does.
abstract  PrologTerm makeTerm(PrologFactory factory)
           
 
Methods inherited from class com.svincent.moksa.Rule
invoke, isFirstAlternative, isLastAlternative, isOnlyAlternative, tag
 
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

CompiledRule

public CompiledRule()
Method Detail

getName

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

getArity

public abstract 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

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 abstract 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)

makeTerm

public abstract PrologTerm makeTerm(PrologFactory factory)
                             throws PrologException
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.