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.


Constructor Index

 o OrderedVector()
Constructs an empty ordered vector.
 o OrderedVector(Object[])
Constructs an ordered vector from an exjava array, converting the elements to their corresponding values for the frame system.
 o OrderedVector(Object[], Frame)
Constructs an ordered vector from an exjava array, converting the elements to their corresponding values for the frame system.

Method Index

 o FILise(boolean)
Writes FIL for this ordered vector.

Constructors

 o OrderedVector
 public OrderedVector()
Constructs an empty ordered vector.

 o 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.
 o 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.

Methods

 o 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.