add support for unattached ordering points

[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 f1f97ffd11f7011f0602501e1e683f6b3dc20116..78ea9039c9d970f4ef1a09f5e7e7c14ffc24970c 100644 (file)
--- a/src/edu/uci/eecs/specExtraction/SpecNaming.java
+++ b/src/edu/uci/eecs/specExtraction/SpecNaming.java
@@ -170,6 +170,8 @@ public class SpecNaming {
        public static final String CreateInterfaceBeginAnnoFunc = "_createInterfaceBeginAnnotation";
        public static final String SetInterfaceBeginAnnoValueFunc = "_setInterfaceBeginAnnotationValue";
        public static final String CreateOPDefineAnnoFunc = "_createOPDefineAnnotation";
+       public static final String CreateOPDefineUnattachedFunc = "_createOPDefineUnattached";
+       public static final String CreateOPClearDefineUnattachedFunc = "_createOPClearDefineUnattached";
        public static final String CreatePotentialOPAnnoFunc = "_createPotentialOPAnnotation";
        public static final String CreateOPCheckAnnoFunc = "_createOPCheckAnnotation";
        public static final String CreateOPClearAnnoFunc = "_createOPClearAnnotation";
@@ -192,6 +194,9 @@ public class SpecNaming {
        public static final String RET = "RET";
        public static final String InterfaceValueInst = "__value";
        
+       // The fake ordering point operation
+       public static final String FakeOP = "_FAKE_OP_";
+       
        // The wrapper prefix that we want to attach to the function name
        public static final String WrapperPrefix = "Wrapper";