Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / tools / sexpr / SExpr.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/sexpr/SExpr.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/sexpr/SExpr.java
new file mode 100644 (file)
index 0000000..c955c64
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/sexpr/SExpr.java
@@ -0,0 +1,26 @@
+/*\r
+ *  SExpr.java\r
+ *\r
+ *  Copyright 1997 Massachusetts Institute of Technology.\r
+ *  All Rights Reserved.\r
+ *\r
+ *  Author: Ora Lassila\r
+ *\r
+ *  $Id: SExpr.java,v 1.1 2010/06/15 12:27:50 smhuang Exp $\r
+ */\r
+\r
+package org.w3c.tools.sexpr;\r
+\r
+import java.io.PrintStream;\r
+\r
+/**\r
+ * Interface for all new s-expression subtypes.\r
+ */\r
+public interface SExpr {\r
+\r
+  /**\r
+   * Print a representation of the s-expression into the output stream.\r
+   */\r
+  public void printExpr(PrintStream out);\r
+\r
+}\r