Java: clarify predicate name in java/alert-suppression-annotations

This commit is contained in:
yh-semmle
2019-10-17 21:05:17 -04:00
parent d165ce95f2
commit f3a980deb6

View File

@@ -28,7 +28,7 @@ class SuppressionAnnotation extends SuppressWarningsAnnotation {
string getText() { result = getASuppressedWarningLiteral().getValue() }
/** Gets the LGTM suppression annotation in this Java annotation. */
string getAnnotation() { result = annotation }
string getAnnotationText() { result = annotation }
private Annotation getASiblingAnnotation() {
result = getAnnotatedElement().(Annotatable).getAnAnnotation() and
@@ -98,5 +98,5 @@ class SuppressionScope extends @annotation {
from SuppressionAnnotation c
select c, // suppression comment
c.getText(), // text of suppression comment (excluding delimiters)
c.getAnnotation(), // text of suppression annotation
c.getAnnotationText(), // text of suppression annotation
c.getScope() // scope of suppression