()
| 153 | } |
| 154 | |
| 155 | public String sourceMap() { |
| 156 | StringBuilder buf = new StringBuilder(); |
| 157 | int addr = 0; |
| 158 | for (Interval I : code.sourceMap) { |
| 159 | if ( I!=null ) { |
| 160 | String chunk = code.template.substring(I.a, I.b+1); |
| 161 | buf.append(String.format("%04d: %s\t\"%s\"\n", addr, I, chunk)); |
| 162 | } |
| 163 | addr++; |
| 164 | } |
| 165 | return buf.toString(); |
| 166 | } |
| 167 | } |