public final ParserExtension getExtension(String key) {return this.extensions.get(key);}
public ParserExtension GetExtension(string key){if (key == null || !this.extensions.TryGetValue(key, out ParserExtension value)) return null;return value;}