#!/bin/sh
set -e

WORKDIR=$(mktemp -d)
trap 'rm -rf "$WORKDIR"' EXIT

# Write dummy Java file
cat <<EOF > "$WORKDIR/TestClass.java"
import org.jspecify.annotations.Nullable;
import org.jspecify.annotations.NullMarked;

@NullMarked
public class TestClass {
    public void doSomething(@Nullable String input) {
        if (input != null) {
            System.out.println(input.length());
        }
    }
}
EOF

# Define classpath
JSPECIFY_JAR="${JSPECIFY_JAR:-/usr/share/java/jspecify.jar}"

# Compile
javac -cp "$JSPECIFY_JAR" -d "$WORKDIR" "$WORKDIR/TestClass.java"

echo "Success!"
