Package it.univr.wordautomata.model

Class TransitionWrapper

java.lang.Object

it.univr.wordautomata.model.TransitionWrapper

public class TransitionWrapper
extends Object

Represents a wrapper class for a transition in a word automaton, in order to store the starting and ending states of the transition.

Constructor Summary

Constructors

Constructor	Description
TransitionWrapper(State startingState, State endingState, Transition transition)	Constructs a new TransitionWrapper object.

Method Summary

Modifier and Type	Method	Description
State	getEndingState()	Returns the ending state of the transition.
State	getStartingState()	Returns the starting state of the transition.
Transition	getTransition()	Returns the transition itself.

Methods inherited from class java.lang.Object

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

Constructor Details

TransitionWrapper

public TransitionWrapper(State startingState,
 State endingState,
 Transition transition)

Constructs a new TransitionWrapper object.

Parameters:

startingState - the starting state of the transition

endingState - the ending state of the transition

transition - the transition itself

Method Details

getStartingState

public State getStartingState()

Returns the starting state of the transition.

Returns:

the starting state

getEndingState

public State getEndingState()

Returns the ending state of the transition.

Returns:

the ending state

getTransition

public Transition getTransition()

Returns the transition itself.

Returns:

the transition