Enumeration of test categories, used to map tests to categories. More...

Public Member Functions
String	getHeader ()
	Return a header associated with the category.
String	getPath ()
	TestCategory (boolean isCommon, String path, TestLevel level)
	Create a new test category.

Public Attributes
	ARDUINO =(false, "", TestLevel.BUILD)
	BASIC =(true, "", TestLevel.EXECUTION)
	Basic tests, ie, tests that all targets are supposed to implement.
	CONCURRENT =(true, "", TestLevel.EXECUTION)
	Tests about concurrent execution.
	DOCKER =(true, "", TestLevel.EXECUTION)
	DOCKER_FEDERATED =(true, "docker" + File.separator + "federated", TestLevel.EXECUTION)
	ENCLAVE =(false, "", TestLevel.EXECUTION)
	Test about enclaves.
	FEDERATED =(true, "", TestLevel.EXECUTION)
	Tests about federated execution.
	FLEXPRET =(false, "flexpret", TestLevel.BUILD)
	GENERICS =(true, "", TestLevel.EXECUTION)
	Tests about generics.
final boolean	isCommon
	Whether we should compare coverage against other targets.
final TestLevel	level
	MODAL_MODELS =(true, "", TestLevel.EXECUTION)
	Tests concerning modal reactors.
	MULTIPORT =(true, "", TestLevel.EXECUTION)
	Tests about multiports and banks of reactors.
	NO_INLINING =(false, "", TestLevel.EXECUTION)
final String	path
	PATMOS =(false, "patmos", TestLevel.EXECUTION)
	PROPERTIES =(true, "", TestLevel.EXECUTION)
	Tests about specific target properties.
	SERIALIZATION =(false, "", TestLevel.EXECUTION)
	TARGET =(false, "", TestLevel.EXECUTION)
	VERIFIER =(false, "verifier", TestLevel.EXECUTION)
	ZEPHYR_BOARDS =(false, "zephyr" + File.separator + "boards", TestLevel.BUILD)
	ZEPHYR_THREADED =(false, "zephyr" + File.separator + "threaded", TestLevel.BUILD)
	ZEPHYR_UNTHREADED =(false, "zephyr" + File.separator + "unthreaded", TestLevel.BUILD)

Detailed Description

Enumeration of test categories, used to map tests to categories.

The nearest containing directory that matches any of the categories will determine the category that the test is mapped to. Matching is case insensitive.

For example, the following files will all map to THREADED:

C/threaded/Foo.lf
C/THREADED/Foo.lf
C/Threaded/Foo.lf
C/foo/threaded/Bar.lf
C/foo/bar/threaded/Threaded.lf
C/federated/threaded/bar.lf but the following will not:
C/Foo.lf (maps to COMMON)
C/Threaded.lf (maps to COMMON)
C/threaded/federated/foo.lf (maps to FEDERATED)

Author: Marten Lohstroh

Constructor & Destructor Documentation

◆ TestCategory()

org.lflang.tests.TestRegistry.TestCategory.TestCategory	(	boolean	isCommon,
		String	path,
		TestLevel	level )

Create a new test category.

Member Function Documentation

◆ getHeader()

String org.lflang.tests.TestRegistry.TestCategory.getHeader ( )

Return a header associated with the category.

Returns: A header to print in the test report.

◆ getPath()

String org.lflang.tests.TestRegistry.TestCategory.getPath ( )

Member Data Documentation

◆ ARDUINO

org.lflang.tests.TestRegistry.TestCategory.ARDUINO =(false, "", TestLevel.BUILD)

◆ BASIC

org.lflang.tests.TestRegistry.TestCategory.BASIC =(true, "", TestLevel.EXECUTION)

Basic tests, ie, tests that all targets are supposed to implement.

◆ CONCURRENT

org.lflang.tests.TestRegistry.TestCategory.CONCURRENT =(true, "", TestLevel.EXECUTION)

Tests about concurrent execution.

◆ DOCKER

org.lflang.tests.TestRegistry.TestCategory.DOCKER =(true, "", TestLevel.EXECUTION)

◆ DOCKER_FEDERATED

org.lflang.tests.TestRegistry.TestCategory.DOCKER_FEDERATED =(true, "docker" + File.separator + "federated", TestLevel.EXECUTION)

◆ ENCLAVE

org.lflang.tests.TestRegistry.TestCategory.ENCLAVE =(false, "", TestLevel.EXECUTION)

Test about enclaves.

◆ FEDERATED

org.lflang.tests.TestRegistry.TestCategory.FEDERATED =(true, "", TestLevel.EXECUTION)

Tests about federated execution.

◆ FLEXPRET

org.lflang.tests.TestRegistry.TestCategory.FLEXPRET =(false, "flexpret", TestLevel.BUILD)

◆ GENERICS

org.lflang.tests.TestRegistry.TestCategory.GENERICS =(true, "", TestLevel.EXECUTION)

Tests about generics.

◆ isCommon

final boolean org.lflang.tests.TestRegistry.TestCategory.isCommon

Whether we should compare coverage against other targets.

◆ level

final TestLevel org.lflang.tests.TestRegistry.TestCategory.level

◆ MODAL_MODELS

org.lflang.tests.TestRegistry.TestCategory.MODAL_MODELS =(true, "", TestLevel.EXECUTION)

Tests concerning modal reactors.

◆ MULTIPORT

org.lflang.tests.TestRegistry.TestCategory.MULTIPORT =(true, "", TestLevel.EXECUTION)

Tests about multiports and banks of reactors.

◆ NO_INLINING

org.lflang.tests.TestRegistry.TestCategory.NO_INLINING =(false, "", TestLevel.EXECUTION)

◆ path

final String org.lflang.tests.TestRegistry.TestCategory.path

◆ PATMOS

org.lflang.tests.TestRegistry.TestCategory.PATMOS =(false, "patmos", TestLevel.EXECUTION)

◆ PROPERTIES

org.lflang.tests.TestRegistry.TestCategory.PROPERTIES =(true, "", TestLevel.EXECUTION)

Tests about specific target properties.

◆ SERIALIZATION

org.lflang.tests.TestRegistry.TestCategory.SERIALIZATION =(false, "", TestLevel.EXECUTION)

◆ TARGET

org.lflang.tests.TestRegistry.TestCategory.TARGET =(false, "", TestLevel.EXECUTION)

◆ VERIFIER

org.lflang.tests.TestRegistry.TestCategory.VERIFIER =(false, "verifier", TestLevel.EXECUTION)

◆ ZEPHYR_BOARDS

org.lflang.tests.TestRegistry.TestCategory.ZEPHYR_BOARDS =(false, "zephyr" + File.separator + "boards", TestLevel.BUILD)

◆ ZEPHYR_THREADED

org.lflang.tests.TestRegistry.TestCategory.ZEPHYR_THREADED =(false, "zephyr" + File.separator + "threaded", TestLevel.BUILD)

◆ ZEPHYR_UNTHREADED

org.lflang.tests.TestRegistry.TestCategory.ZEPHYR_UNTHREADED =(false, "zephyr" + File.separator + "unthreaded", TestLevel.BUILD)

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

/Users/runner/work/lingua-franca/lingua-franca/core/src/testFixtures/java/org/lflang/tests/TestRegistry.java

Public Member Functions

Public Attributes