Lines Matching defs:leadingDigitsPatternSize
58 for (int i = 0; i < other.leadingDigitsPatternSize(); i++) {
105 public int leadingDigitsPatternSize() { return leadingDigitsPattern_.size(); }
162 int leadingDigitsPatternSize = leadingDigitsPatternSize();
163 objectOutput.writeInt(leadingDigitsPatternSize);
164 for (int i = 0; i < leadingDigitsPatternSize; i++) {
182 int leadingDigitsPatternSize = objectInput.readInt();
183 for (int i = 0; i < leadingDigitsPatternSize; i++) {
