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)