Lines Matching refs:codeLength

33     $(LREF codeLength)
422         enforce(stride(s, i) == codeLength!char(c),
425         enforce(stride(RandomCU!char(s), i) == codeLength!char(c),
430         enforce(stride(refRandom, i) == codeLength!char(c),
437             enforce(stride(s) == codeLength!char(c),
440             enforce(stride(InputCU!char(s)) == codeLength!char(c),
445             enforce(stride(refBidir) == codeLength!char(c),
532         enforce(stride(s, i) == codeLength!wchar(c),
535         enforce(stride(RandomCU!wchar(s), i) == codeLength!wchar(c),
540         enforce(stride(refRandom, i) == codeLength!wchar(c),
547             enforce(stride(s) == codeLength!wchar(c),
550             enforce(stride(InputCU!wchar(s)) == codeLength!wchar(c),
555             enforce(stride(refBidir) == codeLength!wchar(c),
622         enforce(stride(s, i) == codeLength!dchar(c),
625         enforce(stride(RandomCU!dchar(s), i) == codeLength!dchar(c),
630         enforce(stride(refRandom, i) == codeLength!dchar(c),
637             enforce(stride(s) == codeLength!dchar(c),
640             enforce(stride(InputCU!dchar(s)) == codeLength!dchar(c),
645             enforce(stride(refBidir) == codeLength!dchar(c),
780         enforce(strideBack(s, i == size_t.max ? s.length : i) == codeLength!char(c),
783         enforce(strideBack(RandomCU!char(s), i == size_t.max ? s.length : i) == codeLength!char(c),
788         enforce(strideBack(refRandom, i == size_t.max ? s.length : i) == codeLength!char(c),
795             enforce(strideBack(s) == codeLength!char(c),
798             enforce(strideBack(BidirCU!char(s)) == codeLength!char(c),
803             enforce(strideBack(refBidir) == codeLength!char(c),
878         enforce(strideBack(s, i == size_t.max ? s.length : i) == codeLength!wchar(c),
881 …      enforce(strideBack(RandomCU!wchar(s), i == size_t.max ? s.length : i) == codeLength!wchar(c),
886         enforce(strideBack(refRandom, i == size_t.max ? s.length : i) == codeLength!wchar(c),
893             enforce(strideBack(s) == codeLength!wchar(c),
896             enforce(strideBack(BidirCU!wchar(s)) == codeLength!wchar(c),
901             enforce(strideBack(refBidir) == codeLength!wchar(c),
974         enforce(strideBack(s, i == size_t.max ? s.length : i) == codeLength!dchar(c),
977 …      enforce(strideBack(RandomCU!dchar(s), i == size_t.max ? s.length : i) == codeLength!dchar(c),
982         enforce(strideBack(refRandom, i == size_t.max ? s.length : i) == codeLength!dchar(c),
989             enforce(strideBack(s) == codeLength!dchar(c),
992             enforce(strideBack(BidirCU!dchar(s)) == codeLength!dchar(c),
997             enforce(strideBack(refBidir) == codeLength!dchar(c),