()
| 142 | |
| 143 | |
| 144 | public String strings() { |
| 145 | StringBuilder buf = new StringBuilder(); |
| 146 | int addr = 0; |
| 147 | if ( code.strings!=null ) { |
| 148 | for (Object o : code.strings) { |
| 149 | if ( o instanceof String ) { |
| 150 | String s = (String)o; |
| 151 | s = Misc.replaceEscapes(s); |
| 152 | buf.append(String.format("%04d: \"%s\"\n", addr, s)); |
| 153 | } |
| 154 | else { |
| 155 | buf.append(String.format("%04d: %s\n", addr, o)); |
| 156 | } |
| 157 | addr++; |
| 158 | } |
| 159 | } |
| 160 | return buf.toString(); |
| 161 | } |
| 162 | |
| 163 | |
| 164 | public String sourceMap() { |