.PHONY: all

all: clean
	$(JAVAC) -processor org.checkerframework.checker.nullness.NullnessChecker Issue502.java
# TODO: This test is rather unstable, as Expected.txt relies on
# @SideEffectFree being constant #12().
	$(JAVAP) -v Issue502.class | grep "RuntimeVisibleAnnotations:" -A 2 > Out.txt 2>&1
	diff -u Expected.txt Out.txt

clean:
	rm -f Issue502.class Out.txt