| 1193 | } |
| 1194 | |
| 1195 | PathName operator[](const PathName& keyType) const |
| 1196 | { |
| 1197 | unsigned pos = getPos(keyType); |
| 1198 | if (pos == ~0u) |
| 1199 | return ""; |
| 1200 | |
| 1201 | PathName rc; |
| 1202 | knownTypes[pos].value(rc); |
| 1203 | return rc; |
| 1204 | } |
| 1205 | |
| 1206 | SpecificPlugins getSpecific(const PathName& keyType) |
| 1207 | { |