Predicate Impl :: isPossessive
Holds if term is a possessive quantifier, e.g. a*+.
Import path
import semmle.code.java.regex.RegexTreeView
predicate
isPossessive
(
RegExpQuantifier
term
)