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.


Constructor Index

 o UnorderedVector()
Constructs an empty unordered vector.
 o UnorderedVector(Object[])
Constructs an unordered vector from an exjava array, converting the elements to their corresponding values for the frame system.
 o UnorderedVector(Object[], Frame)
Constructs an unordered 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 unordered vector.

Constructors

 o UnorderedVector
 public UnorderedVector()
Constructs an empty unordered vector.

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

Methods

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