gov.nasa.jpf.util.event

Class Event

java.lang.Object

gov.nasa.jpf.util.event.Event

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

NoEvent, SystemEvent

public class Event
extends java.lang.Object
implements java.lang.Cloneable

class that represents an external stimulus to the SUT, which is produced by EventTree instances (our environment models) Note that albeit concrete EventTree can provide their own, specialized Event types, this class is generic enough that we don't declare it as abstract

Field Summary

Fields

Modifier and Type	Field and Description
protected Event	alt
protected java.lang.Object[]	arguments
protected java.lang.String	name
protected Event	next
protected Event	prev
protected java.lang.Object	source

Constructor Summary

Constructors

Constructor and Description
Event(java.lang.String name)
Event(java.lang.String name, java.lang.Object source)
Event(java.lang.String name, java.lang.Object[] arguments)
Event(java.lang.String name, java.lang.Object[] arguments, java.lang.Object source)

Method Summary

Modifier and Type	Method and Description
Event	addAlternative(Event e)
Event	addNext(Event e)
void	addPath(int pathLength, Event... path) extend this tree with a new path
Event	clone()
protected void	collectEndEvents(java.util.List<Event> list, boolean includeNoEvents)
protected void	collectTrace(java.lang.StringBuilder sb, java.lang.String separator, boolean isLast)
protected static Event	createClonedSequence(int firstIdx, int len, Event[] events)
Event	deepClone()
Event	endEvent()
java.util.List<Event>	endEvents()
boolean	equals(java.lang.Object o)
Event	getAlt()
java.util.List<Event>	getAlternatives()
java.lang.Object	getArgument(int idx)
java.lang.Object[]	getArguments()
Event	getLastAlt()
int	getMaxDepth() maximum downwards tree depth
java.lang.String	getName()
Event	getNext()
int	getNumberOfAlternatives()
Event[]	getPath()
int	getPathLength() upwards path length
java.lang.String	getPathString(java.lang.String separator)
Event	getPrev()
java.lang.Object	getSource()
boolean	hasAlternatives()
int	hashCode()
Event	interleave(Event... otherEvents) this creates a new tree that contains all paths resulting from all interleavings of all paths of this tree with the specified other events BEWARE: this is a combinatorial bomb that should only be used if we know all paths are short
boolean	isEndOfTrace(java.lang.String[] eventNames)
boolean	isNoEvent()
boolean	isSystemEvent()
void	printPath(java.io.PrintStream ps)
void	printTree(java.io.PrintStream ps, int level)
void	process(java.lang.Object source)
Event	removeSource(java.lang.Object src) remove all events from this tree that are from the specified source
Event	replaceWith(Event e)
Event	replaceWithAlternativesFrom(java.util.List<Event> list)
Event	replaceWithSequenceFrom(java.util.List<Event> list)
protected void	setAlt(Event e)
void	setLinksFrom(Event other)
protected void	setNext(Event e)
protected void	setPrev(Event e)
void	setProcessed()
protected void	setSource(java.lang.Object source)
java.lang.String	toString()
Event	unlinkedClone()
java.util.List<Event>	visibleEndEvents()

Methods inherited from class java.lang.Object

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

Field Detail

next

protected Event next

prev

protected Event prev

alt

protected Event alt

name

protected java.lang.String name

arguments

protected java.lang.Object[] arguments

source

protected java.lang.Object source

Constructor Detail

Event

public Event(java.lang.String name)

Event

public Event(java.lang.String name,
             java.lang.Object source)

Event

public Event(java.lang.String name,
             java.lang.Object[] arguments)

Event

public Event(java.lang.String name,
             java.lang.Object[] arguments,
             java.lang.Object source)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

setNext

protected void setNext(Event e)

setPrev

protected void setPrev(Event e)

setAlt

protected void setAlt(Event e)

setLinksFrom

public void setLinksFrom(Event other)

replaceWithSequenceFrom

public Event replaceWithSequenceFrom(java.util.List<Event> list)

replaceWithAlternativesFrom

public Event replaceWithAlternativesFrom(java.util.List<Event> list)

replaceWith

public Event replaceWith(Event e)

setSource

protected void setSource(java.lang.Object source)

getNumberOfAlternatives

public int getNumberOfAlternatives()

hasAlternatives

public boolean hasAlternatives()

getAlternatives

public java.util.List<Event> getAlternatives()

unlinkedClone

public Event unlinkedClone()

clone

public Event clone()

Overrides:

clone in class java.lang.Object

deepClone

public Event deepClone()

getName

public java.lang.String getName()

getArguments

public java.lang.Object[] getArguments()

getArgument

public java.lang.Object getArgument(int idx)

getNext

public Event getNext()

getAlt

public Event getAlt()

getPrev

public Event getPrev()

getSource

public java.lang.Object getSource()

addNext

public Event addNext(Event e)

addAlternative

public Event addAlternative(Event e)

createClonedSequence

protected static Event createClonedSequence(int firstIdx,
                                            int len,
                                            Event[] events)

addPath

public void addPath(int pathLength,
                    Event... path)

extend this tree with a new path

getLastAlt

public Event getLastAlt()

collectEndEvents

protected void collectEndEvents(java.util.List<Event> list,
                                boolean includeNoEvents)

endEvent

public Event endEvent()

visibleEndEvents

public java.util.List<Event> visibleEndEvents()

endEvents

public java.util.List<Event> endEvents()

interleave

public Event interleave(Event... otherEvents)

this creates a new tree that contains all paths resulting from all interleavings of all paths of this tree with the specified other events BEWARE: this is a combinatorial bomb that should only be used if we know all paths are short

removeSource

public Event removeSource(java.lang.Object src)

remove all events from this tree that are from the specified source

printPath

public void printPath(java.io.PrintStream ps)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getPathLength

public int getPathLength()

upwards path length

getMaxDepth

public int getMaxDepth()

maximum downwards tree depth

getPath

public Event[] getPath()

printTree

public void printTree(java.io.PrintStream ps,
                      int level)

isEndOfTrace

public boolean isEndOfTrace(java.lang.String[] eventNames)

collectTrace

protected void collectTrace(java.lang.StringBuilder sb,
                            java.lang.String separator,
                            boolean isLast)

getPathString

public java.lang.String getPathString(java.lang.String separator)

isNoEvent

public boolean isNoEvent()

isSystemEvent

public boolean isSystemEvent()

process

public void process(java.lang.Object source)

setProcessed

public void setProcessed()