Class UnorderedVector
java.lang.Object
|
+----java.util.Vector
|
+----UnorderedVector
- public class UnorderedVector
- extends Vector
The class `UnorderedVector' is a subclass of vectors that represent sets or
bags in the frame system.
-
UnorderedVector()
- Constructs an empty unordered vector.
-
UnorderedVector(Object[])
- Constructs an unordered vector from an exjava array, converting the
elements to their corresponding values for the frame system.
-
UnorderedVector(Object[], Frame)
- Constructs an unordered vector from an exjava array, converting the
elements to their corresponding values for the frame system.
-
FILise(boolean)
- Writes FIL for this unordered vector.
UnorderedVector
public UnorderedVector()
- Constructs an empty unordered vector.
UnorderedVector
public UnorderedVector(Object array[])
- Constructs an unordered vector from an exjava array, converting the
elements to their corresponding values for the frame system.
- Parameters:
- array - The array of objects to construct the vector from.
UnorderedVector
public UnorderedVector(Object array[],
Frame entityOrTypeFrame)
- Constructs an unordered vector from an exjava array, converting the
elements to their corresponding values for the frame system. The
extra argument is an entity or defined type frame to be passed on to
Values.convert just in case the vector contains IdRefs (directly or
indirectly).
- Parameters:
- array - The array of objects to construct the vector from.
- entityorTypeFrame - The entity or defined type frame to be
passed to Values.convert.
FILise
public 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.
- Parameters:
- HTML - If true, FIL will be augmented with HTML tags.
- Returns:
- s The FIL representation of this unordered vector.