(String prefix)
| 153 | } |
| 154 | |
| 155 | protected int getPrefixCountSize(String prefix) { |
| 156 | Integer index = nextVarIndex.get(prefix); |
| 157 | |
| 158 | if (index == null) return 0; |
| 159 | |
| 160 | return index.intValue(); |
| 161 | } |
| 162 | |
| 163 | protected int allocateNextPrefixedName(String prefix) { |
| 164 | int index = getPrefixCountSize(prefix); |
no test coverage detected