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 8355b75fc696b2d7a0fa5fd11e6f3661b41dbcec..5b48c99faf6fb95874a680e498cf61d10e1233c2 100644 (file)
--- a/src/edu/uci/eecs/specExtraction/SpecNaming.java
+++ b/src/edu/uci/eecs/specExtraction/SpecNaming.java
@@ -33,6 +33,7 @@ public class SpecNaming {
        public static final String Interface = "Interface";
        public static final String Transition = "Transition";
        public static final String PreCondition = "PreCondition";
+       public static final String JustifyingCondition = "JustifyingCondition";
        public static final String SideEffect = "SideEffect";
        public static final String PostCondition = "PostCondition";
        public static final String PrintValue = "Print";
@@ -41,6 +42,7 @@ public class SpecNaming {
        public static final String PrintValueType = "PRINT_VALUE";
        public static final String TransitionType = "TRANSITION";
        public static final String PreConditionType = "PRE_CONDITION";
+       public static final String JustifyingConditionType = "JUSTIFYING_CONDITION";
        public static final String SideEffectType = "SIDE_EFFECT";
        public static final String PostConditionType = "POST_CONDITION";