equal
deleted
inserted
replaced
151 public int getFoldingOffset(int value){ |
151 public int getFoldingOffset(int value){ |
152 return value; |
152 return value; |
153 } |
153 } |
154 } |
154 } |
155 |
155 |
156 // CharTrie implmentation for reading the trie data |
156 // CharTrie implementation for reading the trie data |
157 private StringPrepTrieImpl sprepTrieImpl; |
157 private StringPrepTrieImpl sprepTrieImpl; |
158 // Indexes read from the data file |
158 // Indexes read from the data file |
159 private int[] indexes; |
159 private int[] indexes; |
160 // mapping data read from the data file |
160 // mapping data read from the data file |
161 private char[] mappingData; |
161 private char[] mappingData; |