aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java')
-rw-r--r--third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java12
1 files changed, 5 insertions, 7 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java
index 86d28bd87e..a17e2fa2e8 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java
@@ -10,15 +10,12 @@ import org.checkerframework.checker.nullness.qual.Nullable;
* Otherwise it is the node immediately after a synchronized code block.
*/
-import org.checkerframework.dataflow.util.HashCodeUtils;
-
+import com.sun.source.tree.Tree;
import java.util.Collection;
import java.util.Collections;
-
import javax.lang.model.type.TypeKind;
import javax.lang.model.util.Types;
-
-import com.sun.source.tree.Tree;
+import org.checkerframework.dataflow.util.HashCodeUtils;
public class SynchronizedNode extends Node {
@@ -26,7 +23,8 @@ public class SynchronizedNode extends Node {
protected Node expression;
protected boolean startOfBlock;
- public SynchronizedNode(/*@Nullable*/ Tree tree, Node expression, boolean startOfBlock, Types types) {
+ public SynchronizedNode(
+ /*@Nullable*/ Tree tree, Node expression, boolean startOfBlock, Types types) {
super(types.getNoType(TypeKind.NONE));
this.tree = tree;
this.expression = expression;
@@ -88,4 +86,4 @@ public class SynchronizedNode extends Node {
public Collection<Node> getOperands() {
return Collections.emptyList();
}
-} \ No newline at end of file
+}