gov.nasa.jpf.util.event

Interface EventContext

All Known Subinterfaces:

PropagatingEventContext

public interface EventContext

functional interface that is used to expand events from execution context

Method Summary

Modifier and Type	Method and Description
Event	map(Event original)

Method Detail

map

Event map(Event original)