Class TRParameterList

All Implemented Interfaces:
com.fujitsu.vdmj.mapper.Mappable, Serializable, Cloneable, Iterable<String>, Collection<String>, List<String>, RandomAccess, SequencedCollection<String>

public class TRParameterList extends Vector<String> implements com.fujitsu.vdmj.mapper.Mappable
See Also:
  • Constructor Details

    • TRParameterList

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