tarau.jinni
Class Fun

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

Direct Known Subclasses:

Clause, Cons, constToken, eocToken, eofToken, FunBuiltin, funToken, iffToken, intToken, realToken, stringToken, varToken

public class Fun

extends Const

Implements compound terms

See Also:

Term

Field Summary

(package private) Term[]

args

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

Fun(java.lang.String s)

Fun(java.lang.String s, int arity)

Fun(java.lang.String s, Term x0)

Fun(java.lang.String s, Term x0, Term x1)

Fun(java.lang.String s, Term x0, Term x1, Term x2)

Fun(java.lang.String s, Term x0, Term x1, Term x2, Term x3)

Method Summary

(package private) boolean	bind_to(Term that, Trail trail)
protected Fun	funClone()
protected java.lang.String	funToString()
Term	getArg(int i)
int	getArity() returns an arity normally defined as 0
int	getIntArg(int i)
(package private) void	init(int arity)
protected Fun	initializedClone()
(package private) boolean	isClause()
(package private) Const	listify() returns a list representation of the object
int	putArg(int i, Term T, Prog p)
(package private) Term	reaction(Term that) Defines the reaction to an agent recursing over the structure of a term.
void	setArg(int i, Term T)
private java.lang.String	show_args()
(package private) Const	toBuiltin() creates a ConstBuiltin from a Const known to be registered as being a builtin while returning its argument unchanged if it is just a plain Prolog constant with no builtin code attached to it
(package private) Term	token()
java.lang.String	toString()
(package private) boolean	unify_to(Term that, Trail trail) Unify dereferenced
protected Fun	unInitializedClone()
protected static java.lang.String	watchNull(Term x)

Methods inherited from class tarau.jinni.Const

eq, getKey, name, qname, the, toUnquoted

Methods inherited from class tarau.jinni.Term

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

Methods inherited from class java.lang.Object

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

Field Detail

args

Term[] args

Constructor Detail

Fun

public Fun(java.lang.String s)

Fun

public Fun(java.lang.String s,
           int arity)

Fun

public Fun(java.lang.String s,
           Term x0)

Fun

public Fun(java.lang.String s,
           Term x0,
           Term x1)

Fun

public Fun(java.lang.String s,
           Term x0,
           Term x1,
           Term x2)

Fun

public Fun(java.lang.String s,
           Term x0,
           Term x1,
           Term x2,
           Term x3)

Method Detail

getArity

public final int getArity()

Description copied from class: Const

returns an arity normally defined as 0

Overrides:

getArity in class Const

Tags copied from class: Const

See Also:

Term.CONST

init

void init(int arity)

getArg

public final Term getArg(int i)

getIntArg

public final int getIntArg(int i)

setArg

public final void setArg(int i,
                         Term T)

putArg

public final int putArg(int i,
                        Term T,
                        Prog p)

funToString

protected final java.lang.String funToString()

toString

public java.lang.String toString()

Overrides:

toString in class Const

watchNull

protected static java.lang.String watchNull(Term x)

show_args

private java.lang.String show_args()

bind_to

boolean bind_to(Term that,
                Trail trail)

Overrides:

bind_to in class Const

unify_to

boolean unify_to(Term that,
                 Trail trail)

Description copied from class: Term

Unify dereferenced

Overrides:

unify_to in class Nonvar

token

Term token()

Overrides:

token in class Term

funClone

protected final Fun funClone()

unInitializedClone

protected Fun unInitializedClone()

initializedClone

protected Fun initializedClone()

reaction

Term reaction(Term that)

Description copied from class: Term

Defines the reaction to an agent recursing over the structure of a term. This is passed to the agent and the result of the action is returned. Through overriding, for instance, a Fun term will provide the recursion over its arguments, by applying the action to each of them.

Overrides:

reaction in class Term

Tags copied from class: Term

See Also:

Fun

listify

Const listify()

Description copied from class: Nonvar

returns a list representation of the object

Overrides:

listify in class Nonvar

toBuiltin

Const toBuiltin()

Description copied from class: Const

creates a ConstBuiltin from a Const known to be registered as being a builtin while returning its argument unchanged if it is just a plain Prolog constant with no builtin code attached to it

Overrides:

toBuiltin in class Const

isClause

boolean isClause()

Overrides:

isClause in class Term