gov.nasa.jpf.vm

Class CheckExtendTransition

java.lang.Object

gov.nasa.jpf.vm.CheckExtendTransition

All Implemented Interfaces:

SystemAttribute

public class CheckExtendTransition
extends java.lang.Object
implements SystemAttribute

system attribute to dynamically mark ChoiceGenerators for transition extension checks

Constructor Summary

Constructors

Constructor and Description
CheckExtendTransition()

Method Summary

Modifier and Type	Method and Description
static boolean	isMarked(ChoiceGenerator<?> cg)
static void	mark(ChoiceGenerator<?> cg)

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckExtendTransition

public CheckExtendTransition()

Method Detail

mark

public static void mark(ChoiceGenerator<?> cg)

isMarked

public static boolean isMarked(ChoiceGenerator<?> cg)