gov.nasa.jpf.util.event

Class ControlEvent

java.lang.Object

gov.nasa.jpf.util.event.Event

gov.nasa.jpf.util.event.SystemEvent

gov.nasa.jpf.util.event.ControlEvent

All Implemented Interfaces:

java.lang.Cloneable

public abstract class ControlEvent
extends SystemEvent

pseudo event that is used to control the system under test execution

Field Summary

Fields inherited from class gov.nasa.jpf.util.event.Event

alt, arguments, name, next, prev, source

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ControlEvent(java.lang.String name, java.lang.Object... arguments)

Method Summary

Methods inherited from class gov.nasa.jpf.util.event.SystemEvent

isSystemEvent, process

Methods inherited from class gov.nasa.jpf.util.event.Event

addAlternative, addNext, addPath, clone, collectEndEvents, collectTrace, createClonedSequence, deepClone, endEvent, endEvents, equals, getAlt, getAlternatives, getArgument, getArguments, getLastAlt, getMaxDepth, getName, getNext, getNumberOfAlternatives, getPath, getPathLength, getPathString, getPrev, getSource, hasAlternatives, hashCode, interleave, isEndOfTrace, isNoEvent, printPath, printTree, process, removeSource, replaceWith, replaceWithAlternativesFrom, replaceWithSequenceFrom, setAlt, setLinksFrom, setNext, setPrev, setProcessed, setSource, toString, unlinkedClone, visibleEndEvents

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ControlEvent

protected ControlEvent(java.lang.String name,
                       java.lang.Object... arguments)