jTrolog.terms

Class WrapVar

java.lang.Object

jTrolog.terms.Term

jTrolog.terms.Var

jTrolog.terms.WrapVar

All Implemented Interfaces:

Serializable, Wrapper

public class WrapVar
extends Var
implements Wrapper

Author:

ivar.orstavik@hist.no

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface jTrolog.terms.Wrapper

Wrapper.WrappedIterator

Field Summary

Fields inherited from class jTrolog.terms.Var

ANY, nrInStruct

Fields inherited from class jTrolog.terms.Term

ATOM, emptyList, FALSE, iterator, NUMBER, pos, prePost, STRUCT, tree, TRUE, type, VAR

Constructor Summary

Constructors

Constructor and Description
WrapVar(Var var, int renameVarID)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object t)
Term	getBasis()
int	getContext()
int	hashCode()
boolean	isAnonymous() Tests if this variable is ANY
String	toString() Gets the string representation of this variable.
String	toStringSmall()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

WrapVar

public WrapVar(Var var,
               int renameVarID)

Method Detail

equals

public boolean equals(Object t)

Overrides:

equals in class Var

hashCode

public int hashCode()

Overrides:

hashCode in class Var

isAnonymous

public boolean isAnonymous()

Description copied from class: Var

Tests if this variable is ANY

Overrides:

isAnonymous in class Var

toString

public String toString()

Description copied from class: Var

Gets the string representation of this variable.

Overrides:

toString in class Var

toStringSmall

public String toStringSmall()

Overrides:

toStringSmall in class Var

getContext

public int getContext()

Specified by:

getContext in interface Wrapper

getBasis

public Term getBasis()

Specified by:

getBasis in interface Wrapper