Skip to content

Commit 3365634

Browse files
author
Benjamin Muskalla
committed
Expose csv parameter format predicate
1 parent aab633e commit 3365634

File tree

1 file changed

+7
-3
lines changed

1 file changed

+7
-3
lines changed

java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -614,9 +614,13 @@ private string paramsStringPart(Callable c, int i) {
614614
i = 2 * c.getNumberOfParameters() and result = ")"
615615
}
616616

617-
private string paramsString(Callable c) {
618-
result = concat(int i | | paramsStringPart(c, i) order by i)
619-
}
617+
/**
618+
* Gets a parenthesized string containing all parameter types of this callable, separated by a comma.
619+
*
620+
* Returns the empty string if the callable has no parameters.
621+
* Parameter types are represented by their type erasure.
622+
*/
623+
string paramsString(Callable c) { result = concat(int i | | paramsStringPart(c, i) order by i) }
620624

621625
private Element interpretElement0(
622626
string namespace, string type, boolean subtypes, string name, string signature

0 commit comments

Comments
 (0)