org.lflang.tests.compiler.LinguaFrancaDependencyAnalysisTest Class Reference

A collection of tests to ensure dependency analysis is done correctly. More...

Public Member Functions
void	circularInstantiation () throws Exception
	Check that circular instantiations are detected.
void	cyclicDependency () throws Exception
	Check that circular dependencies between reactions are detected.

Package Attributes
ParseHelper< Model >	parser

Detailed Description

A collection of tests to ensure dependency analysis is done correctly.

Author

Marten Lohstroh

Member Function Documentation

circularInstantiation()

void org.lflang.tests.compiler.LinguaFrancaDependencyAnalysisTest.circularInstantiation

(

)

throws Exception

Check that circular instantiations are detected.

cyclicDependency()

void org.lflang.tests.compiler.LinguaFrancaDependencyAnalysisTest.cyclicDependency

(

)

throws Exception

Check that circular dependencies between reactions are detected.

Member Data Documentation

parser

ParseHelper<Model> org.lflang.tests.compiler.LinguaFrancaDependencyAnalysisTest.parser

package

---

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

• /Users/runner/work/lingua-franca/lingua-franca/core/src/test/java/org/lflang/tests/compiler/LinguaFrancaDependencyAnalysisTest.java