Collection of tests for the C verifier. More...

Inherits org.lflang.tests.TestBase.

Public Member Functions
void	runVerifierTests ()

Static Public Member Functions
static TestLevel	pathToLevel (Path path)
	Static function for converting a path to its associated test level.
static void	runSingleTestAndPrintResults (LFTest test, Class<? extends TestBase > testClass, TestLevel level)
	Run a test, print results on stderr.
static String	stackTraceToString (Throwable t)

Static Public Attributes
static final String	THICK_LINE
	Content separator used in test output, 78 characters wide.
static final String	THIN_LINE
	Content separator used in test output, 78 characters wide.

Protected Member Functions
void	applyDefaultConfiguration (TargetConfig config)
	Adjust target configuration for all runs of this test class.
	CVerifierTest ()
ProcessBuilder	getExecCommand (LFTest test) throws TestError
	Return a preconfigured ProcessBuilder for executing the test program.
GeneratorArguments	getGeneratorArguments ()
	Return generator arguments suitable for testing.
final void	runTestsAndPrintResults (Target target, Predicate< TestCategory > selected, TestLevel level, Transformer transformer, Configurator configurator, boolean copy)
	Run selected tests for a given target and configurator up to the specified level.
void	runTestsFor (List< Target > subset, String description, Predicate< TestCategory > selected, Transformer transformer, Configurator configurator, TestLevel level, boolean copy)
	Run tests in the given selection for a subset of given targets.
void	runTestsForTargets (String description, Predicate< TestCategory > selected, Transformer transformer, Configurator configurator, TestLevel level, boolean copy)
	Run tests in the given selection for all targets enabled in this class.
boolean	supportsSingleThreadedExecution ()
	Whether to enable threading.

Static Protected Member Functions
static boolean	isLinux ()
	Determine whether the current platform is Linux.
static boolean	isMac ()
	Determine whether the current platform is MacOS.
static boolean	isWindows ()
	Determine whether the current platform is Windows.
static void	printTestHeader (Target target, String description)
	Print a header that describes a collection of tests.

Package Attributes
JavaIoFileSystemAccess	fileAccess
LFGenerator	generator
Provider< ResourceSet >	resourceSetProvider
TestRegistry	testRegistry
IResourceValidator	validator

Detailed Description

Collection of tests for the C verifier.

Constructor & Destructor Documentation

◆ CVerifierTest()

org.lflang.tests.runtime.CVerifierTest.CVerifierTest ( )

protected

Member Function Documentation

◆ applyDefaultConfiguration()

void org.lflang.tests.TestBase.applyDefaultConfiguration ( TargetConfig config )

protectedinherited

Adjust target configuration for all runs of this test class.

Reimplemented in org.lflang.tests.runtime.PythonTest, and org.lflang.tests.serialization.SerializationTest.

◆ getExecCommand()

ProcessBuilder org.lflang.tests.TestBase.getExecCommand ( LFTest test ) throws TestError

protectedinherited

Return a preconfigured ProcessBuilder for executing the test program.

Parameters

test	The test to get the execution command for.

Reimplemented in org.lflang.tests.runtime.CPatmosTest.

◆ getGeneratorArguments()

GeneratorArguments org.lflang.tests.TestBase.getGeneratorArguments ( )

protectedinherited

Return generator arguments suitable for testing.

◆ isLinux()

boolean org.lflang.tests.TestBase.isLinux ( )

staticprotectedinherited

Determine whether the current platform is Linux.

Returns: true if the current platform is Linux, false otherwise.

◆ isMac()

boolean org.lflang.tests.TestBase.isMac ( )

staticprotectedinherited

Determine whether the current platform is MacOS.

Returns: true if the current platform is MacOS, false otherwise.

◆ isWindows()

boolean org.lflang.tests.TestBase.isWindows ( )

staticprotectedinherited

Determine whether the current platform is Windows.

Returns: true if the current platform is Windwos, false otherwise.

◆ pathToLevel()

TestLevel org.lflang.tests.TestBase.pathToLevel ( Path path )

staticinherited

Static function for converting a path to its associated test level.

Author: Anirudh Rengarajan

◆ printTestHeader()

void org.lflang.tests.TestBase.printTestHeader	(	Target	target,
		String	description )

staticprotectedinherited

Print a header that describes a collection of tests.

Parameters

target	The target for which the tests are being performed.
description	A string the describes the collection of tests.

◆ runSingleTestAndPrintResults()

void org.lflang.tests.TestBase.runSingleTestAndPrintResults	(	LFTest	test,
		Class<? extends TestBase >	testClass,
		TestLevel	level )

staticinherited

Run a test, print results on stderr.

