public int getNumberOfOptions() {
		return options==null ? 0 : options.size();
	}
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