Add beginning of support for dsm

[IRC.git] / Robust / src / IR / Flat / FKind.java

diff --git a/Robust/src/IR/Flat/FKind.java b/Robust/src/IR/Flat/FKind.java
index 4c700d43b0419fb0438c20f779fa7ab2daa1b4dc..b30de0d2651b2eb3b5ba4aae6811ceea7c3c4512 100644 (file)
--- a/Robust/src/IR/Flat/FKind.java
+++ b/Robust/src/IR/Flat/FKind.java
@@ -13,4 +13,11 @@ public class FKind {
     public static final int FlatNop=10;    
     public static final int FlatSetElementNode=11;
     public static final int FlatElementNode=12;
+    public static final int FlatFlagActionNode=13;
+    public static final int FlatCheckNode=14;
+    public static final int FlatBackEdge=15;    
+    public static final int FlatTagDeclaration=16;
+    public static final int FlatMethod=17;
+    public static final int FlatAtomicEnterNode=18;
+    public static final int FlatAtomicExitNode=19;
 }