diff options
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.java | 12 |
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 +} |