diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ExplicitThisLiteralNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ExplicitThisLiteralNode.java | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ExplicitThisLiteralNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ExplicitThisLiteralNode.java index 0c1069843c..abb3b5447e 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ExplicitThisLiteralNode.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ExplicitThisLiteralNode.java @@ -1,9 +1,8 @@ package org.checkerframework.dataflow.cfg.node; -import org.checkerframework.javacutil.InternalUtils; - import com.sun.source.tree.IdentifierTree; import com.sun.source.tree.Tree; +import org.checkerframework.javacutil.InternalUtils; /** * A node for a reference to 'this'. @@ -14,7 +13,6 @@ import com.sun.source.tree.Tree; * * @author Stefan Heule * @author Charlie Garrett - * */ public class ExplicitThisLiteralNode extends ThisLiteralNode { @@ -22,8 +20,7 @@ public class ExplicitThisLiteralNode extends ThisLiteralNode { public ExplicitThisLiteralNode(Tree t) { super(InternalUtils.typeOf(t)); - assert t instanceof IdentifierTree - && ((IdentifierTree) t).getName().contentEquals("this"); + assert t instanceof IdentifierTree && ((IdentifierTree) t).getName().contentEquals("this"); tree = t; } |