Searched refs:makeIdentifierFromFilename (Results 1 – 1 of 1) sorted by relevance
163 …""".format(id=self.makeIdentifierFromFilename(fileChecker.filename), relativefn=html.escape(self.g…182 """.format(id=self.makeIdentifierFromFilename(fileChecker.filename)))190 """.format(id=self.makeIdentifierFromFilename(fileChecker.filename)))339 … """.format(id=self.makeIdentifierFromFilename(filename), fn=self.getRelativeFilename(filename)))343 id=self.makeIdentifierFromFilename(filename),423 def makeIdentifierFromFilename(self, fn): member in HTMLPrinter430 self.makeIdentifierFromFilename(context.filename), context.lineNum)