FSA

Class Transition

java.lang.Object

FSA.Transition

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

CATransition, PFSATransition

public class Transition
extends java.lang.Object
implements java.io.Serializable

A tuple representing a Transition

Author:

Davide Basile

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Transition(int i, boolean label) Take in input a transition
Transition(int initial, int label, int fina)

Method Summary

Methods

Modifier and Type	Method and Description
int	getFinal()
int	getInitial()
int	getLabel()
static Transition[]	getTransitionByLabel(int l, Transition[] tr) Return all the transitions with label l
static Transition[]	getTransitionFrom(int n, Transition[] tr) Returns all the transitions starting from a state n
java.lang.String	toString() override of toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Transition

public Transition(int initial,
          int label,
          int fina)

Parameters:

initial - initial state

label - label

fina - final state

Transition

public Transition(int i,
          boolean label)

Take in input a transition

Parameters:

i - the index of the transition to be showed as a message to the user

label - true if the label must be specified, otherwise false

Method Detail

getInitial

public int getInitial()

Returns:

the initial state of the transition

getLabel

public int getLabel()

Returns:

the label state of the transition

getFinal

public int getFinal()

Returns:

the final state of the transition

toString

public java.lang.String toString()

override of toString

Overrides:

toString in class java.lang.Object

getTransitionFrom

public static Transition[] getTransitionFrom(int n,
                             Transition[] tr)

Returns all the transitions starting from a state n

Parameters:

n - the initial state

tr - the array of transitions

Returns:

the transitions of tr starting from state n

getTransitionByLabel

public static Transition[] getTransitionByLabel(int l,
                                Transition[] tr)

Return all the transitions with label l

Parameters:

l - the label

tr - an array of transitions

Returns:

the transitions of tr with the label equals to l