Package examples.v2c.tr.patterns

Class TRParameterList

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.Vector<String>

examples.v2c.tr.patterns.TRParameterList

All Implemented Interfaces:

com.fujitsu.vdmj.mapper.Mappable, Serializable, Cloneable, Iterable<String>, Collection<String>, List<String>, RandomAccess

public class TRParameterList
extends Vector<String>
implements com.fujitsu.vdmj.mapper.Mappable

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
TRParameterList(com.fujitsu.vdmj.tc.patterns.TCPatternListList list)

Method Summary

Methods inherited from class java.util.Vector

add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, 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

Constructor Detail

TRParameterList

public TRParameterList(com.fujitsu.vdmj.tc.patterns.TCPatternListList list)