org.overturetool.vdmj.values
Class FieldMap

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractList<E>
          java.util.Vector<FieldValue>
              org.overturetool.vdmj.values.FieldMap

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<FieldValue>, java.util.Collection<FieldValue>, java.util.List<FieldValue>, java.util.RandomAccess

public class FieldMap
extends java.util.Vector<FieldValue>

A class to hold the name/Value list of fields in a record.

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.Vector

capacityIncrement, elementCount, elementData

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

FieldMap()

FieldMap(FieldMap from)

FieldMap(java.lang.String k, Value v, boolean comp)

Method Summary

boolean	add(FieldValue fv)
boolean	add(java.lang.String k, Value v, boolean comp)
java.lang.Object	clone()
Value	get(java.lang.String key)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.util.Vector

add, addAll, addAll, addElement, capacity, clear, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, 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

FieldMap

public FieldMap()

FieldMap

public FieldMap(FieldMap from)

FieldMap

public FieldMap(java.lang.String k,
                Value v,
                boolean comp)

Method Detail

add

public boolean add(FieldValue fv)

Specified by:

add in interface java.util.Collection<FieldValue>

Specified by:

add in interface java.util.List<FieldValue>

Overrides:

add in class java.util.Vector<FieldValue>

add

public boolean add(java.lang.String k,
                   Value v,
                   boolean comp)

get

public Value get(java.lang.String key)

toString

public java.lang.String toString()

Overrides:

toString in class java.util.Vector<FieldValue>

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Collection<FieldValue>

Specified by:

hashCode in interface java.util.List<FieldValue>

Overrides:

hashCode in class java.util.Vector<FieldValue>

clone

public java.lang.Object clone()

Overrides:

clone in class java.util.Vector<FieldValue>