def indentBlock(block):
            cursor = cursorAtSpaceEnd(block)
            cursor.insertText(' ' if withSpace else self.text())
def bad(self, f, msg):
        self._matcher.bad(self._path + "/" + f, msg)