missing class

diff --git a/Robust/src/IR/Tree/SynchronizedNode.java b/Robust/src/IR/Tree/SynchronizedNode.java
new file mode 100644 (file)
index 0000000..f3aea2b
--- /dev/null
+++ b/Robust/src/IR/Tree/SynchronizedNode.java
@@ -0,0 +1,26 @@
+package IR.Tree;
+
+public class SynchronizedNode extends BlockStatementNode {
+  BlockNode bn;
+  ExpressionNode en;
+  public SynchronizedNode(ExpressionNode en, BlockNode bn) {
+    this.en=en;
+    this.bn=bn;
+  }
+
+  public BlockNode getBlockNode() {
+    return bn;
+  }
+
+  public ExpressionNode getExpr() {
+    return en;
+  }
+
+  public String printNode(int indent) {
+    return "synchronized("+en.printSpace(indent)+") {"+bn.printSpace(indent)+"}";
+  }
+
+  public int kind() {
+    return Kind.SynchronizedNode;
+  }
+}