ponderToolkit.compiler.codeGen.interfaces.events
Interface EventI

All Known Subinterfaces:

CompositeEventI, MultipleEventI, NoInterleaveEventI, SingleExpressionEventI, SingleLibraryEventI, SingleNamedEventI, SingleTimerEventI, TimeEventI

All Known Implementing Classes:

Event

public interface EventI

Function: Models an Event for an Obligation policy. This is the super-class of all Event classes.

Field Summary

static int	COMPOSITE_EVENT
static int	MULTIPLE_EVENT
static int	NO_INTERLEAVE_EVENT
static int	SINGLE_EXPRESSION_EVENT
static int	SINGLE_LIBRARY_EVENT
static int	SINGLE_NAMED_EVENT
static int	SINGLE_TIMER_EVENT
static int	TIME_EVENT

Method Summary

java.lang.String	getAnalysisCode() return the Prolog code required by the analysis system
java.lang.String	getString() Return a String representation of the Event
int	getType() Return the type of the Event

Field Detail

COMPOSITE_EVENT

public static final int COMPOSITE_EVENT

TIME_EVENT

public static final int TIME_EVENT

MULTIPLE_EVENT

public static final int MULTIPLE_EVENT

NO_INTERLEAVE_EVENT

public static final int NO_INTERLEAVE_EVENT

SINGLE_TIMER_EVENT

public static final int SINGLE_TIMER_EVENT

SINGLE_NAMED_EVENT

public static final int SINGLE_NAMED_EVENT

SINGLE_EXPRESSION_EVENT

public static final int SINGLE_EXPRESSION_EVENT

SINGLE_LIBRARY_EVENT

public static final int SINGLE_LIBRARY_EVENT

Method Detail

getType

public int getType()

Return the type of the Event

getString

public java.lang.String getString()

Return a String representation of the Event

getAnalysisCode

public java.lang.String getAnalysisCode()

return the Prolog code required by the analysis system