diff options
author | 2016-06-29 14:24:16 +0200 | |
---|---|---|
committer | 2016-06-30 15:11:05 +0200 | |
commit | a18add1613574a15c81f60bde847c5d7b2bedcb5 (patch) | |
tree | 103fa812c66403f5e8caefb898ea3f18107865dc /third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/BooleanLiteralNode.java | |
parent | 14c7964b8bc0da2bab65b1c28aa8c302846d7720 (diff) |
Adds the source of the checker framework
This needs to predate the rest of the changes to the checker framework to keep the build green.
Also add the source of javacutil part of the checker framework, that will be included in the next change.
Change-Id: Ie18d0e8e21035ce5141416e552a83d893f71b88b
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/BooleanLiteralNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/BooleanLiteralNode.java | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/BooleanLiteralNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/BooleanLiteralNode.java new file mode 100644 index 0000000000..8368c87793 --- /dev/null +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/BooleanLiteralNode.java @@ -0,0 +1,51 @@ +package org.checkerframework.dataflow.cfg.node; + +import java.util.Collection; +import java.util.Collections; + +import com.sun.source.tree.LiteralTree; +import com.sun.source.tree.Tree; + +/** + * A node for a boolean literal: + * + * <pre> + * <em>true</em> + * <em>false</em> + * </pre> + * + * @author Stefan Heule + * + */ +public class BooleanLiteralNode extends ValueLiteralNode { + + public BooleanLiteralNode(LiteralTree t) { + super(t); + assert t.getKind().equals(Tree.Kind.BOOLEAN_LITERAL); + } + + @Override + public Boolean getValue() { + return (Boolean) tree.getValue(); + } + + @Override + public <R, P> R accept(NodeVisitor<R, P> visitor, P p) { + return visitor.visitBooleanLiteral(this, p); + } + + @Override + public boolean equals(Object obj) { + // test that obj is a BooleanLiteralNode + if (!(obj instanceof BooleanLiteralNode)) { + return false; + } + // super method compares values + return super.equals(obj); + } + + @Override + public Collection<Node> getOperands() { + return Collections.emptyList(); + } +} |