com.ibm.bluej.consistency.term

Class ScanTerm

java.lang.Object

com.ibm.bluej.consistency.term.ATerm

com.ibm.bluej.consistency.term.CompositeTerm

com.ibm.bluej.consistency.term.ScanTerm

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ATerm>

public final class ScanTerm
extends CompositeTerm
implements java.io.Serializable

See Also:

Serialized Form

Field Summary

Fields inherited from class com.ibm.bluej.consistency.term.CompositeTerm

EMPTY_TERM, parts

Constructor Summary

Constructors

Constructor and Description
ScanTerm(ATerm... parts)

Method Summary

Methods

Modifier and Type	Method and Description
static ScanTerm	basicFromString(java.lang.String str)
void	bind(ATerm ground, Binds binds)
boolean	equals(java.lang.Object o)
ATerm	ground(Binds binds, Updatable neededBy)
int	hashCode()
boolean	matches(ATerm ground, Binds binds) just a test, binds always unchanged
java.lang.String	toString()
ATerm	valueClone()
boolean	valueEquals(ATerm t)
int	valueHash()

Methods inherited from class com.ibm.bluej.consistency.term.CompositeTerm

compareTo, isFunctionFree, isGround

Methods inherited from class com.ibm.bluej.consistency.term.ATerm

crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, mdjbFirst, mdjbNext, testRecursive

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ScanTerm

public ScanTerm(ATerm... parts)

Method Detail

matches

public boolean matches(ATerm ground,
              Binds binds)

just a test, binds always unchanged

Parameters:

ground -

binds -

Returns:

bind

public void bind(ATerm ground,
        Binds binds)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

ground

public ATerm ground(Binds binds,
           Updatable neededBy)

Specified by:

ground in class ATerm

basicFromString

public static ScanTerm basicFromString(java.lang.String str)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

valueHash

public int valueHash()

Specified by:

valueHash in class ATerm

valueEquals

public boolean valueEquals(ATerm t)

Specified by:

valueEquals in class ATerm

valueClone

public ATerm valueClone()

Specified by:

valueClone in class ATerm