Class UnorderedVector

java.lang.Object
  |
  +--java.util.AbstractCollection
        |
        +--java.util.AbstractList
              |
              +--java.util.Vector
                    |
                    +--UnorderedVector
All Implemented Interfaces:
java.lang.Cloneable, java.util.Collection, FILisable, java.util.List, java.io.Serializable

public class UnorderedVector
extends java.util.Vector
implements FILisable

The class `UnorderedVector' is a subclass of vectors that represent sets or bags in the frame system.

See Also:
Serialized Form

Fields inherited from class java.util.Vector
capacityIncrement, elementCount, elementData
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
UnorderedVector()
          Constructs an empty unordered vector.
 
Method Summary
 java.lang.String FILise(boolean HTML)
          Writes FIL for this unordered vector.
 boolean subsetOf(UnorderedVector that)
          Returns true iff this vector is a subset of a given vector, i.e.
 
Methods inherited from class java.util.Vector
add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize
 
Methods inherited from class java.util.AbstractList
iterator, listIterator, listIterator
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
iterator, listIterator, listIterator
 

Constructor Detail

UnorderedVector

public UnorderedVector()
Constructs an empty unordered vector.
Method Detail

FILise

public java.lang.String FILise(boolean HTML)
Writes FIL for this unordered vector. Elements are enclosed in curly brackets and separated by commas. Elements are FIL-ised recursively.
Specified by:
FILise in interface FILisable
Parameters:
HTML - If true, FIL will be augmented with HTML tags.
Returns:
The FIL representation of this unordered vector.

subsetOf

public boolean subsetOf(UnorderedVector that)
Returns true iff this vector is a subset of a given vector, i.e. if every element in this vector matches some element in that vector.
Parameters:
that - The vector it's testing whether this is a subset of.
Returns:
true if this vector is a subset of that vector, false if it is not.