/** Add a new import comment. */ public void AddImportDocComment(JSGFRuleName imp, String comment) { Java.Put(_importDocComments, imp.ToString(), comment); }
/** Retrieve an import comment. */ public String GetImportDocComment(JSGFRuleName imp) { return(_importDocComments.getProperty(imp.ToString(), null)); }