add destructors

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

diff --git a/src/edu/uci/eecs/specExtraction/InterfaceConstruct.java b/src/edu/uci/eecs/specExtraction/InterfaceConstruct.java
index 6afd5f127abd4261ec94b0285d23d56718209ae7..232acaf2b34bc5529db9d64bb10af8547059f1ca 100644 (file)
--- a/src/edu/uci/eecs/specExtraction/InterfaceConstruct.java
+++ b/src/edu/uci/eecs/specExtraction/InterfaceConstruct.java
@@ -24,7 +24,6 @@ public class InterfaceConstruct extends Construct {
        private String name;
        public final Code transition;
        public final Code preCondition;
-       public final Code sideEffect;
        public final Code postCondition;
        public final Code print;
 
@@ -47,7 +46,6 @@ public class InterfaceConstruct extends Construct {
                this.name = null;
                this.transition = new Code();
                this.preCondition = new Code();
-               this.sideEffect = new Code();
                this.postCondition = new Code();
                this.print = new Code();
 
@@ -171,8 +169,6 @@ public class InterfaceConstruct extends Construct {
                                this.transition.addLines(primitive.contents);
                        } else if (name.equals(SpecNaming.PreCondition)) {
                                this.preCondition.addLines(primitive.contents);
-                       } else if (name.equals(SpecNaming.SideEffect)) {
-                               this.sideEffect.addLines(primitive.contents);
                        } else if (name.equals(SpecNaming.PostCondition)) {
                                this.postCondition.addLines(primitive.contents);
                        } else if (name.equals(SpecNaming.PrintValue)) {
@@ -214,8 +210,6 @@ public class InterfaceConstruct extends Construct {
                        sb.append("@Transition:\n" + transition);
                if (!preCondition.isEmpty())
                        sb.append("@PreCondition:\n" + preCondition);
-               if (!sideEffect.isEmpty())
-                       sb.append("@SideEffect:\n" + sideEffect);
                if (!postCondition.isEmpty())
                        sb.append("@PostCondition:\n" + postCondition);
                if (!print.isEmpty())