Apply suggestions from code review

Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
yoff
2025-10-21 12:52:59 +02:00
committed by GitHub
parent 3a0a8999d5
commit 715acefacc
2 changed files with 1 additions and 2 deletions

View File

@@ -263,7 +263,6 @@ class ClassAnnotatedAsThreadSafe extends Class {
not m0.isPublic() and
c.getCallee().getSourceDeclaration() = m0 and
c = e and
// consider allowing idempotent monitors
not Monitors::locallyMonitors(e, monitor) and
m.getDeclaringType() = this
)

View File

@@ -41,7 +41,7 @@ predicate not_fully_monitored_field(
cls.has_public_write_access(f)
) and
msg =
"The field $@ is not properly synchronized in that no single monitor covers all accesses, but the class $@ is annotated as @ThreadSafe." and
"This field is not properly synchronized in that no single monitor covers all accesses, but the class $@ is annotated as @ThreadSafe." and
cls_name = cls.getName()
}