diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ThrowNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ThrowNode.java | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ThrowNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ThrowNode.java index f563cef96b..bb36e10a4a 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ThrowNode.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ThrowNode.java @@ -1,16 +1,13 @@ package org.checkerframework.dataflow.cfg.node; +import com.sun.source.tree.ThrowTree; +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 org.checkerframework.dataflow.util.HashCodeUtils; -import com.sun.source.tree.ThrowTree; -import com.sun.source.tree.Tree; - /** * A node for exception throws: * @@ -20,15 +17,13 @@ import com.sun.source.tree.Tree; * * @author Stefan Heule * @author Charlie Garrett - * */ public class ThrowNode extends Node { protected ThrowTree tree; protected Node expression; - public ThrowNode(ThrowTree tree, - Node expression, Types types) { + public ThrowNode(ThrowTree tree, Node expression, Types types) { super(types.getNoType(TypeKind.NONE)); this.tree = tree; this.expression = expression; |