check in the sample java file and demo script

jspecify · Feb 1, 2023 · 538ab6d · 538ab6d
1 parent 167941f
commit 538ab6d
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/SimpleSample.java b/SimpleSample.java
@@ -0,0 +1,9 @@
+import org.jspecify.annotations.NullMarked;
+import org.jspecify.annotations.Nullable;
+
+@NullMarked
+class SimpleSample {
+  Object passThrough(@Nullable Object mightBeNull) {
+    return mightBeNull;
+  }
+}
diff --git a/demo b/demo
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+dir=$(dirname $0)
+rc_name=nullness-checker-for-checker-framework
+export CLASSPATH="$dir/../jspecify/build/libs/jspecify-0.0.0-SNAPSHOT.jar:$dir/build/libs/$rc_name.jar:$CLASSPATH"
+echo $CLASSPATH
+
+$dir/../checker-framework/checker/bin/javac \
+  -processorpath "$CLASSPATH" \
+  -processor com.google.jspecify.nullness.NullSpecChecker \
+  -AcheckImpl \
+  "$@"
+