Class OrderedVector
java.lang.Object
|
+----java.util.Vector
|
+----OrderedVector
- public class OrderedVector
- extends Vector
The class `OrderedVector' is a subclass of vectors that represent lists or
arrays in the frame system.
-
OrderedVector()
- Constructs an empty ordered vector.
-
OrderedVector(Object[])
- Constructs an ordered vector from an exjava array, converting the
elements to their corresponding values for the frame system.
-
OrderedVector(Object[], Frame)
- Constructs an ordered vector from an exjava array, converting the
elements to their corresponding values for the frame system.
-
FILise(boolean)
- Writes FIL for this ordered vector.
OrderedVector
public OrderedVector()
- Constructs an empty ordered vector.
OrderedVector
public OrderedVector(Object array[])
- Constructs an ordered 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.
OrderedVector
public OrderedVector(Object array[],
Frame entityOrTypeFrame)
- Constructs an ordered 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 ordered vector. Elements are enclosed in square
square 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 ordered vector.