Package examples.v2c.tr.definitions
Class TRDefinitionList
- java.lang.Object
-
- java.util.AbstractCollection<E>
-
- java.util.AbstractList<E>
-
- java.util.Vector<TO>
-
- com.fujitsu.vdmj.mapper.MappedList<FROM,TO>
-
- examples.v2c.tr.TRMappedList<com.fujitsu.vdmj.tc.definitions.TCDefinition,TRDefinition>
-
- examples.v2c.tr.definitions.TRDefinitionList
-
- All Implemented Interfaces:
com.fujitsu.vdmj.mapper.Mappable,Serializable,Cloneable,Iterable<TRDefinition>,Collection<TRDefinition>,List<TRDefinition>,RandomAccess
public class TRDefinitionList extends TRMappedList<com.fujitsu.vdmj.tc.definitions.TCDefinition,TRDefinition>
- 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
Constructors Constructor Description TRDefinitionList(com.fujitsu.vdmj.tc.definitions.TCDefinitionList list)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Stringtranslate()-
Methods inherited from class examples.v2c.tr.TRMappedList
equals
-
Methods inherited from class java.util.Vector
add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, firstElement, forEach, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, iterator, lastElement, lastIndexOf, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeIf, removeRange, replaceAll, retainAll, set, setElementAt, setSize, size, sort, spliterator, subList, toArray, toArray, toString, trimToSize
-
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface java.util.Collection
parallelStream, stream, toArray
-
-