com.svincent.moksa
Class Builtin.BuiltinRule

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

Direct Known Subclasses:

Builtin.Arg_3, Builtin.ArithmeticComparisonRule, Builtin.Asserta_1, Builtin.Assertz_1, Builtin.Atom_1, Builtin.Atomic_1, Builtin.Call_1, Builtin.Catch_3, Builtin.Compound_1, Builtin.Copy_term_2, Builtin.Cut_1, Builtin.Fail_0, Builtin.Functor_3, Builtin.Halt_0, Builtin.Identical_2, Builtin.Integer_1, Builtin.Is_2, Builtin.Nonvar_1, Builtin.Number_1, Builtin.Real_1, Builtin.Set_prolog_flag_2, Builtin.Set_var_nameXXX_2, Builtin.Throw_1, Builtin.Unify_2, Builtin.Univ_2, Builtin.Var_1, Io.Close_2, Io.Current_input_1, Io.Current_output_1, Io.Flush_output_1, Io.Get_char_2, Io.Get_prolog_token_2, Io.Get_stream_properties_2, Io.Nl_1, Io.Open_4, Io.Put_char_2, Io.Write_2, JavaInterface.JavaRule

Enclosing class:

Builtin

public abstract static class Builtin.BuiltinRule

extends Rule

All of the builtin primitive rules subclass BuiltinRule.

Constructor Summary

Builtin.BuiltinRule()

Method Summary

PrologTerm	getTerm(PrologFactory factory) Return the Prolog term corresponding to this Rule.
PrologTerm	makeTerm(PrologFactory factory)

Methods inherited from class com.svincent.moksa.Rule

getArity, getName, invoke, invokeRule, 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.BuiltinRule

public Builtin.BuiltinRule()

Method Detail

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

makeTerm

public PrologTerm makeTerm(PrologFactory factory)