com.svincent.moksa
Class Builtin.ArithmeticComparisonRule

java.lang.Object
  |
  +--com.svincent.moksa.WamObject
        |
        +--com.svincent.moksa.Rule
              |
              +--com.svincent.moksa.Builtin.BuiltinRule
                    |
                    +--com.svincent.moksa.Builtin.ArithmeticComparisonRule

Direct Known Subclasses:

Builtin.Equals_2, Builtin.GreaterThan_2, Builtin.GreaterThanEquals_2, Builtin.LessThan_2, Builtin.LessThanEquals_2, Builtin.NotEquals_2

Enclosing class:

Builtin

public abstract static class Builtin.ArithmeticComparisonRule

extends Builtin.BuiltinRule

Base class for arithmetic comparison builtins.

Constructor Summary

Builtin.ArithmeticComparisonRule()

Method Summary

abstract boolean	compare(PrologTerm x, PrologTerm y)
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.
Continuation	invokeRule(Wam wam) Contains the code which defines what this Rule does.

Methods inherited from class com.svincent.moksa.Builtin.BuiltinRule

getTerm, makeTerm

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

Builtin.ArithmeticComparisonRule

public Builtin.ArithmeticComparisonRule()

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

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)

compare

public abstract boolean compare(PrologTerm x,
                                PrologTerm y)
                         throws PrologException