diff --git a/java/ql/src/Telemetry/AutomodelSharedCharacteristics.qll b/java/ql/src/Telemetry/AutomodelSharedCharacteristics.qll index 08486b214d5..a0a2b3f1159 100644 --- a/java/ql/src/Telemetry/AutomodelSharedCharacteristics.qll +++ b/java/ql/src/Telemetry/AutomodelSharedCharacteristics.qll @@ -53,17 +53,17 @@ signature module CandidateSig { predicate isKnownKind(string kind, string humanReadableLabel, EndpointType type); /** - * Should hold for any endpoint that is a flow sanitizer. + * Holds if `e` is a flow sanitizer, and has type `t`. */ predicate isSanitizer(Endpoint e, EndpointType t); /** - * Should hold for any endpoint that is a sink of the given (known or unknown) kind. + * Holds if `e` is a sink with the label `label`. */ predicate isSink(Endpoint e, string kind); /** - * Should hold for any endpoint that is known to not be any sink. + * Holds if `e` is not a sink of any kind. */ predicate isNeutral(Endpoint e);