framework.src.org.checkerframework.common.wholeprograminference.WholeProgramInference Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of checker Show documentation
The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.
There is a newer version: 3.42.0
Show newest version
package org.checkerframework.common.wholeprograminference;

import javax.lang.model.element.ExecutableElement;

import org.checkerframework.dataflow.cfg.node.FieldAccessNode;
import org.checkerframework.dataflow.cfg.node.LocalVariableNode;
import org.checkerframework.dataflow.cfg.node.MethodInvocationNode;
import org.checkerframework.dataflow.cfg.node.Node;
import org.checkerframework.dataflow.cfg.node.ObjectCreationNode;
import org.checkerframework.dataflow.cfg.node.ReturnNode;
import org.checkerframework.framework.type.AnnotatedTypeFactory;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType;

import com.sun.source.tree.ClassTree;
import com.sun.source.tree.MethodTree;
import com.sun.source.tree.Tree;
import com.sun.tools.javac.code.Symbol.ClassSymbol;

/**
 * Interface for a whole-program inference implementation.
 * 
 * This interface has update* methods that should be called at certain
 * (pseudo-)assignments, and they may update the type of the LHS of the
 * (pseudo-)assignment based on the type of the RHS. In case the element on the
 * LHS already had an inferred type, its new type will be the LUB between the
 * previous and new types.
 * @checker_framework.manual #whole-program-inference Whole-program inference
 * @author pbsf
 */
public interface WholeProgramInference {

    /**
     * Updates the parameter types of the constructor {@code constructorElt} based
     * on the arguments in {@code objectCreationNode}.
     * @param objectCreationNode node that invokes the constructor
     * @param constructorElt Element of the constructor
     * @param atf the annotated type factory of a given type system, whose
     * type hierarchy will be used to update the constructor's parameters' types.
     */
    void updateInferredConstructorParameterTypes(
            ObjectCreationNode objectCreationNode, ExecutableElement constructorElt,
            AnnotatedTypeFactory atf);

    /**
     * Updates the parameter types of the method {@code methodElt} based on the
     * arguments in the method invocation {@code methodInvNode}.
     * @param methodInvNode the node representing a method invocation.
     * @param receiverTree the Tree of the class that contains the method being
     * invoked.
     * @param methodElt the element of the method being invoked.
     * @param atf the annotated type factory of a given type system, whose
     * type hierarchy will be used to update the method parameters' types.
     */
    void updateInferredMethodParameterTypes(
            MethodInvocationNode methodInvNode, Tree receiverTree,
            ExecutableElement methodElt, AnnotatedTypeFactory atf);

    /**
     * Updates the parameter types of the method {@code methodTree} based on the
     * parameter types of the overridden method {@code overriddenMethod}.
     * @param methodTree the tree of the method that contains the parameter(s).
     * @param methodElt the element of the method.
     * @param overriddenMethod the AnnotatedExecutableType of the overridden
     * method.
     * @param atf the annotated type factory of a given type system, whose
     * type hierarchy will be used to update the parameter type.
     */
    void updateInferredMethodParameterTypes(
            MethodTree methodTree, ExecutableElement methodElt,
            AnnotatedExecutableType overriddenMethod, AnnotatedTypeFactory atf);

    /**
     * Updates the receiver type of the method {@code methodElt} based on the
     * receiver type of the overridden method {@code overriddenMethod}.
     * @param methodTree the tree of the method that contains the receiver.
     * @param methodElt the element of the method.
     * @param overriddenMethod the AnnotatedExecutableType of the overridden
     * method.
     * @param atf the annotated type factory of a given type system, whose
     * type hierarchy will be used to update the receiver type.
     */
    void updateInferredMethodReceiverType(
            MethodTree methodTree, ExecutableElement methodElt,
            AnnotatedExecutableType overriddenMethod, AnnotatedTypeFactory atf);

    /**
     * Updates the type of {@code parameter} based on an assignment of
     * {@code rhs} to {@code parameter}.
     * @param parameter the node representing the parameter.
     * @param rhs the node being assigned to the parameter in the method body.
     * @param classTree the tree of the class that contains the parameter.
     * @param methodTree the tree of the method that contains the parameter.
     * @param atf the annotated type factory of a given type system, whose
     * type hierarchy will be used to update the parameter type.
     */
    void updateInferredParameterType(LocalVariableNode parameter,
            Node rhs, ClassTree classTree, MethodTree methodTree,
            AnnotatedTypeFactory atf);

    /**
     * Updates the type of {@code field} base on an assignment of
     * {@code rhs} to {@code field}.
     * @param field the field whose type will be refined.
     * @param rhs the expression being assigned to the field.
     * @param classTree the ClassTree for the enclosing class of the assignment.
     * @param atf the annotated type factory of a given type system, whose
     * type hierarchy will be used to update the field's type.
     */
    void updateInferredFieldType(FieldAccessNode field, Node rhs,
            ClassTree classTree, AnnotatedTypeFactory atf);

    /**
     * Updates the return type of the method {@code methodTree} based on
     * {@code returnedExpression}.
     * @param returnedExpression the node that contains the expression returned.
     * @param classSymbol the symbol of the class that contains the method.
     * @param methodTree the tree of the method whose return type
     * may be updated.
     * @param atf the annotated type factory of a given type system, whose
     * type hierarchy will be used to update the method's return type.
     */
    void updateInferredMethodReturnType(ReturnNode returnedExpression,
            ClassSymbol classSymbol, MethodTree methodTree,
            AnnotatedTypeFactory atf);

    /**
     * Saves the inferred results. Ideally should be called at the end of the
     * type-checking process.
     */
     void saveResults();
}