gov.nasa.jpf.util.event

Class EventForest

java.lang.Object

gov.nasa.jpf.util.event.EventTree

gov.nasa.jpf.util.event.EventForest

All Implemented Interfaces:

EventConstructor

public abstract class EventForest
extends EventTree

a forest of named event trees This class mostly exists for the purpose of tree construction, which happens from respective ctors like EventForest myForest = new EventForest(){

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.HashMap<java.lang.String,Event>	rootMap

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

CONFIG_KEY, root

Constructor Summary

Constructors

Constructor and Description
EventForest()

Method Summary

Modifier and Type	Method and Description
void	addRoot(java.lang.String name, Event nextRoot) usually called from createRootEvent()
Event	getRoot(java.lang.String name)

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

addPath, checkPath, checkPath, createRoot, getMaxDepth, getPathCoverage, getRoot, interleave, interleave, isCompletelyCovered, printPaths, printTree, removeSource, visibleEndEvents

Methods inherited from class java.lang.Object

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

Methods inherited from interface gov.nasa.jpf.util.event.EventConstructor

alternatives, anyCombination, anyPermutation, event, event, generatePermutation, iteration, sequence

Field Detail

rootMap

protected java.util.HashMap<java.lang.String,Event> rootMap

Constructor Detail

EventForest

public EventForest()

Method Detail

addRoot

public void addRoot(java.lang.String name,
                    Event nextRoot)

usually called from createRootEvent()

getRoot

public Event getRoot(java.lang.String name)