Skip to content

Commit

Permalink
Move conformance test framework code into a subproject (#108)
Browse files Browse the repository at this point in the history
Part of #107.
  • Loading branch information
netdpb authored Nov 15, 2023
1 parent c183d5b commit 00277ba
Show file tree
Hide file tree
Showing 5 changed files with 27 additions and 4 deletions.
3 changes: 1 addition & 2 deletions build.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -42,11 +42,10 @@ dependencies {
testImplementation 'junit:junit:4.12'
// The jsr305 dep lets us use its annotations in some of the sample inputs we test against.
testImplementation 'com.google.code.findbugs:jsr305:3.0.2'
// The Guava dep lets us test our special handling of some Guava classes.
testImplementation 'com.google.guava:guava:31.1-jre'
testImplementation 'org.plumelib:plume-util:1.5.5'
testImplementation "org.checkerframework:framework-test:${cfVersion}"
testImplementation "com.google.truth:truth:1.1.3"
testImplementation project(":conformance")

errorproneJavac "com.google.errorprone:javac:9+181-r4173-1"
errorprone "com.google.errorprone:error_prone_core:2.18.0"
Expand Down
24 changes: 24 additions & 0 deletions conformance/build.gradle
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
plugins {
id 'java-library'
}

group 'org.jspecify'
version '0.1'

repositories {
mavenCentral()
}

java {
sourceCompatibility = 1.9
}

dependencies {
api 'com.google.guava:guava:31.1-jre'
implementation "com.google.truth:truth:1.1.3"
implementation "org.jspecify:jspecify:0.0.0-SNAPSHOT"
}

test {
useJUnitPlatform()
}
Original file line number Diff line number Diff line change
Expand Up @@ -28,12 +28,11 @@
import java.nio.file.Path;
import java.util.Collection;
import java.util.Formatter;
import tests.ConformanceTest;
import tests.conformance.AbstractConformanceTest.ExpectedFact;
import tests.conformance.AbstractConformanceTest.Fact;
import tests.conformance.AbstractConformanceTest.ReportedFact;

/** Represents the results of running {@link ConformanceTest} on a set of files. */
/** Represents the results of running an {@link AbstractConformanceTest} on a set of files. */
public final class ConformanceTestReport {
/** An empty report. */
static final ConformanceTestReport EMPTY =
Expand Down
1 change: 1 addition & 0 deletions settings.gradle
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
// Project name is read-only in build scripts, and defaults to directory name.
rootProject.name = "jspecify-reference-checker"
include 'conformance'

def initializeProject() {
exec {
Expand Down

0 comments on commit 00277ba

Please sign in to comment.