Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix typos #554

Merged
merged 7 commits into from
Aug 17, 2023
Merged
Show file tree
Hide file tree
Changes from 5 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -168,7 +168,7 @@ public TransferResult<V, S> visitAssignment(AssignmentNode n, TransferInput<V, S
}

/**
* If an invariant field is initialized and has the invariant annotation, than it has at least
* If an invariant field is initialized and has the invariant annotation, then it has at least
* the invariant annotation. Note that only fields of the 'this' receiver are tracked for
* initialization.
*/
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,10 @@
*
* @checker_framework.manual #optional-checker Optional Checker
*/
// TODO: For a call to ofNullable, if the argument has type @NonNull, make the return type have type
// @Present. Make Optional Checker a subchecker of the Nullness Checker.
// TODO: For a call to of Nullable, if the argument has type @NonNull, make the return type have
Ao-senXiong marked this conversation as resolved.
Show resolved Hide resolved
// type @Present. Make Optional Checker a subchecker of the Nullness Checker.
@RelevantJavaTypes(Optional.class)
public class OptionalChecker extends BaseTypeChecker {}
public class OptionalChecker extends BaseTypeChecker {
/** Default constructor for OptionalChecker. */
public OptionalChecker() {}
}
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ public class FieldAccessNode extends Node {
* Creates a new FieldAccessNode.
*
* @param tree the tree from which to create a FieldAccessNode
* @param receiver the receiver for the resuling FieldAccessNode
* @param receiver the receiver for the resulting FieldAccessNode
*/
public FieldAccessNode(Tree tree, Node receiver) {
super(TreeUtils.typeOf(tree));
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -589,7 +589,7 @@ protected TransferResult<V, S> createTransferResult(@Nullable V value, TransferI
*
* @param value the value; possibly null
* @param in the TransferResult to copy
* @return the input informatio
* @return the input information
*/
@SideEffectFree
protected TransferResult<V, S> recreateTransferResult(
Expand Down
Loading