tarau.jinni
Class halt

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

class halt

extends ConstBuiltin

does its best to halt the program:-) to be thoroughly tested with Applets

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

(package private)

halt()

Method Summary

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

Methods inherited from class tarau.jinni.ConstBuiltin

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

halt

halt()

Method Detail

exec

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