| package org.checkerframework.dataflow.cfg.node; |
| |
| import javax.lang.model.type.TypeMirror; |
| |
| import com.sun.source.tree.Tree; |
| |
| /** |
| * A node to model the implicit {@code this}, e.g., in a field access. |
| * |
| * @author Stefan Heule |
| * |
| */ |
| public class ImplicitThisLiteralNode extends ThisLiteralNode { |
| |
| public ImplicitThisLiteralNode(TypeMirror type) { |
| super(type); |
| } |
| |
| @Override |
| public Tree getTree() { |
| return null; |
| } |
| |
| @Override |
| public <R, P> R accept(NodeVisitor<R, P> visitor, P p) { |
| return visitor.visitImplicitThisLiteral(this, p); |
| } |
| |
| @Override |
| public String toString() { |
| return "(" + getName() + ")"; |
| } |
| } |