A helper class for analyzing the AST. More...

Public Member Functions
Set< NamedInstance<?> >	topologyCycles ()
void	update (Model model, MessageReporter reporter)
	Redo all analysis based on the given model.

Public Attributes
InstantiationGraph	instantiationGraph
	Data structure for tracking dependencies between reactor classes.
Model	model
	The AST that the info gathered in this class pertains to.
Set< Assignment >	overflowingAssignments
	The set of assignments that assign a too-large constant to a parameter that is used to specify a deadline.
Set< Deadline >	overflowingDeadlines
	The set of deadlines that use a too-large constant to specify their time interval.
Set< Parameter >	overflowingParameters
	The set of parameters used to specify a deadline while having been assigned a default value the is too large for this purpose.
boolean	updated
	Whether or not the model information has been updated at least once.

Detailed Description

A helper class for analyzing the AST.

This class is instantiated once for each compilation.

NOTE: the validator used on imported files uses the same instance! Hence, this class should not contain any info specific to any particular resource that is involved in the compilation.

Author: Marten Lohstroh

Member Function Documentation

◆ topologyCycles()

Set< NamedInstance<?> > org.lflang.ModelInfo.topologyCycles ( )

◆ update()

void org.lflang.ModelInfo.update	(	Model	model,
		MessageReporter	reporter )

Redo all analysis based on the given model.

Parameters

model	The model to analyze.
reporter	The reporter to use for reporting messages.

Member Data Documentation

◆ instantiationGraph

InstantiationGraph org.lflang.ModelInfo.instantiationGraph

Data structure for tracking dependencies between reactor classes.

An instantiation of class A inside of class B implies that B depends on A.

◆ model

Model org.lflang.ModelInfo.model

The AST that the info gathered in this class pertains to.

◆ overflowingAssignments

Set<Assignment> org.lflang.ModelInfo.overflowingAssignments

The set of assignments that assign a too-large constant to a parameter that is used to specify a deadline.

These assignments are to be reported during validation.

◆ overflowingDeadlines

Set<Deadline> org.lflang.ModelInfo.overflowingDeadlines

The set of deadlines that use a too-large constant to specify their time interval.

◆ overflowingParameters

Set<Parameter> org.lflang.ModelInfo.overflowingParameters

The set of parameters used to specify a deadline while having been assigned a default value the is too large for this purpose.

These parameters are to be reported during validation.

◆ updated

boolean org.lflang.ModelInfo.updated

Whether or not the model information has been updated at least once.

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

/Users/runner/work/lingua-franca/lingua-franca/core/src/main/java/org/lflang/ModelInfo.java

Public Member Functions

Public Attributes