Line data Source code
1 : // Copyright (C) 2010 The Android Open Source Project 2 : // 3 : // Licensed under the Apache License, Version 2.0 (the "License"); 4 : // you may not use this file except in compliance with the License. 5 : // You may obtain a copy of the License at 6 : // 7 : // http://www.apache.org/licenses/LICENSE-2.0 8 : // 9 : // Unless required by applicable law or agreed to in writing, software 10 : // distributed under the License is distributed on an "AS IS" BASIS, 11 : // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 : // See the License for the specific language governing permissions and 13 : // limitations under the License. 14 : 15 : package com.google.gerrit.server.patch; 16 : 17 : import org.eclipse.jgit.diff.Sequence; 18 : 19 : class CharText extends Sequence { 20 : private final String content; 21 : 22 6 : CharText(Text text, int s, int e) { 23 6 : content = text.getString(s, e, false /* keep LF */); 24 6 : } 25 : 26 : char charAt(int idx) { 27 6 : return content.charAt(idx); 28 : } 29 : 30 : boolean isLineStart(int b) { 31 6 : return b == 0 || charAt(b - 1) == '\n'; 32 : } 33 : 34 : boolean contains(int b, int e, char c) { 35 6 : for (; b < e; b++) { 36 6 : if (charAt(b) == c) { 37 1 : return true; 38 : } 39 : } 40 6 : return false; 41 : } 42 : 43 : @Override 44 : public int size() { 45 6 : return content.length(); 46 : } 47 : }