edits

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

diff --git a/src/edu/uci/eecs/specExtraction/SpecNaming.java b/src/edu/uci/eecs/specExtraction/SpecNaming.java
index d60bf96c6f849fbb074c5fba50d50310bee3deb2..463d2c93e59a25387e5acd5aabb9ea4a17c12bdf 100644 (file)
--- a/src/edu/uci/eecs/specExtraction/SpecNaming.java
+++ b/src/edu/uci/eecs/specExtraction/SpecNaming.java
@@ -145,6 +145,7 @@ public class SpecNaming {
 
        public static final String StateStruct = "StateStruct";
        public static final String Method = "Method";
+       public static final String MethodValueField = "value";
        public static final String CommutativityRule = "CommutativityRule";
        public static final String StateFunctions = "StateFunctions";
        public static final String NamedFunction = "NamedFunction";
@@ -178,6 +179,7 @@ public class SpecNaming {
        public static final String CDSAnnotateFunc = "cdsannotate";
        public static final String PRINT = "PRINT";
        public static final String PrintContainer = "printContainer";
+       public static final String PrintMap = "printMap";
 
        // Special instances
        public static final String Method1 = "_M";
@@ -187,6 +189,7 @@ public class SpecNaming {
        public static final String NewStateInst = "NEW";
        // Specification types and macros
        public static final String RET = "RET";
+       public static final String InterfaceValueInst = "__value";
        
        // The wrapper prefix that we want to attach to the function name
        public static final String WrapperPrefix = "Wrapper";