jTrolog.terms

Class Var

java.lang.Object

jTrolog.terms.Term

jTrolog.terms.Var

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

WrapVar

public class Var
extends Term

This class represents a variable term. Variables are identified by a name (which must starts with an upper case letter) or the anonymous ('_') name.

See Also:

Term, Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static String	ANY
int	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
Var(String n, int nr) Creates a variable identified by a name.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object t)
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

Field Detail

ANY

public static final String ANY

nrInStruct

public final int nrInStruct

Constructor Detail

Var

public Var(String n,
           int nr)
    throws InvalidTermException

Creates a variable identified by a name.

Parameters:

n - varaible name if n is "_" the variable is anonymous.

nr - its variable number of its root parent Struct.

Throws:

InvalidTermException

Method Detail

equals

public boolean equals(Object t)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isAnonymous

public boolean isAnonymous()

Tests if this variable is ANY

toString

public String toString()

Gets the string representation of this variable.

Overrides:

toString in class Object

toStringSmall

public String toStringSmall()

Specified by:

toStringSmall in class Term