public Object getOption(String key) { return delegateGrammarTreeRoot.getOption(key); }
public Object getOption(String key) { return delegateGrammarTreeRoot.getOption(key); }
public Object getOption(String key) { return delegateGrammarTreeRoot.getOption(key); }
public Object getOption(String key) { return delegateGrammarTreeRoot.getOption(key); }
/** Find an option by looking up towards the root grammar rather than down */ public Object getOption(String key) { Object o = grammar.getLocallyDefinedOption(key); if ( o!=null ) { return o; } if ( parent!=null ) { return parent.getOption(key); } return null; // not found }
/** Find an option by looking up towards the root grammar rather than down */ public Object getOption(String key) { Object o = grammar.getLocallyDefinedOption(key); if ( o!=null ) { return o; } if ( parent!=null ) { return parent.getOption(key); } return null; // not found }
/** Find an option by looking up towards the root grammar rather than down */ public Object getOption(String key) { if ( grammar.tool!=null && key!=null && key.equals("language") && grammar.tool.forcedLanguageOption!=null ) { return grammar.tool.forcedLanguageOption; } Object o = grammar.getLocallyDefinedOption(key); if ( o!=null ) { return o; } if ( parent!=null ) { return parent.getOption(key); } return null; // not found }
/** Find an option by looking up towards the root grammar rather than down */ public Object getOption(String key) { if ( grammar.tool!=null && key!=null && key.equals("language") && grammar.tool.forcedLanguageOption!=null ) { return grammar.tool.forcedLanguageOption; } Object o = grammar.getLocallyDefinedOption(key); if ( o!=null ) { return o; } if ( parent!=null ) { return parent.getOption(key); } return null; // not found }