Member predicate StringPart::contextSize
Holds if the content of string StringPart is surrounded by
a prefix (including a quote) of length prefixLength and
a quote of length quoteLength.
predicate contextSize(int prefixLength, int quoteLength)Holds if the content of string StringPart is surrounded by
a prefix (including a quote) of length prefixLength and
a quote of length quoteLength.
predicate contextSize(int prefixLength, int quoteLength)