Parameters

test	Test case.
testClass	The test class that will execute the test. This is target-specific, it may provide some target-specific configuration. We pass a class and not a new instance because this method needs to ensure the object is properly injected, and so, it needs to control its entire lifecycle.
level	Level to which to run the test.

◆ runTestsAndPrintResults()

final void org.lflang.tests.TestBase.runTestsAndPrintResults	(	Target	target,
		Predicate< TestCategory >	selected,
		TestLevel	level,
		Transformer	transformer,
		Configurator	configurator,
		boolean	copy )

protectedinherited

Run selected tests for a given target and configurator up to the specified level.

Parameters

target	The target to run tests for.
selected	A predicate that given a test category returns whether it should be included in this test run or not.
level	The test level.
transformer	The transformer to apply to tests.
configurator	A procedure for configuring the tests.
copy	Whether to work on copies of tests in the test. registry.

◆ runTestsFor()

void org.lflang.tests.TestBase.runTestsFor	(	List< Target >	subset,
		String	description,
		Predicate< TestCategory >	selected,
		Transformer	transformer,
		Configurator	configurator,
		TestLevel	level,
		boolean	copy )

protectedinherited

Run tests in the given selection for a subset of given targets.

Parameters

subset	The subset of targets to run the selected tests for.
description	A string that describes the collection of tests.
selected	A predicate that given a test category returns whether it should be included in this test run or not.
transformer	The transformer to apply to tests.
configurator	A procedure for configuring the tests.
level	The test level.
copy	Whether to work on copies of tests in the test. registry.

◆ runTestsForTargets()

void org.lflang.tests.TestBase.runTestsForTargets	(	String	description,
		Predicate< TestCategory >	selected,
		Transformer	transformer,
		Configurator	configurator,
		TestLevel	level,
		boolean	copy )

protectedinherited

Run tests in the given selection for all targets enabled in this class.

Parameters

description	A string that describes the collection of tests.
selected	A predicate that given a test category returns whether it should be included in this test run or not.
transformer	The transformer to apply to tests.
configurator	A procedure for configuring the tests.
level	The test level.
copy	Whether to work on copies of tests in the test. registry.

◆ runVerifierTests()

void org.lflang.tests.runtime.CVerifierTest.runVerifierTests ( )

◆ stackTraceToString()

String org.lflang.tests.TestBase.stackTraceToString ( Throwable t )

staticinherited

◆ supportsSingleThreadedExecution()

boolean org.lflang.tests.TestBase.supportsSingleThreadedExecution ( )

protectedinherited

Whether to enable threading.

Reimplemented in org.lflang.tests.runtime.CTest, and org.lflang.tests.runtime.PythonTest.

Member Data Documentation

◆ fileAccess

JavaIoFileSystemAccess org.lflang.tests.TestBase.fileAccess

packageinherited

◆ generator

LFGenerator org.lflang.tests.TestBase.generator

packageinherited

◆ resourceSetProvider

Provider<ResourceSet> org.lflang.tests.TestBase.resourceSetProvider

packageinherited

◆ testRegistry

TestRegistry org.lflang.tests.TestBase.testRegistry

packageinherited

◆ THICK_LINE

final String org.lflang.tests.TestBase.THICK_LINE

staticinherited

Initial value:

=
      "=============================================================================="
          + System.lineSeparator()

Content separator used in test output, 78 characters wide.

◆ THIN_LINE

final String org.lflang.tests.TestBase.THIN_LINE

staticinherited

Initial value:

=
      "------------------------------------------------------------------------------"
          + System.lineSeparator()

Content separator used in test output, 78 characters wide.

◆ validator

IResourceValidator org.lflang.tests.TestBase.validator

packageinherited

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

/Users/runner/work/lingua-franca/lingua-franca/core/src/integrationTest/java/org/lflang/tests/runtime/CVerifierTest.java

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Static Protected Member Functions

Package Attributes

Detailed Description

Constructor & Destructor Documentation

◆ CVerifierTest()

Member Function Documentation

◆ applyDefaultConfiguration()

◆ getExecCommand()

◆ getGeneratorArguments()

◆ isLinux()

◆ isMac()

◆ isWindows()

◆ pathToLevel()

◆ printTestHeader()

◆ runSingleTestAndPrintResults()

◆ runTestsAndPrintResults()

◆ runTestsFor()

◆ runTestsForTargets()

◆ runVerifierTests()

◆ stackTraceToString()

◆ supportsSingleThreadedExecution()

Member Data Documentation

◆ fileAccess

◆ generator

◆ resourceSetProvider

◆ testRegistry

◆ THICK_LINE

◆ THIN_LINE

◆ validator