Skip to content

Commit

Permalink
Update javadoc and comment
Browse files Browse the repository at this point in the history
  • Loading branch information
Ao-senXiong committed Mar 8, 2024
1 parent 53b76fa commit b728b02
Showing 1 changed file with 1 addition and 10 deletions.
11 changes: 1 addition & 10 deletions src/checkers/inference/InferenceAnnotatedTypeFactory.java
Original file line number Diff line number Diff line change
Expand Up @@ -376,22 +376,13 @@ public Boolean visitDeclared(AnnotatedDeclaredType type, Void p) {
}
};

/**
* TODO: Similar but not the same as AnnotatedTypeFactory.constructorFromUse with space set aside from
* TODO: comb constraints, track down the differences with constructorFromUse
* Note: super() and this() calls
* @see org.checkerframework.checker.type.AnnotatedTypeFactory#constructorFromUse(com.sun.source.tree.NewClassTree)
*
* @param newClassTree
* @return
*/
@Override
public ParameterizedExecutableType constructorFromUse(final NewClassTree newClassTree) {
assert newClassTree != null : "NewClassTree was null when attempting to get constructorFromUse. " +
"Current path:\n" + getVisitorTreePath();

final ExecutableElement constructorElem = TreeUtils.elementFromUse(newClassTree);

// Get constructorReturnType for add equality constraint by calling addComputedTypeAnnotations
AnnotatedDeclaredType constructorReturnType =
(AnnotatedDeclaredType) toAnnotatedType(TreeUtils.typeOf(newClassTree), false);
addComputedTypeAnnotations(newClassTree, constructorReturnType);
Expand Down

0 comments on commit b728b02

Please sign in to comment.