Adds the specified table entries. @param start first node to be added @param end last node to be added
(final int start, final int end)
| 44 | * @param end last node to be added |
| 45 | */ |
| 46 | public void add(final int start, final int end) { |
| 47 | final int ps = Math.max(0, start), pe = Math.min(data.meta.size, end); |
| 48 | for(int p = ps; p < pe; ++p) add(p); |
| 49 | final byte[] ns = data.nspaces.table(ps, pe); |
| 50 | if(ns.length != 0) nsp.add(NL).add(ns).add(data.nspaces.toString(ps, pe)).add(NL); |
| 51 | } |
| 52 | |
| 53 | /** |
| 54 | * Adds an entry for the specified PRE value. |