gov.nasa.jpf.vm

Class GlobalSchedulingPoint

java.lang.Object

gov.nasa.jpf.vm.GlobalSchedulingPoint

All Implemented Interfaces:

SystemAttribute

public class GlobalSchedulingPoint
extends java.lang.Object
implements SystemAttribute

a SystemAttribute to mark global scheduling points. While we can identify process context switches through the ThreadInfo/AooCtx of respective CG instances, we could not identify process global scheduling choices that include threads of the current process

Constructor Summary

Constructors

Constructor and Description
GlobalSchedulingPoint()

Method Summary

Modifier and Type	Method and Description
static boolean	isGlobal(ChoiceGenerator<?> cg)
static void	setGlobal(ChoiceGenerator<?> cg)

Methods inherited from class java.lang.Object

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

Constructor Detail

GlobalSchedulingPoint

public GlobalSchedulingPoint()

Method Detail

setGlobal

public static void setGlobal(ChoiceGenerator<?> cg)

isGlobal

public static boolean isGlobal(ChoiceGenerator<?> cg)