| Index: third_party/pylint/checkers/format.py
|
| diff --git a/third_party/pylint/checkers/format.py b/third_party/pylint/checkers/format.py
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..0784e6af7773e70b89857a9ca5fe925ad05035d0
|
| --- /dev/null
|
| +++ b/third_party/pylint/checkers/format.py
|
| @@ -0,0 +1,361 @@
|
| +# Copyright (c) 2003-2010 Sylvain Thenault (thenault@gmail.com).
|
| +# Copyright (c) 2003-2010 LOGILAB S.A. (Paris, FRANCE).
|
| +# This program is free software; you can redistribute it and/or modify it under
|
| +# the terms of the GNU General Public License as published by the Free Software
|
| +# Foundation; either version 2 of the License, or (at your option) any later
|
| +# version.
|
| +#
|
| +# This program is distributed in the hope that it will be useful, but WITHOUT
|
| +# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
|
| +# FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
|
| +#
|
| +# You should have received a copy of the GNU General Public License along with
|
| +# this program; if not, write to the Free Software Foundation, Inc.,
|
| +# 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
| +"""Python code format's checker.
|
| +
|
| +By default try to follow Guido's style guide :
|
| +
|
| +http://www.python.org/doc/essays/styleguide.html
|
| +
|
| +Some parts of the process_token method is based from The Tab Nanny std module.
|
| +"""
|
| +
|
| +import re, sys
|
| +import tokenize
|
| +if not hasattr(tokenize, 'NL'):
|
| + raise ValueError("tokenize.NL doesn't exist -- tokenize module too old")
|
| +
|
| +from logilab.common.textutils import pretty_match
|
| +from logilab.astng import nodes
|
| +
|
| +from pylint.interfaces import IRawChecker, IASTNGChecker
|
| +from pylint.checkers import BaseRawChecker
|
| +from pylint.checkers.utils import check_messages
|
| +
|
| +MSGS = {
|
| + 'C0301': ('Line too long (%s/%s)',
|
| + 'Used when a line is longer than a given number of characters.'),
|
| + 'C0302': ('Too many lines in module (%s)', # was W0302
|
| + 'Used when a module has too much lines, reducing its readability.'
|
| + ),
|
| +
|
| + 'W0311': ('Bad indentation. Found %s %s, expected %s',
|
| + 'Used when an unexpected number of indentation\'s tabulations or '
|
| + 'spaces has been found.'),
|
| + 'W0312': ('Found indentation with %ss instead of %ss',
|
| + 'Used when there are some mixed tabs and spaces in a module.'),
|
| + 'W0301': ('Unnecessary semicolon', # was W0106
|
| + 'Used when a statement is ended by a semi-colon (";"), which \
|
| + isn\'t necessary (that\'s python, not C ;).'),
|
| + 'C0321': ('More than one statement on a single line',
|
| + 'Used when more than on statement are found on the same line.'),
|
| + 'C0322': ('Operator not preceded by a space\n%s',
|
| + 'Used when one of the following operator (!= | <= | == | >= | < '
|
| + '| > | = | \+= | -= | \*= | /= | %) is not preceded by a space.'),
|
| + 'C0323': ('Operator not followed by a space\n%s',
|
| + 'Used when one of the following operator (!= | <= | == | >= | < '
|
| + '| > | = | \+= | -= | \*= | /= | %) is not followed by a space.'),
|
| + 'C0324': ('Comma not followed by a space\n%s',
|
| + 'Used when a comma (",") is not followed by a space.'),
|
| + }
|
| +
|
| +if sys.version_info < (3, 0):
|
| +
|
| + MSGS.update({
|
| + 'W0331': ('Use of the <> operator',
|
| + 'Used when the deprecated "<>" operator is used instead \
|
| + of "!=".'),
|
| + 'W0332': ('Use l as long integer identifier',
|
| + 'Used when a lower case "l" is used to mark a long integer. You '
|
| + 'should use a upper case "L" since the letter "l" looks too much '
|
| + 'like the digit "1"'),
|
| + 'W0333': ('Use of the `` operator',
|
| + 'Used when the deprecated "``" (backtick) operator is used '
|
| + 'instead of the str() function.'),
|
| + })
|
| +
|
| +# simple quoted string rgx
|
| +SQSTRING_RGX = r'"([^"\\]|\\.)*?"'
|
| +# simple apostrophed rgx
|
| +SASTRING_RGX = r"'([^'\\]|\\.)*?'"
|
| +# triple quoted string rgx
|
| +TQSTRING_RGX = r'"""([^"]|("(?!"")))*?(""")'
|
| +# triple apostrophed string rgx # FIXME english please
|
| +TASTRING_RGX = r"'''([^']|('(?!'')))*?(''')"
|
| +
|
| +# finally, the string regular expression
|
| +STRING_RGX = re.compile('(%s)|(%s)|(%s)|(%s)' % (TQSTRING_RGX, TASTRING_RGX,
|
| + SQSTRING_RGX, SASTRING_RGX),
|
| + re.MULTILINE|re.DOTALL)
|
| +
|
| +COMMENT_RGX = re.compile("#.*$", re.M)
|
| +
|
| +OPERATORS = r'!=|<=|==|>=|<|>|=|\+=|-=|\*=|/=|%'
|
| +
|
| +OP_RGX_MATCH_1 = r'[^(]*(?<!\s|\^|<|>|=|\+|-|\*|/|!|%%|&|\|)(%s).*' % OPERATORS
|
| +OP_RGX_SEARCH_1 = r'(?<!\s|\^|<|>|=|\+|-|\*|/|!|%%|&|\|)(%s)' % OPERATORS
|
| +
|
| +OP_RGX_MATCH_2 = r'[^(]*(%s)(?!\s|=|>|<).*' % OPERATORS
|
| +OP_RGX_SEARCH_2 = r'(%s)(?!\s|=|>)' % OPERATORS
|
| +
|
| +BAD_CONSTRUCT_RGXS = (
|
| +
|
| + (re.compile(OP_RGX_MATCH_1, re.M),
|
| + re.compile(OP_RGX_SEARCH_1, re.M),
|
| + 'C0322'),
|
| +
|
| + (re.compile(OP_RGX_MATCH_2, re.M),
|
| + re.compile(OP_RGX_SEARCH_2, re.M),
|
| + 'C0323'),
|
| +
|
| + (re.compile(r'.*,[^(\s|\]|}|\))].*', re.M),
|
| + re.compile(r',[^\s)]', re.M),
|
| + 'C0324'),
|
| + )
|
| +
|
| +
|
| +def get_string_coords(line):
|
| + """return a list of string positions (tuple (start, end)) in the line
|
| + """
|
| + result = []
|
| + for match in re.finditer(STRING_RGX, line):
|
| + result.append( (match.start(), match.end()) )
|
| + return result
|
| +
|
| +def in_coords(match, string_coords):
|
| + """return true if the match is in the string coord"""
|
| + mstart = match.start()
|
| + for start, end in string_coords:
|
| + if mstart >= start and mstart < end:
|
| + return True
|
| + return False
|
| +
|
| +def check_line(line):
|
| + """check a line for a bad construction
|
| + if it founds one, return a message describing the problem
|
| + else return None
|
| + """
|
| + cleanstr = COMMENT_RGX.sub('', STRING_RGX.sub('', line))
|
| + for rgx_match, rgx_search, msg_id in BAD_CONSTRUCT_RGXS:
|
| + if rgx_match.match(cleanstr):
|
| + string_positions = get_string_coords(line)
|
| + for match in re.finditer(rgx_search, line):
|
| + if not in_coords(match, string_positions):
|
| + return msg_id, pretty_match(match, line.rstrip())
|
| +
|
| +
|
| +class FormatChecker(BaseRawChecker):
|
| + """checks for :
|
| + * unauthorized constructions
|
| + * strict indentation
|
| + * line length
|
| + * use of <> instead of !=
|
| + """
|
| +
|
| + __implements__ = (IRawChecker, IASTNGChecker)
|
| +
|
| + # configuration section name
|
| + name = 'format'
|
| + # messages
|
| + msgs = MSGS
|
| + # configuration options
|
| + # for available dict keys/values see the optik parser 'add_option' method
|
| + options = (('max-line-length',
|
| + {'default' : 80, 'type' : "int", 'metavar' : '<int>',
|
| + 'help' : 'Maximum number of characters on a single line.'}),
|
| + ('max-module-lines',
|
| + {'default' : 1000, 'type' : 'int', 'metavar' : '<int>',
|
| + 'help': 'Maximum number of lines in a module'}
|
| + ),
|
| + ('indent-string',
|
| + {'default' : ' ', 'type' : "string", 'metavar' : '<string>',
|
| + 'help' : 'String used as indentation unit. This is usually \
|
| +" " (4 spaces) or "\\t" (1 tab).'}),
|
| + )
|
| + def __init__(self, linter=None):
|
| + BaseRawChecker.__init__(self, linter)
|
| + self._lines = None
|
| + self._visited_lines = None
|
| +
|
| + def process_module(self, node):
|
| + """extracts encoding from the stream and decodes each line, so that
|
| + international text's length is properly calculated.
|
| + """
|
| + stream = node.file_stream
|
| + stream.seek(0) # XXX may be removed with astng > 0.23
|
| + readline = stream.readline
|
| + if sys.version_info < (3, 0):
|
| + if node.file_encoding is not None:
|
| + readline = lambda: stream.readline().decode(node.file_encoding, 'replace')
|
| + self.process_tokens(tokenize.generate_tokens(readline))
|
| +
|
| + def new_line(self, tok_type, line, line_num, junk):
|
| + """a new line has been encountered, process it if necessary"""
|
| + if not tok_type in junk:
|
| + self._lines[line_num] = line.split('\n')[0]
|
| + self.check_lines(line, line_num)
|
| +
|
| + def process_tokens(self, tokens):
|
| + """process tokens and search for :
|
| +
|
| + _ non strict indentation (i.e. not always using the <indent> parameter as
|
| + indent unit)
|
| + _ too long lines (i.e. longer than <max_chars>)
|
| + _ optionally bad construct (if given, bad_construct must be a compiled
|
| + regular expression).
|
| + """
|
| + indent = tokenize.INDENT
|
| + dedent = tokenize.DEDENT
|
| + newline = tokenize.NEWLINE
|
| + junk = (tokenize.COMMENT, tokenize.NL)
|
| + indents = [0]
|
| + check_equal = 0
|
| + line_num = 0
|
| + previous = None
|
| + self._lines = {}
|
| + self._visited_lines = {}
|
| + for (tok_type, token, start, _, line) in tokens:
|
| + if start[0] != line_num:
|
| + if previous is not None and previous[0] == tokenize.OP and previous[1] == ';':
|
| + self.add_message('W0301', line=previous[2])
|
| + previous = None
|
| + line_num = start[0]
|
| + self.new_line(tok_type, line, line_num, junk)
|
| + if tok_type not in (indent, dedent, newline) + junk:
|
| + previous = tok_type, token, start[0]
|
| +
|
| + if tok_type == tokenize.OP:
|
| + if token == '<>':
|
| + self.add_message('W0331', line=line_num)
|
| + elif tok_type == tokenize.NUMBER:
|
| + if token.endswith('l'):
|
| + self.add_message('W0332', line=line_num)
|
| +
|
| + elif tok_type == newline:
|
| + # a program statement, or ENDMARKER, will eventually follow,
|
| + # after some (possibly empty) run of tokens of the form
|
| + # (NL | COMMENT)* (INDENT | DEDENT+)?
|
| + # If an INDENT appears, setting check_equal is wrong, and will
|
| + # be undone when we see the INDENT.
|
| + check_equal = 1
|
| +
|
| + elif tok_type == indent:
|
| + check_equal = 0
|
| + self.check_indent_level(token, indents[-1]+1, line_num)
|
| + indents.append(indents[-1]+1)
|
| +
|
| + elif tok_type == dedent:
|
| + # there's nothing we need to check here! what's important is
|
| + # that when the run of DEDENTs ends, the indentation of the
|
| + # program statement (or ENDMARKER) that triggered the run is
|
| + # equal to what's left at the top of the indents stack
|
| + check_equal = 1
|
| + if len(indents) > 1:
|
| + del indents[-1]
|
| +
|
| + elif check_equal and tok_type not in junk:
|
| + # this is the first "real token" following a NEWLINE, so it
|
| + # must be the first token of the next program statement, or an
|
| + # ENDMARKER; the "line" argument exposes the leading whitespace
|
| + # for this statement; in the case of ENDMARKER, line is an empty
|
| + # string, so will properly match the empty string with which the
|
| + # "indents" stack was seeded
|
| + check_equal = 0
|
| + self.check_indent_level(line, indents[-1], line_num)
|
| +
|
| + line_num -= 1 # to be ok with "wc -l"
|
| + if line_num > self.config.max_module_lines:
|
| + self.add_message('C0302', args=line_num, line=1)
|
| +
|
| + @check_messages('C0321' ,'C03232', 'C0323', 'C0324')
|
| + def visit_default(self, node):
|
| + """check the node line number and check it if not yet done"""
|
| + if not node.is_statement:
|
| + return
|
| + if not node.root().pure_python:
|
| + return # XXX block visit of child nodes
|
| + prev_sibl = node.previous_sibling()
|
| + if prev_sibl is not None:
|
| + prev_line = prev_sibl.fromlineno
|
| + else:
|
| + prev_line = node.parent.statement().fromlineno
|
| + line = node.fromlineno
|
| + assert line, node
|
| + if prev_line == line and self._visited_lines.get(line) != 2:
|
| + # py2.5 try: except: finally:
|
| + if not (isinstance(node, nodes.TryExcept)
|
| + and isinstance(node.parent, nodes.TryFinally)
|
| + and node.fromlineno == node.parent.fromlineno):
|
| + self.add_message('C0321', node=node)
|
| + self._visited_lines[line] = 2
|
| + return
|
| + if line in self._visited_lines:
|
| + return
|
| + try:
|
| + tolineno = node.blockstart_tolineno
|
| + except AttributeError:
|
| + tolineno = node.tolineno
|
| + assert tolineno, node
|
| + lines = []
|
| + for line in xrange(line, tolineno + 1):
|
| + self._visited_lines[line] = 1
|
| + try:
|
| + lines.append(self._lines[line].rstrip())
|
| + except KeyError:
|
| + lines.append('')
|
| + try:
|
| + msg_def = check_line('\n'.join(lines))
|
| + if msg_def:
|
| + self.add_message(msg_def[0], node=node, args=msg_def[1])
|
| + except KeyError:
|
| + # FIXME: internal error !
|
| + pass
|
| +
|
| + @check_messages('W0333')
|
| + def visit_backquote(self, node):
|
| + self.add_message('W0333', node=node)
|
| +
|
| + def check_lines(self, lines, i):
|
| + """check lines have less than a maximum number of characters
|
| + """
|
| + max_chars = self.config.max_line_length
|
| + for line in lines.splitlines():
|
| + if len(line) > max_chars:
|
| + self.add_message('C0301', line=i, args=(len(line), max_chars))
|
| + i += 1
|
| +
|
| + def check_indent_level(self, string, expected, line_num):
|
| + """return the indent level of the string
|
| + """
|
| + indent = self.config.indent_string
|
| + if indent == '\\t': # \t is not interpreted in the configuration file
|
| + indent = '\t'
|
| + level = 0
|
| + unit_size = len(indent)
|
| + while string[:unit_size] == indent:
|
| + string = string[unit_size:]
|
| + level += 1
|
| + suppl = ''
|
| + while string and string[0] in ' \t':
|
| + if string[0] != indent[0]:
|
| + if string[0] == '\t':
|
| + args = ('tab', 'space')
|
| + else:
|
| + args = ('space', 'tab')
|
| + self.add_message('W0312', args=args, line=line_num)
|
| + return level
|
| + suppl += string[0]
|
| + string = string [1:]
|
| + if level != expected or suppl:
|
| + i_type = 'spaces'
|
| + if indent[0] == '\t':
|
| + i_type = 'tabs'
|
| + self.add_message('W0311', line=line_num,
|
| + args=(level * unit_size + len(suppl), i_type,
|
| + expected * unit_size))
|
| +
|
| +
|
| +def register(linter):
|
| + """required method to auto register this checker """
|
| + linter.register_checker(FormatChecker(linter))
|
|
|