org.lflang.generator.DeadlineInstance Class Reference

Instance of a deadline. More...

Public Member Functions
	DeadlineInstance (Deadline definition, ReactionInstance reaction)
	Create a new deadline instance associated with the given reaction instance.
String	toString ()

Public Attributes
final TimeValue	maxDelay
	The delay D associated with this deadline.

Detailed Description

Instance of a deadline.

Upon creation the actual delay is converted into a proper time value. If a parameter is referenced, it is looked up in the given (grand)parent reactor instance.

Author

Marten Lohstroh

Edward A. Lee

Constructor & Destructor Documentation

DeadlineInstance()

org.lflang.generator.DeadlineInstance.DeadlineInstance	(	Deadline	definition,
		ReactionInstance	reaction )

Create a new deadline instance associated with the given reaction instance.

Member Function Documentation

toString()

String org.lflang.generator.DeadlineInstance.toString

(

)

Member Data Documentation

maxDelay

final TimeValue org.lflang.generator.DeadlineInstance.maxDelay

The delay D associated with this deadline.

If physical time T < logical time t + D, the deadline is met, otherwise, it is violated.

---

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

• /Users/runner/work/lingua-franca/lingua-franca/core/src/main/java/org/lflang/generator/DeadlineInstance.java