tarau.jinni
Class ConstBuiltin

java.lang.Object
  |
  +--tarau.jinni.Term
        |
        +--tarau.jinni.Nonvar
              |
              +--tarau.jinni.Const
                    |
                    +--tarau.jinni.ConstBuiltin

Direct Known Subclasses:

fail_, halt, reconsult_again, true_

public abstract class ConstBuiltin

extends Const

Template for builtins of arity 0

Fields inherited from class tarau.jinni.Const

aFail, anEof, aNil, aNo, aTrue, aYes, sym

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

ConstBuiltin(java.lang.String s)

Method Summary

abstract int	exec(Prog p) Executed when a builtin is called.
boolean	isBuiltin()

Methods inherited from class tarau.jinni.Const

bind_to, eq, getArity, getKey, name, qname, the, toBuiltin, toString, toUnquoted

Methods inherited from class tarau.jinni.Nonvar

listify, unify_to

Methods inherited from class tarau.jinni.Term

action, charsToString, copy, exec, fromString, isClause, matches, matching_copy, numbervars, pprint, pprint, reaction, ref, stringToChars, toChars, toClause, token, toObject, toTerm, undo, unify, varsOf

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Constructor Detail

ConstBuiltin

public ConstBuiltin(java.lang.String s)

Method Detail

exec

public abstract int exec(Prog p)

Description copied from class: Term

Executed when a builtin is called. Needs to be overriden. Returns a run-time warning if this is forgotten.

Overrides:

exec in class Term

isBuiltin

public boolean isBuiltin()

Overrides:

isBuiltin in class Term