framework-test-2.8.2

Framework-Test is a collection of utility classes for testing checkers that use the Checker Framework.
点击查看framework-test的另外9个版本信息


概述

项目名称 Checker Framework Testing Library
项目地址 https://checkerframework.org
开源协议 GNU General Public License, version 2 (GPL2), with the classpath exception The MIT License
发布时间 2019-06-04 01:36:59
文件集 framework-test-2.8.2 查看全部文件
中央仓库 framework-test-2.8.2.jar 下载地址1 framework-test-2.8.2-sources.jar 源码下载地址1
备用仓库1 framework-test-2.8.2.jar 下载地址2 framework-test-2.8.2-sources.jar 源码下载地址2
备用仓库2 framework-test-2.8.2.jar 下载地址3 framework-test-2.8.2-sources.jar 源码下载地址3
阿里云仓库 framework-test-2.8.2.jar 下载地址4 framework-test-2.8.2-sources.jar 源码下载地址4
Apache Maven Gradle/Grails Scala SBT Ivy Groovy Grape Leiningen Apache Buildr

研发人员

编号 名称 邮箱 网址
mernst Michael Ernst mernst@cs.washington.edu https://homes.cs.washington.edu/~mernst/
wmdietl Werner M. Dietl wdietl@uwaterloo.ca
smillst Suzanne Millstein smillst@cs.washington.edu

依赖项目

开发团队 项目名称 版本 作用域
org.checkerframework javacutil 2.8.2
junit junit 4.12

包含类文件

文件名称
org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest.class
org.checkerframework.framework.test.CheckerFrameworkPerFileTest.class
org.checkerframework.framework.test.CompilationResult.class
org.checkerframework.framework.test.FrameworkPerDirectoryTest.class
org.checkerframework.framework.test.FrameworkPerFileTest.class
org.checkerframework.framework.test.ImmutableTestConfiguration.class
org.checkerframework.framework.test.PerDirectorySuite.class
org.checkerframework.framework.test.PerFileSuite.class
org.checkerframework.framework.test.SimpleOptionMap.class
org.checkerframework.framework.test.TestConfiguration.class
org.checkerframework.framework.test.TestConfigurationBuilder.class
org.checkerframework.framework.test.TestUtilities.class
org.checkerframework.framework.test.TypecheckExecutor.class
org.checkerframework.framework.test.TypecheckResult.class
org.checkerframework.framework.test.diagnostics.DiagnosticKind.class
org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader.class
org.checkerframework.framework.test.diagnostics.TestDiagnostic.class
org.checkerframework.framework.test.diagnostics.TestDiagnosticLine.class
org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils.class