tarau.jinni
Class SystemObject

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

Direct Known Subclasses:

Copier, Fluent, JavaObject, VarNumberer

class SystemObject

extends Nonvar

A SystemObject is a Jinni Nonvar with system assigned name

Field Summary

(package private) static long	ctr
private long	ordinal

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

(package private)

SystemObject()

Method Summary

(package private) boolean	bind_to(Term that, Trail trail)
int	getArity() returns or fakes an arity for all subtypes
java.lang.String	name()
java.lang.String	toString()

Methods inherited from class tarau.jinni.Nonvar

eq, listify, unify_to

Methods inherited from class tarau.jinni.Term

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

Methods inherited from class java.lang.Object

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

Field Detail

ctr

static long ctr

ordinal

private long ordinal

Constructor Detail

SystemObject

SystemObject()

Method Detail

name

public java.lang.String name()

Overrides:

name in class Nonvar

bind_to

boolean bind_to(Term that,
                Trail trail)

Overrides:

bind_to in class Nonvar

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getArity

public final int getArity()

Description copied from class: Term

returns or fakes an arity for all subtypes

Overrides:

getArity in class Term