Examples with ExplicitThisNode org.checkerframework.dataflow.cfg.node.ExplicitThisNode used on opensource projects

Example 1 with ExplicitThisNode

use of org.checkerframework.dataflow.cfg.node.ExplicitThisNode in project checker-framework by typetools.

the class JavaExpression method fromNode.

/**
 * We ignore operations such as widening and narrowing when computing the internal representation.
 *
 * @param receiverNode a node to convert to a JavaExpression
 * @return the internal representation of the given node. Might contain {@link Unknown}.
 */
public static JavaExpression fromNode(Node receiverNode) {
    JavaExpression result = null;
    if (receiverNode instanceof FieldAccessNode) {
        result = fromNodeFieldAccess((FieldAccessNode) receiverNode);
    } else if (receiverNode instanceof ExplicitThisNode) {
        result = new ThisReference(receiverNode.getType());
    } else if (receiverNode instanceof ThisNode) {
        result = new ThisReference(receiverNode.getType());
    } else if (receiverNode instanceof SuperNode) {
        result = new ThisReference(receiverNode.getType());
    } else if (receiverNode instanceof LocalVariableNode) {
        LocalVariableNode lv = (LocalVariableNode) receiverNode;
        result = new LocalVariable(lv);
    } else if (receiverNode instanceof ArrayAccessNode) {
        ArrayAccessNode a = (ArrayAccessNode) receiverNode;
        result = fromArrayAccess(a);
    } else if (receiverNode instanceof StringConversionNode) {
        // ignore string conversion
        return fromNode(((StringConversionNode) receiverNode).getOperand());
    } else if (receiverNode instanceof WideningConversionNode) {
        // ignore widening
        return fromNode(((WideningConversionNode) receiverNode).getOperand());
    } else if (receiverNode instanceof NarrowingConversionNode) {
        // ignore narrowing
        return fromNode(((NarrowingConversionNode) receiverNode).getOperand());
    } else if (receiverNode instanceof UnaryOperationNode) {
        UnaryOperationNode uopn = (UnaryOperationNode) receiverNode;
        return new UnaryOperation(uopn, fromNode(uopn.getOperand()));
    } else if (receiverNode instanceof BinaryOperationNode) {
        BinaryOperationNode bopn = (BinaryOperationNode) receiverNode;
        return new BinaryOperation(bopn, fromNode(bopn.getLeftOperand()), fromNode(bopn.getRightOperand()));
    } else if (receiverNode instanceof ClassNameNode) {
        ClassNameNode cn = (ClassNameNode) receiverNode;
        result = new ClassName(cn.getType());
    } else if (receiverNode instanceof ValueLiteralNode) {
        ValueLiteralNode vn = (ValueLiteralNode) receiverNode;
        result = new ValueLiteral(vn.getType(), vn);
    } else if (receiverNode instanceof ArrayCreationNode) {
        ArrayCreationNode an = (ArrayCreationNode) receiverNode;
        List<@Nullable JavaExpression> dimensions = CollectionsPlume.mapList(JavaExpression::fromNode, an.getDimensions());
        List<JavaExpression> initializers = CollectionsPlume.mapList(JavaExpression::fromNode, an.getInitializers());
        result = new ArrayCreation(an.getType(), dimensions, initializers);
    } else if (receiverNode instanceof MethodInvocationNode) {
        MethodInvocationNode mn = (MethodInvocationNode) receiverNode;
        MethodInvocationTree t = mn.getTree();
        if (t == null) {
            throw new BugInCF("Unexpected null tree for node: " + mn);
        }
        assert TreeUtils.isUseOfElement(t) : "@AssumeAssertion(nullness): tree kind";
        ExecutableElement invokedMethod = TreeUtils.elementFromUse(t);
        // Note that the method might be nondeterministic.
        List<JavaExpression> parameters = CollectionsPlume.mapList(JavaExpression::fromNode, mn.getArguments());
        JavaExpression methodReceiver;
        if (ElementUtils.isStatic(invokedMethod)) {
            methodReceiver = new ClassName(mn.getTarget().getReceiver().getType());
        } else {
            methodReceiver = fromNode(mn.getTarget().getReceiver());
        }
        result = new MethodCall(mn.getType(), invokedMethod, methodReceiver, parameters);
    }
    if (result == null) {
        result = new Unknown(receiverNode);
    }
    return result;
}

Example 2 with ExplicitThisNode

use of org.checkerframework.dataflow.cfg.node.ExplicitThisNode in project checker-framework by typetools.

the class CFGTranslationPhaseOne method visitIdentifier.

@Override
public Node visitIdentifier(IdentifierTree tree, Void p) {
    Node node;
    if (TreeUtils.isFieldAccess(tree)) {
        Node receiver = getReceiver(tree);
        node = new FieldAccessNode(tree, receiver);
    } else {
        Element element = TreeUtils.elementFromUse(tree);
        switch(element.getKind()) {
            case FIELD:
                // Note that "this"/"super" is a field, but not a field access.
                if (element.getSimpleName().contentEquals("this")) {
                    node = new ExplicitThisNode(tree);
                } else {
                    node = new SuperNode(tree);
                }
                break;
            case EXCEPTION_PARAMETER:
            case LOCAL_VARIABLE:
            case RESOURCE_VARIABLE:
            case PARAMETER:
                node = new LocalVariableNode(tree);
                break;
            case PACKAGE:
                node = new PackageNameNode(tree);
                break;
            default:
                if (ElementUtils.isTypeDeclaration(element)) {
                    node = new ClassNameNode(tree);
                    break;
                } else if (ElementUtils.isBindingVariable(element)) {
                    // Note: BINDING_VARIABLE should be added as a direct case above when instanceof pattern
                    // matching and Java15 are supported.
                    node = new LocalVariableNode(tree);
                    break;
                }
                throw new BugInCF("bad element kind " + element.getKind());
        }
    }
    if (node instanceof ClassNameNode) {
        extendWithClassNameNode((ClassNameNode) node);
    } else {
        extendWithNode(node);
    }
    return node;
}

Example 3 with ExplicitThisNode

use of org.checkerframework.dataflow.cfg.node.ExplicitThisNode in project checker-framework by typetools.

the class CFGTranslationPhaseOne method visitMemberSelect.

@Override
public Node visitMemberSelect(MemberSelectTree tree, Void p) {
    Node expr = scan(tree.getExpression(), p);
    if (!TreeUtils.isFieldAccess(tree)) {
        // Could be a selector of a class or package
        Element element = TreeUtils.elementFromUse(tree);
        if (ElementUtils.isTypeElement(element)) {
            ClassNameNode result = new ClassNameNode(tree, expr);
            extendWithClassNameNode(result);
            return result;
        } else if (element.getKind() == ElementKind.PACKAGE) {
            Node result = new PackageNameNode(tree, (PackageNameNode) expr);
            extendWithNode(result);
            return result;
        } else {
            throw new BugInCF("Unexpected element kind: " + element.getKind());
        }
    }
    Node node = new FieldAccessNode(tree, expr);
    Element element = TreeUtils.elementFromUse(tree);
    if (ElementUtils.isStatic(element) || expr instanceof ImplicitThisNode || expr instanceof ExplicitThisNode) {
        // No NullPointerException can be thrown, use normal node
        extendWithNode(node);
    } else {
        extendWithNodeWithException(node, nullPointerExceptionType);
    }
    return node;
}