Module dev.civl.gmc

Package dev.civl.gmc.smc

Class TraceStep

java.lang.Object

dev.civl.gmc.smc.TraceStep

All Implemented Interfaces:

TraceStepIF<Integer>

public class TraceStep
extends Object
implements TraceStepIF<Integer>

The implementation of the interface TraceStepIF used by SMC.

Constructor Summary

Constructors

Constructor	Description
TraceStep(String transition, Integer finalState)	Construct an instance of TraceStep with given transition and finalState

Method Summary

Modifier and Type	Method	Description
Integer	getFinalState()	Returns the resulting state of the trace step.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

TraceStep

public TraceStep(String transition,
 Integer finalState)

Construct an instance of TraceStep with given transition and finalState

Parameters:

transition - the transition related with this trace step.

finalState - the final state of this trace step.

Method Details

getFinalState

public Integer getFinalState()

Description copied from interface: TraceStepIF

Returns the resulting state of the trace step.

Specified by:

getFinalState in interface TraceStepIF<Integer>

Returns:

the resulting state of the trace step.

toString

public String toString()

Specified by:

toString in interface TraceStepIF<Integer>

Overrides:

toString in class Object