add source code that does not have location annotations.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3DecoderInfer / LOC.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LOC.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LOC.java
new file mode 100644 (file)
index 0000000..0165516
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LOC.java
@@ -0,0 +1,7 @@
+public @interface LOC {
+  String value();
+}
+
+public @interface RETURNLOC {
+  String value();
+}
\ No newline at end of file