aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ThrowNode.java
diff options
context:
space:
mode:
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.java11
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;