Package examples.v2c.tr.expressions

Class TRExpressionList

java.lang.Object

java.util.AbstractCollection<TRExpression>

java.util.AbstractList<TRExpression>

java.util.Vector<TRExpression>

com.fujitsu.vdmj.mapper.MappedList<com.fujitsu.vdmj.tc.expressions.TCExpression,TRExpression>

examples.v2c.tr.TRMappedList<com.fujitsu.vdmj.tc.expressions.TCExpression,TRExpression>

examples.v2c.tr.expressions.TRExpressionList

All Implemented Interfaces:

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

public class TRExpressionList
extends TRMappedList<com.fujitsu.vdmj.tc.expressions.TCExpression,TRExpression>

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
TRExpressionList(com.fujitsu.vdmj.tc.expressions.TCExpressionList list)

Method Summary

Modifier and Type	Method	Description
String	translate()

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

Methods inherited from interface java.util.List

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

Constructor Details

TRExpressionList

public TRExpressionList(com.fujitsu.vdmj.tc.expressions.TCExpressionList list)
                 throws Exception

Throws:

Exception

Method Details

translate

public String translate()