Appends an ID to the ID list specified by n. @param id ID value @param pos token position (only relevant for token index) @param n ID list to append to
(final int id, final int pos, final int n)
| 169 | * @param n ID list to append to |
| 170 | */ |
| 171 | private void addIds(final int id, final int pos, final int n) { |
| 172 | byte[] vs = ids.get(n); |
| 173 | vs = Num.add(vs, id); |
| 174 | if(tokenize) vs = Num.add(vs, pos); |
| 175 | ids.set(n, vs); |
| 176 | } |
| 177 | |
| 178 | /** |
| 179 | * Creates a new node. |