From 5218e203eb61eb930a7ad46ede483a40a9dca819 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Mon, 1 May 2023 08:01:04 -0700 Subject: [PATCH] Documentation for `checkMemberReferenceReceivers()` (#5819) --- .../checkerframework/common/basetype/BaseTypeVisitor.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java b/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java index c8db47f7f4a..9b4e11cf7c1 100644 --- a/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java +++ b/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java @@ -3962,6 +3962,12 @@ private void checkPreAndPostConditions() { overriderType, overriddenType, superCPostFalse2, subCPostFalse2, postfalsemsg); } + /** + * Issue a "methodref.receiver" or "methodref.receiver.bound" error if the receiver for the + * method reference does not satify overriding rules. + * + * @return true if the override is legal + */ private boolean checkMemberReferenceReceivers() { if (overriderType.getKind() == TypeKind.ARRAY) { // Assume the receiver for all method on arrays are @Top