org.eclipse.emf.henshin.statespace
Class Path

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.ArrayDeque<Transition>
          org.eclipse.emf.henshin.statespace.Path

All Implemented Interfaces:

Serializable, Cloneable, Iterable<Transition>, Collection<Transition>, Deque<Transition>, Queue<Transition>

public class Path
extends ArrayDeque<Transition>

Data-type for paths in StateSpaces.

See Also:

Serialized Form

Constructor Summary

Path()
Default constructor.

Path(State state)
Alternative constructor.

Path(Transition... transitions)
Alternative constructor.

Method Summary

State	getSource()
State	getTarget()
void	setState(State state)
String	toString()

Methods inherited from class java.util.ArrayDeque

add, addFirst, addLast, clear, clone, contains, descendingIterator, element, getFirst, getLast, isEmpty, iterator, offer, offerFirst, offerLast, peek, peekFirst, peekLast, poll, pollFirst, pollLast, pop, push, remove, remove, removeFirst, removeFirstOccurrence, removeLast, removeLastOccurrence, size, toArray, toArray

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, removeAll, retainAll

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

addAll, containsAll, equals, hashCode, removeAll, retainAll

Constructor Detail

Path

public Path()

Default constructor.

Path

public Path(State state)

Alternative constructor.

Path

public Path(Transition... transitions)

Alternative constructor.

Parameters:

transitions - Transitions.

Method Detail

getSource

public State getSource()

getTarget

public State getTarget()

setState

public void setState(State state)

toString

public String toString()

Overrides:

toString in class AbstractCollection<Transition>