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