Lines Matching full:invariant
825 // Invariant: what was in sub[0:start] has been Decref'ed
828 // Invariant: sub[start:i] consists of regexps that all begin
887 // Invariant: what was in sub[0:start] has been Decref'ed
890 // Invariant: sub[start:i] consists of regexps that all begin with first.
933 // Invariant: what was in sub[0:start] has been Decref'ed
936 // Invariant: sub[start:i] consists of regexps that are either
