/** Retrieve a RuleGrammar comment. */ public String GetRuleDocComment(String rname) { return(_ruleDocComments.getProperty(rname, null)); }
/** Retrieve an import comment. */ public String GetImportDocComment(JSGFRuleName imp) { return(_importDocComments.getProperty(imp.ToString(), null)); }