tarau.jinni
Class Const

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

Direct Known Subclasses:

ConstBuiltin, Fun, Nil, PseudoVar, Token

public class Const

extends Nonvar

Symbolic constant, of arity 0.

Field Summary

static Const	aFail
static Const	anEof
static Nil	aNil
static Const	aNo
static Const	aTrue
static Const	aYes
private java.lang.String	sym

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

Const(java.lang.String s)

Method Summary

(package private) boolean	bind_to(Term that, Trail trail)
boolean	eq(Term that)
int	getArity() returns an arity normally defined as 0
java.lang.String	getKey() Returns a string key used based on the string name of the term.
java.lang.String	name()
java.lang.String	qname()
static Const	the(Term X)
(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
java.lang.String	toString()
java.lang.String	toUnquoted()

Methods inherited from class tarau.jinni.Nonvar

listify, unify_to

Methods inherited from class tarau.jinni.Term

action, charsToString, copy, exec, exec, fromString, isBuiltin, 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

Field Detail

aNil

public static final Nil aNil

aTrue

public static final Const aTrue

aFail

public static final Const aFail

aYes

public static final Const aYes

aNo

public static final Const aNo

anEof

public static final Const anEof

sym

private java.lang.String sym

Constructor Detail

Const

public Const(java.lang.String s)

Method Detail

the

public static final Const the(Term X)

name

public final java.lang.String name()

Overrides:

name in class Nonvar

qname

public java.lang.String qname()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

bind_to

boolean bind_to(Term that,
                Trail trail)

Overrides:

bind_to in class Nonvar

eq

public boolean eq(Term that)

Overrides:

eq in class Nonvar

getKey

public java.lang.String getKey()

Description copied from class: Term

Returns a string key used based on the string name of the term. Note that the key for a clause AL-B,C. is the key insted of ':-'.

Overrides:

getKey in class Term

getArity

public int getArity()

returns an arity normally defined as 0

Overrides:

getArity in class Term

See Also:

Term.CONST

toBuiltin

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

toUnquoted

public java.lang.String toUnquoted()

Overrides:

toUnquoted in class Term