org.checkerframework.common.wholeprograminference

Interface WholeProgramInference

All Known Implementing Classes:

WholeProgramInferenceScenes

public interface WholeProgramInference

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.

Author:

pbsf

See the Checker Framework Manual:

Whole-program inference

Method Summary

Modifier and Type	Method and Description
void	saveResults() Saves the inferred results.
void	updateInferredConstructorParameterTypes(ObjectCreationNode objectCreationNode, javax.lang.model.element.ExecutableElement constructorElt, AnnotatedTypeFactory atf) Updates the parameter types of the constructor constructorElt based on the arguments in objectCreationNode.
void	updateInferredFieldType(FieldAccessNode field, Node rhs, com.sun.source.tree.ClassTree classTree, AnnotatedTypeFactory atf) Updates the type of field base on an assignment of rhs to field.
void	updateInferredMethodParameterTypes(MethodInvocationNode methodInvNode, com.sun.source.tree.Tree receiverTree, javax.lang.model.element.ExecutableElement methodElt, AnnotatedTypeFactory atf) Updates the parameter types of the method methodElt based on the arguments in the method invocation methodInvNode.
void	updateInferredMethodParameterTypes(com.sun.source.tree.MethodTree methodTree, javax.lang.model.element.ExecutableElement methodElt, AnnotatedTypeMirror.AnnotatedExecutableType overriddenMethod, AnnotatedTypeFactory atf) Updates the parameter types of the method methodTree based on the parameter types of the overridden method overriddenMethod.
void	updateInferredMethodReceiverType(com.sun.source.tree.MethodTree methodTree, javax.lang.model.element.ExecutableElement methodElt, AnnotatedTypeMirror.AnnotatedExecutableType overriddenMethod, AnnotatedTypeFactory atf) Updates the receiver type of the method methodElt based on the receiver type of the overridden method overriddenMethod.
void	updateInferredMethodReturnType(ReturnNode returnedExpression, com.sun.tools.javac.code.Symbol.ClassSymbol classSymbol, com.sun.source.tree.MethodTree methodTree, AnnotatedTypeFactory atf) Updates the return type of the method methodTree based on returnedExpression.
void	updateInferredParameterType(LocalVariableNode parameter, Node rhs, com.sun.source.tree.ClassTree classTree, com.sun.source.tree.MethodTree methodTree, AnnotatedTypeFactory atf) Updates the type of parameter based on an assignment of rhs to parameter.

Method Detail

updateInferredConstructorParameterTypes

void updateInferredConstructorParameterTypes(ObjectCreationNode objectCreationNode,
                                             javax.lang.model.element.ExecutableElement constructorElt,
                                             AnnotatedTypeFactory atf)

Updates the parameter types of the constructor constructorElt based on the arguments in objectCreationNode.

Parameters:

objectCreationNode - the Node that invokes the constructor

constructorElt - the Element of the constructor

atf - the annotated type factory of a given type system, whose type hierarchy will be used to update the constructor's parameters' types

updateInferredMethodParameterTypes

void updateInferredMethodParameterTypes(MethodInvocationNode methodInvNode,
                                        com.sun.source.tree.Tree receiverTree,
                                        javax.lang.model.element.ExecutableElement methodElt,
                                        AnnotatedTypeFactory atf)

Updates the parameter types of the method methodElt based on the arguments in the method invocation methodInvNode.

Parameters:

methodInvNode - the node representing a method invocation

receiverTree - the Tree of the class that contains the method being invoked

methodElt - the element of the method being invoked

atf - the annotated type factory of a given type system, whose type hierarchy will be used to update the method parameters' types

updateInferredMethodParameterTypes

void updateInferredMethodParameterTypes(com.sun.source.tree.MethodTree methodTree,
                                        javax.lang.model.element.ExecutableElement methodElt,
                                        AnnotatedTypeMirror.AnnotatedExecutableType overriddenMethod,
                                        AnnotatedTypeFactory atf)

Updates the parameter types of the method methodTree based on the parameter types of the overridden method overriddenMethod.

Parameters:

methodTree - the tree of the method that contains the parameter(s)

methodElt - the element of the method

overriddenMethod - the AnnotatedExecutableType of the overridden method

atf - the annotated type factory of a given type system, whose type hierarchy will be used to update the parameter type

updateInferredMethodReceiverType

void updateInferredMethodReceiverType(com.sun.source.tree.MethodTree methodTree,
                                      javax.lang.model.element.ExecutableElement methodElt,
                                      AnnotatedTypeMirror.AnnotatedExecutableType overriddenMethod,
                                      AnnotatedTypeFactory atf)

Updates the receiver type of the method methodElt based on the receiver type of the overridden method overriddenMethod.

Parameters:

methodTree - the tree of the method that contains the receiver

methodElt - the element of the method

overriddenMethod - the AnnotatedExecutableType of the overridden method

atf - the annotated type factory of a given type system, whose type hierarchy will be used to update the receiver type

updateInferredParameterType

void updateInferredParameterType(LocalVariableNode parameter,
                                 Node rhs,
                                 com.sun.source.tree.ClassTree classTree,
                                 com.sun.source.tree.MethodTree methodTree,
                                 AnnotatedTypeFactory atf)

Updates the type of parameter based on an assignment of rhs to parameter.

Parameters:

parameter - the node representing the parameter

rhs - the node being assigned to the parameter in the method body

classTree - the tree of the class that contains the parameter

methodTree - the tree of the method that contains the parameter

atf - the annotated type factory of a given type system, whose type hierarchy will be used to update the parameter type

updateInferredFieldType

void updateInferredFieldType(FieldAccessNode field,
                             Node rhs,
                             com.sun.source.tree.ClassTree classTree,
                             AnnotatedTypeFactory atf)

Updates the type of field base on an assignment of rhs to field.

Parameters:

field - the field whose type will be refined

rhs - the expression being assigned to the field

classTree - the ClassTree for the enclosing class of the assignment

atf - the annotated type factory of a given type system, whose type hierarchy will be used to update the field's type

updateInferredMethodReturnType

void updateInferredMethodReturnType(ReturnNode returnedExpression,
                                    com.sun.tools.javac.code.Symbol.ClassSymbol classSymbol,
                                    com.sun.source.tree.MethodTree methodTree,
                                    AnnotatedTypeFactory atf)

Updates the return type of the method methodTree based on returnedExpression.

Parameters:

returnedExpression - the node that contains the expression returned

classSymbol - the symbol of the class that contains the method

methodTree - the tree of the method whose return type may be updated

atf - the annotated type factory of a given type system, whose type hierarchy will be used to update the method's return type

saveResults

void saveResults()

Saves the inferred results. Ideally should be called at the end of the type-checking process.