| 133 | } |
| 134 | |
| 135 | public String strings() { |
| 136 | StringBuilder buf = new StringBuilder(); |
| 137 | int addr = 0; |
| 138 | if ( code.strings!=null ) { |
| 139 | for (Object o : code.strings) { |
| 140 | if ( o instanceof String ) { |
| 141 | String s = (String)o; |
| 142 | s = Misc.replaceEscapes(s); |
| 143 | buf.append(String.format("%04d: \"%s\"\n", addr, s)); |
| 144 | } |
| 145 | else { |
| 146 | buf.append(String.format("%04d: %s\n", addr, o)); |
| 147 | } |
| 148 | addr++; |
| 149 | } |
| 150 | } |
| 151 | return buf.toString(); |
| 152 | } |
| 153 | |
| 154 | public String sourceMap() { |
| 155 | StringBuilder buf = new StringBuilder(); |