add source code that does not have location annotations.

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

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java
new file mode 100644 (file)
index 0000000..eda09de
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java
@@ -0,0 +1,35 @@
+/*\r
+ * 11/19/04            1.0 moved to LGPL.\r
+ *-----------------------------------------------------------------------\r
+ *   This program is free software; you can redistribute it and/or modify\r
+ *   it under the terms of the GNU Library General Public License as published\r
+ *   by the Free Software Foundation; either version 2 of the License, or\r
+ *   (at your option) any later version.\r
+ *\r
+ *   This program is distributed in the hope that it will be useful,\r
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of\r
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
+ *   GNU Library General Public License for more details.\r
+ *\r
+ *   You should have received a copy of the GNU Library General Public\r
+ *   License along with this program; if not, write to the Free Software\r
+ *   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.\r
+ *----------------------------------------------------------------------\r
+ */\r
+\r
+\r
+//import java.io.InputStream;\r
+\r
+/**\r
+ * The <code>JavaLayerHooks</code> class allows developers to change\r
+ * the way the JavaLayer library uses Resources. \r
+ */\r
+\r
+public interface JavaLayerHook\r
+{\r
+       /**\r
+        * Retrieves the named resource. This allows resources to be\r
+        * obtained without specifying how they are retrieved. \r
+        */\r
+       public InputStream getResourceAsStream(String name);\r
+}\r