From 835974f4c764728f2fd0c2853f21d872fa254b64 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 17 Jun 2009 18:40:53 +0000
Subject: [PATCH] missing class

---
 Robust/src/IR/Tree/SynchronizedNode.java | 26 ++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 Robust/src/IR/Tree/SynchronizedNode.java

diff --git a/Robust/src/IR/Tree/SynchronizedNode.java b/Robust/src/IR/Tree/SynchronizedNode.java
new file mode 100644
index 00000000..f3aea2b5
--- /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;
+  }
+}
-- 
2.34.1