jar

io.github.eisop : framework-test

Maven & Gradle

May 09, 2023
19 stars

Checker Framework Testing Library · framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.

Table Of Contents

Latest Version

Download io.github.eisop : framework-test JAR file - Latest Versions:

All Versions

Download io.github.eisop : framework-test JAR file - All Versions:

Version Vulnerabilities Size Updated
3.34.x
3.32.x
3.28.x
3.27.x
3.26.x
3.25.x
3.24.x
3.23.x
3.22.x
3.21.x
3.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window framework-test-3.34.0-eisop1.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.checkerframework.framework.test

├─ org.checkerframework.framework.test.AinferGeneratePerDirectoryTest.class - [JAR]

├─ org.checkerframework.framework.test.AinferValidatePerDirectoryTest.class - [JAR]

├─ org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest.class - [JAR]

├─ org.checkerframework.framework.test.CheckerFrameworkPerFileTest.class - [JAR]

├─ org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest.class - [JAR]

├─ org.checkerframework.framework.test.CompilationResult.class - [JAR]

├─ org.checkerframework.framework.test.ImmutableTestConfiguration.class - [JAR]

├─ org.checkerframework.framework.test.PerDirectorySuite.class - [JAR]

├─ org.checkerframework.framework.test.PerFileSuite.class - [JAR]

├─ org.checkerframework.framework.test.SimpleOptionMap.class - [JAR]

├─ org.checkerframework.framework.test.TestConfiguration.class - [JAR]

├─ org.checkerframework.framework.test.TestConfigurationBuilder.class - [JAR]

├─ org.checkerframework.framework.test.TestUtilities.class - [JAR]

├─ org.checkerframework.framework.test.TypecheckExecutor.class - [JAR]

├─ org.checkerframework.framework.test.TypecheckResult.class - [JAR]

org.checkerframework.framework.test.diagnostics

├─ org.checkerframework.framework.test.diagnostics.DiagnosticKind.class - [JAR]

├─ org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader.class - [JAR]

├─ org.checkerframework.framework.test.diagnostics.TestDiagnostic.class - [JAR]

├─ org.checkerframework.framework.test.diagnostics.TestDiagnosticLine.class - [JAR]

├─ org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils.class - [JAR]

Advertisement

Dependencies from Group

May 09, 2023
5 usages
19 stars
May 09, 2023
2 usages
19 stars
May 09, 2023
1 usages
19 stars
May 09, 2023
1 usages
19 stars
May 09, 2023
19 stars

Discover Dependencies

May 25, 2019
19 stars
May 25, 2019
19 stars
May 25, 2019
1k stars
May 09, 2023
19 stars
May 09, 2023
19 stars
May 24, 2019
4.4k stars
May 24, 2019
4.4k stars