(String prefix)
| 161 | } |
| 162 | |
| 163 | protected int allocateNextPrefixedName(String prefix) { |
| 164 | int index = getPrefixCountSize(prefix); |
| 165 | |
| 166 | nextVarIndex.put(prefix, index + 1); |
| 167 | |
| 168 | return index; |
| 169 | } |
| 170 | |
| 171 | public Label getNewLabel(String prefix) { |
| 172 | return new Label(prefix, allocateNextPrefixedName(prefix)); |
no test coverage detected