Module dev.civl.gmc

Package dev.civl.gmc

Class GuidedTransitionChooser<STATE,TRANSITION>

java.lang.Object

dev.civl.gmc.GuidedTransitionChooser<STATE,TRANSITION>

Type Parameters:

STATE -

TRANSITION -

All Implemented Interfaces:

TransitionChooser<STATE,TRANSITION>

public class GuidedTransitionChooser<STATE,TRANSITION>
extends Object
implements TransitionChooser<STATE,TRANSITION>

Transition Chooser which makes its choice using an explicit "guide". The guide is a sequence of integers whose length is the number of nondeterministic states encountered along the trace. (A nondeterministic state is one that has more than one enabled transition.) The sequence is specified in a compressed form. This form consists of a sequence of integer pairs a:b. The pair a:b represents a consecutive bs. For example, "3:0 2:1" represents the sequence 0, 0, 0, 1, 1.

Constructor Summary

Constructors

Constructor	Description
GuidedTransitionChooser(EnablerIF<STATE,TRANSITION> enabler, File traceFile)

Method Summary

Modifier and Type	Method	Description
TRANSITION	chooseEnabledTransition(STATE state)	Using some protocol, chooses one of the transitions enabled at the given state.
int	getLength()	Returns the length of this execution.

Methods inherited from class java.lang.Object

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

Constructor Details

GuidedTransitionChooser

public GuidedTransitionChooser(EnablerIF<STATE,TRANSITION> enabler,
 File traceFile)
                        throws IOException,
MisguidedExecutionException

Throws:

IOException

MisguidedExecutionException

Method Details

getLength

public int getLength()

Returns the length of this execution.

Returns:

length of this execution

chooseEnabledTransition

public TRANSITION chooseEnabledTransition(STATE state)
                                   throws MisguidedExecutionException

Description copied from interface: TransitionChooser

Using some protocol, chooses one of the transitions enabled at the given state. If there are no enabled transitions, returns null.

Specified by:

chooseEnabledTransition in interface TransitionChooser<STATE,TRANSITION>

Parameters:

state - a state

Returns:

a transition enabled at that state, or null if there is none

Throws:

MisguidedExecutionException - if a transition cannot be selected for some reason