lots of change and add notes

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / InterfaceDefineConstruct.java

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java
new file mode 100644 (file)
index 0000000..920e301
--- /dev/null
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java
@@ -0,0 +1,14 @@
+package edu.uci.eecs.specCompiler.specExtraction;
+
+public class InterfaceDefineConstruct extends Construct {
+       public final String name;
+       private String funcDecl;
+       
+       public InterfaceDefineConstruct(String name) {
+               this.name = name;
+       }
+       
+       public String toString() {
+               return "@Interface_define: " + name;
+       }
+}