Lines Matching refs:checker

515             return Page(text, url, maxpage=self.maxpage, checker=self)
663     def __init__(self, text, url, verbose=VERBOSE, maxpage=MAXPAGE, checker=None):  argument
668         self.checker = checker
679         self.checker.note(2, "  Parsing %s (%d bytes)", self.url, size)
681                                    checker=self.checker)
686         if self.checker:
687             apply(self.checker.note, (level, msg) + args)
779     def __init__(self, url, verbose=VERBOSE, checker=None):  argument
781         self.checker = checker
798                     self.checker.message("WARNING: duplicate ID name %s in %s",
879                     if self.checker:
880                         self.checker.note(1, "  Base %s", value)