CodeQL library for Java
codeql/java-all 0.6.2 ( changelog , source )

Member predicate RegexString :: quantifiedPart

Holds if a quantified part is found between start and part_end and the quantifier is found between part_end and end.

maybe_empty is true if the part is optional. may_repeat_forever is true if the part may be repeated unboundedly.

predicate quantifiedPart ( int start , int part_end , int end , boolean maybe_empty , boolean may_repeat_forever )