gov.nasa.jpf.util.automaton

Class Transition

java.lang.Object

gov.nasa.jpf.util.automaton.Transition

public class Transition
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected State	fromState
protected int	id
protected java.lang.String	label
protected State	toState

Constructor Summary

Constructors

Constructor and Description
Transition(java.lang.String label, State toState)

Method Summary

Modifier and Type	Method and Description
boolean	checkGuard()
void	fire()
int	getId()
java.lang.String	getLabel()
void	printOn(java.io.PrintStream ps)
protected void	setFromState(State fromState)
protected void	setId(int id)

Methods inherited from class java.lang.Object

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

Field Detail

id

protected int id

label

protected java.lang.String label

fromState

protected State fromState

toState

protected State toState

Constructor Detail

Transition

public Transition(java.lang.String label,
                  State toState)

Method Detail

setFromState

protected void setFromState(State fromState)

setId

protected void setId(int id)

getId

public int getId()

getLabel

public java.lang.String getLabel()

checkGuard

public boolean checkGuard()

fire

public void fire()

printOn

public void printOn(java.io.PrintStream ps)