Search Java Classes and Packages
#Org.checkerframework.framework.test Classes and Interfaces - 17 results found.
| Name | Description | Type | Package | Framework |
| CheckerFrameworkTest | To use this class you must do two things: Create exactly 1 constructor in the subclass with exactly 1 argument | Class | org.checkerframework.framework.test | Checker |
| CompilationResult | CompilationResult represents the output of the compiler after it is run. | Class | org.checkerframework.framework.test | Checker |
| DiagnosticKind | Indicates what type of Error was, or expected to be, encountered during typecheckingEnum Constant Summary | Class | org.checkerframework.framework.test.diagnostics | Checker |
| ImmutableTestConfiguration | Represents all of the information needed to execute the Javac compiler for a given set of test files. | Class | org.checkerframework.framework.test | Checker |
| JavaDiagnosticReader | Reads a file that has serialized javac diagnostics and returns either a list of TestDiagnosticLines or TestDiagnostics. | Class | org.checkerframework.framework.test.diagnostics | Checker |
| JavaDiagnosticReader .DiagnosticCodec | Interface | org.checkerframework.framework.test.diagnostics | Checker | |
| SimpleOptionMap | SimpleOptionMap is a very basic Option container. | Class | org.checkerframework.framework.test | Checker |
| TestConfiguration | A configuration for running CheckerFrameworkTests or running the TypecheckExecutor. | Interface | org.checkerframework.framework.test | Checker |
| TestConfigurationBuilder | Used to create an instance of TestConfiguration, TestConfigurationBuilder follows the standard builder pattern. | Class | org.checkerframework.framework.test | Checker |
| TestDiagnostic | Represents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler See JavaFileDiagnosticReader and TestDiagnosticLine | Class | org.checkerframework.framework.test.diagnostics | Checker |
| TestDiagnosticLine | Class | org.checkerframework.framework.test.diagnostics | Checker | |
| TestDiagnosticUtils | Class | org.checkerframework.framework.test.diagnostics | Checker | |
| TestSuite | TestSuite runs a test class once for each set of parameters returned by its method marked with @Parameters Annotated your test class with @RunWith(TestSuite. | Class | org.checkerframework.framework.test | Checker |
| TestSuite .Name | Class | org.checkerframework.framework.test | Checker | |
| TestUtilities | Class | org.checkerframework.framework.test | Checker | |
| TypecheckExecutor | Used by the Checker Framework test suite to run the framework and generate a test result. | Class | org.checkerframework.framework.test | Checker |
| TypecheckResult | Represents the test results from typechecking one or more java files using the given TestConfiguration. | Class | org.checkerframework.framework.test | Checker |