gov.nasa.jpf.util.event

Class NoEvent

java.lang.Object

gov.nasa.jpf.util.event.Event

gov.nasa.jpf.util.event.NoEvent

All Implemented Interfaces:

java.lang.Cloneable

public class NoEvent
extends Event

a null event, which is usually ignored by EventProducers

Field Summary

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

alt, arguments, name, next, prev, source

Constructor Summary

Constructors

Constructor and Description
NoEvent()

Method Summary

Modifier and Type	Method and Description
boolean	isNoEvent()

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, isSystemEvent, 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

NoEvent

public NoEvent()

Method Detail

isNoEvent

public boolean isNoEvent()

Overrides:

isNoEvent in class Event