gov.nasa.jpf.util.event

Interface EventConstructor

All Known Implementing Classes:

EventForest, EventTree, TestEventTree

public interface EventConstructor

abstract class that hold API to create event trees this factors out constructor methods so that they can be used inside of EventTrees and EventForests

Method Summary

Modifier and Type	Method and Description
default Event	alternatives(Event... events)
default Event	anyCombination(Event... events) an alterative of all combinations of the specified events (regardless of order)
default Event	anyPermutation(Event... events) generate tree with all event permutations without repetitions.
default Event	event(java.lang.String name)
default Event	event(java.lang.String name, java.lang.Object... arguments)
default void	generatePermutation(int length, Event[] events, Event anchor, Event perm)
default Event	iteration(int count, Event... events)
default Event	sequence(Event... events)

Method Detail

event

default Event event(java.lang.String name)

event

default Event event(java.lang.String name,
                    java.lang.Object... arguments)

alternatives

default Event alternatives(Event... events)

sequence

default Event sequence(Event... events)

iteration

default Event iteration(int count,
                        Event... events)

anyCombination

default Event anyCombination(Event... events)

an alterative of all combinations of the specified events (regardless of order)

generatePermutation

default void generatePermutation(int length,
                                 Event[] events,
                                 Event anchor,
                                 Event perm)

anyPermutation

default Event anyPermutation(Event... events)

generate tree with all event permutations without repetitions. <2do> this is not particularly optimized