org.lflang.analyses.statespace.Event Class Reference

A node in the state space diagram representing a step in the execution of an LF program. More...

Inherits Comparable< Event >.

Public Member Functions
int	compareTo (Event e)
	Compare two events first by tags and, if tags are equal, by trigger names in lexical order.
	Event (TriggerInstance trigger, Tag tag)
Tag	getTag ()
TriggerInstance<?>	getTrigger ()
boolean	hasSameTriggers (Object o)
	This method checks if two events have the same triggers.
String	toString ()

Detailed Description

A node in the state space diagram representing a step in the execution of an LF program.

Constructor & Destructor Documentation

Event()

org.lflang.analyses.statespace.Event.Event	(	TriggerInstance	trigger,
		Tag	tag )

Member Function Documentation

compareTo()

int org.lflang.analyses.statespace.Event.compareTo

(

Event

e

)

Compare two events first by tags and, if tags are equal, by trigger names in lexical order.

This is useful for enforcing a unique order of events in a priority queue of Event instances.

getTag()

Tag org.lflang.analyses.statespace.Event.getTag

(

)

getTrigger()

TriggerInstance<?> org.lflang.analyses.statespace.Event.getTrigger

(

)

hasSameTriggers()

boolean org.lflang.analyses.statespace.Event.hasSameTriggers

(

Object

o

)

This method checks if two events have the same triggers.

toString()

String org.lflang.analyses.statespace.Event.toString

(

)

---

The documentation for this class was generated from the following file:

• /Users/runner/work/lingua-franca/lingua-franca/core/src/main/java/org/lflang/analyses/statespace/Event.java