gov.nasa.jpf.util.event

Class SystemEvent

java.lang.Object

gov.nasa.jpf.util.event.Event

gov.nasa.jpf.util.event.SystemEvent

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

CheckEvent, ControlEvent

public abstract class SystemEvent
extends Event

event type that is not supposed to be handled by the SUT

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	SystemEvent(java.lang.String name, java.lang.Object... arguments)

Method Summary

Modifier and Type	Method and Description
boolean	isSystemEvent()
void	process(MJIEnv env, int objRef)

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

SystemEvent

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

Method Detail

isSystemEvent

public boolean isSystemEvent()

Overrides:

isSystemEvent in class Event

process

public void process(MJIEnv env,
                    int objRef)