Package examples.v2c.tr

Class TRMappedList<FROM extends com.fujitsu.vdmj.mapper.Mappable,TO extends com.fujitsu.vdmj.mapper.Mappable>

java.lang.Object

java.util.AbstractCollection<TO>

java.util.AbstractList<TO>

java.util.Vector<TO>

com.fujitsu.vdmj.mapper.MappedList<FROM,TO>

examples.v2c.tr.TRMappedList<FROM,TO>

All Implemented Interfaces:

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

Direct Known Subclasses:

TRClassList, TRDefinitionList, TRExpressionList, TRModuleList, TRTypeList

public class TRMappedList<FROM extends com.fujitsu.vdmj.mapper.Mappable,TO extends com.fujitsu.vdmj.mapper.Mappable>
extends com.fujitsu.vdmj.mapper.MappedList<FROM,TO>

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
TRMappedList()
TRMappedList(List<FROM> from)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object other)

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

Methods inherited from interface java.util.List

addFirst, addLast, getFirst, getLast, removeFirst, removeLast, reversed

Constructor Details

TRMappedList

public TRMappedList(List<FROM> from)
             throws Exception

Throws:

Exception

TRMappedList

public TRMappedList()

Method Details

equals

public boolean equals(Object other)

Specified by:

equals in interface Collection<FROM extends com.fujitsu.vdmj.mapper.Mappable>

Specified by:

equals in interface List<FROM extends com.fujitsu.vdmj.mapper.Mappable>

Overrides:

equals in class Vector<TO extends com.fujitsu.vdmj.mapper.Mappable>