Package org.svvrl.goal.core.aut
Class TransitionList
java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractList<E>
java.util.ArrayList<T>
org.svvrl.goal.core.aut.AbstractGraphicComponentList<Transition,TransitionSet,TransitionList>
org.svvrl.goal.core.aut.TransitionList
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Cloneable
,java.lang.Comparable<AbstractGraphicComponentList<Transition,TransitionSet,TransitionList>>
,java.lang.Iterable<Transition>
,java.util.Collection<Transition>
,java.util.List<Transition>
,java.util.RandomAccess
public class TransitionList extends AbstractGraphicComponentList<Transition,TransitionSet,TransitionList> implements java.lang.Cloneable
A
TransitionList
is a sequence of transitions.- Author:
- Ming-Hsien Tsai
- See Also:
- Serialized Form
-
Field Summary
-
Constructor Summary
Constructors Constructor Description TransitionList()
Constructor of an empty transition list.TransitionList(java.util.Collection<Transition> trans)
Constructor with the transition list from a specified collection.TransitionList(Transition... trans)
Constructor with the transition list from a specified array. -
Method Summary
Modifier and Type Method Description Transition
getFirstTransition()
Deprecated.Transition
getLastTransition()
Deprecated.protected TransitionList
newInstance()
Returns a new empty list of the same type of this list.protected TransitionSet
newSetInstance()
Returns a new empty set that can store elements in this list.Methods inherited from class org.svvrl.goal.core.aut.AbstractGraphicComponentList
asSet, clone, compareTo, getFirst, getLast, shift, subList, toString
Methods inherited from class java.util.ArrayList
add, add, addAll, addAll, clear, contains, ensureCapacity, equals, forEach, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, toArray, toArray, trimToSize
-
Constructor Details
-
TransitionList
public TransitionList()Constructor of an empty transition list. -
TransitionList
Constructor with the transition list from a specified array.- Parameters:
trans
- an array of transitions
-
TransitionList
Constructor with the transition list from a specified collection.- Parameters:
trans
- a collection of transitions
-
-
Method Details
-
newInstance
Description copied from class:AbstractGraphicComponentList
Returns a new empty list of the same type of this list.- Specified by:
newInstance
in classAbstractGraphicComponentList<Transition,TransitionSet,TransitionList>
- Returns:
- an empty list
-
newSetInstance
Description copied from class:AbstractGraphicComponentList
Returns a new empty set that can store elements in this list.- Specified by:
newSetInstance
in classAbstractGraphicComponentList<Transition,TransitionSet,TransitionList>
- Returns:
- an empty set
-
getFirstTransition
Deprecated.UseAbstractGraphicComponentList.getFirst()
instead.- Returns:
- the first transition of this transition list
-
getLastTransition
Deprecated.UseAbstractGraphicComponentList.getLast()
instead.- Returns:
- the last transition of this transition list
-