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