public Map<String, GrammarAST> getOptions() {
		if (options == null) {
			return Collections.emptyMap();
		}

		return options;
	}
Gets AST node holding value for option key; ignores default options
 and command-line forced options.
tool/src/org/antlr/v4/tool/ast/GrammarASTWithOptions.java