com.ibm.bluej.consistency.term

Class TermCollection

java.lang.Object

com.ibm.bluej.consistency.term.ATerm

com.ibm.bluej.consistency.term.CompositeTerm

com.ibm.bluej.consistency.term.Function

com.ibm.bluej.consistency.term.TermCollection

All Implemented Interfaces:

Updatable, java.lang.Cloneable, java.lang.Comparable<ATerm>, java.lang.Iterable<ATerm>, java.util.Collection<ATerm>

Direct Known Subclasses:

FormulaTermCollection, FuncConnectedTo, FuncIntersection, FuncNonConstSet, FuncUnion

public abstract class TermCollection
extends Function
implements java.util.Collection<ATerm>

Field Summary

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

FOR_GCC, NO_LINK

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

EMPTY_TERM, parts

Constructor Summary

Constructors

Constructor and Description
TermCollection()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	add(ATerm e)
boolean	addAll(java.util.Collection<? extends ATerm> c)
void	clear()
boolean	containsAll(java.util.Collection<?> c)
ATerm	getValue()
boolean	isEmpty()
boolean	remove(java.lang.Object o)
boolean	removeAll(java.util.Collection<?> c)
boolean	retainAll(java.util.Collection<?> c)
java.lang.Object[]	toArray()
<T> T[]	toArray(T[] a)
ATerm	valueClone()
boolean	valueEquals(ATerm t)
int	valueHash()

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

addUsedBy, getUsedBy, ground, isFunctionFree, isReady, parserSetsFocusIndicator, toString, update, zzParserInitUsedBy

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

compareTo, 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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

contains, equals, hashCode, iterator, size

Constructor Detail

TermCollection

public TermCollection()

Method Detail

valueHash

public int valueHash()

Overrides:

valueHash in class Function

valueEquals

public boolean valueEquals(ATerm t)

Overrides:

valueEquals in class Function

valueClone

public ATerm valueClone()

Overrides:

valueClone in class Function

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<ATerm>

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<ATerm>

toArray

public <T> T[] toArray(T[] a)

Specified by:

toArray in interface java.util.Collection<ATerm>

containsAll

public boolean containsAll(java.util.Collection<?> c)

Specified by:

containsAll in interface java.util.Collection<ATerm>

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.Collection<ATerm>

removeAll

public boolean removeAll(java.util.Collection<?> c)

Specified by:

removeAll in interface java.util.Collection<ATerm>

retainAll

public boolean retainAll(java.util.Collection<?> c)

Specified by:

retainAll in interface java.util.Collection<ATerm>

add

public boolean add(ATerm e)

Specified by:

add in interface java.util.Collection<ATerm>

addAll

public boolean addAll(java.util.Collection<? extends ATerm> c)

Specified by:

addAll in interface java.util.Collection<ATerm>

clear

public void clear()

Specified by:

clear in interface java.util.Collection<ATerm>

getValue

public ATerm getValue()

Specified by:

getValue in class Function