forget the past.

forget the past.

1 files changed, 322 insertions, 0 deletions

diff --git a/checkers/design_analysis.py b/checkers/design_analysis.py
new file mode 100644
index 0000000..1d51e74
--- /dev/null
+++ b/checkers/design_analysis.py
@@ -0,0 +1,322 @@
+# Copyright (c) 2003-2005 LOGILAB S.A. (Paris, FRANCE).
+# http://www.logilab.fr/ -- mailto:contact@logilab.fr
+#
+# 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.
+"""check for signs of poor design
+
+
+ see http://intranet.logilab.fr/jpl/view?rql=Any%20X%20where%20X%20eid%201243
+ FIXME: missing 13, 15, 16
+"""
+
+__revision__ = "$Id: design_analysis.py,v 1.11 2005-12-30 15:41:29 adim Exp $"
+
+from logilab.astng import Function, InferenceError
+
+from pylint.interfaces import IASTNGChecker
+from pylint.checkers import BaseChecker
+
+def class_is_abstract(klass):
+    """return true if the given class node should be considered as an abstract
+    class
+    """
+    for attr in klass.values():
+        if isinstance(attr, Function):
+            if attr.is_abstract(pass_is_abstract=False):
+                return True
+    return False
+
+
+MSGS = {
+    'R0901': ('Too many ancestors (%s/%s)',
+              'Used when class has too many parent classes.'),
+    'R0902': ('Too many instance attributes (%s/%s)',
+              'Used when class has too many instance attributes.'),
+    'R0903': ('Not enough public methods (%s/%s)',
+              'Used when class has not enough public methods.'),
+    'R0904': ('Too many public methods (%s/%s)',
+              'Used when class has too many public methods.'),
+    
+    'R0911': ('Too many return statements (%s/%s)',
+              'Used when a function or method has too many return statement.'),
+    'R0912': ('Too many branches (%s/%s)',
+              'Used when a function or method has too many branches.'),
+    'R0913': ('Too many arguments (%s/%s)',
+              'Used when a function or method takes too many arguments.'),
+    'R0914': ('Too many local variables (%s/%s)',
+              'Used when a function or method has too many local variables.'),
+    'R0915': ('Too many statements (%s/%s)',
+              'Used when a function or method has too many statements. You \
+              should then split it in smaller functions / methods.'),
+    
+    'R0921': ('Abstract class not referenced',
+              'Used when an abstract class is not used as ancestor anywhere.'),
+    'R0922': ('Abstract class is only referenced %s times',
+              'Used when an abstract class is used less than X times as \
+              ancestor.'),
+    'R0923': ('Interface not implemented',
+              'Used when an interface class is not implemented anywhere.'),
+    }
+
+
+class MisdesignChecker(BaseChecker):
+    """checks for sign of poor/misdesign:                                      
+    * number of methods, attributes, local variables...                        
+    * size, complexity of functions, methods                                   
+    """
+    
+    __implements__ = (IASTNGChecker,)
+
+    # configuration section name
+    name = 'design'
+    # messages
+    msgs = MSGS
+    priority = -2
+    # configuration options
+    options = (('max-args',
+                {'default' : 5, 'type' : 'int', 'metavar' : '<int>',
+                 'help': 'Maximum number of arguments for function / method'}
+                ),
+               ('max-locals',
+                {'default' : 15, 'type' : 'int', 'metavar' : '<int>',
+                 'help': 'Maximum number of locals for function / method body'}
+                ),
+               ('max-returns',
+                {'default' : 6, 'type' : 'int', 'metavar' : '<int>',
+                 'help': 'Maximum number of return / yield for function / '
+                         'method body'}
+                ),
+               ('max-branchs',
+                {'default' : 12, 'type' : 'int', 'metavar' : '<int>',
+                 'help': 'Maximum number of branch for function / method body'}
+                ),
+               ('max-statements',
+                {'default' : 50, 'type' : 'int', 'metavar' : '<int>',
+                 'help': 'Maximum number of statements in function / method '
+                         'body'}
+                ),
+               ('max-parents',
+                {'default' : 7,
+                 'type' : 'int',
+                 'metavar' : '<num>',
+                 'help' : 'Maximum number of parents for a class (see R0901).'}
+                ),
+               ('max-attributes',
+                {'default' : 7,
+                 'type' : 'int',
+                 'metavar' : '<num>',
+                 'help' : 'Maximum number of attributes for a class \
+(see R0902).'}
+                ),
+               ('min-public-methods',
+                {'default' : 2,
+                 'type' : 'int',
+                 'metavar' : '<num>',
+                 'help' : 'Minimum number of public methods for a class \
+(see R0903).'}
+                ),
+               ('max-public-methods',
+                {'default' : 20,
+                 'type' : 'int',
+                 'metavar' : '<num>',
+                 'help' : 'Maximum number of public methods for a class \
+(see R0904).'}
+                ),
+               )
+
+    def __init__(self, linter=None):
+        BaseChecker.__init__(self, linter)
+        self.stats = None
+        self._returns = None
+        self._branchs = None
+        self._used_abstracts = None
+        self._used_ifaces = None
+        self._abstracts = None
+        self._ifaces = None
+        self._stmts = 0
+        
+    def open(self):
+        """initialize visit variables"""
+        self.stats = self.linter.add_stats()
+        self._returns = []
+        self._branchs = []
+        self._used_abstracts = {}
+        self._used_ifaces = {}
+        self._abstracts = []
+        self._ifaces = []
+
+    def close(self):
+        """check that abstract/interface classes are used"""
+        for abstract in self._abstracts:
+            if not abstract in self._used_abstracts:
+                self.add_message('R0921', node=abstract)
+            elif self._used_abstracts[abstract] < 2:
+                self.add_message('R0922', node=abstract,
+                                 args=self._used_abstracts[abstract])
+        for iface in self._ifaces:
+            if not iface in self._used_ifaces:
+                self.add_message('R0923', node=iface)
+                
+    def visit_class(self, node):
+        """check size of inheritance hierarchy and number of instance attributes
+        """
+        self._inc_branch()
+        # Is the total inheritance hierarchy is 7 or less?
+        nb_parents = len(list(node.ancestors()))
+        if nb_parents > self.config.max_parents:
+            self.add_message('R0901', node=node,
+                             args=(nb_parents, self.config.max_parents))
+        # Does the class contain less than 20 attributes for
+        # non-GUI classes (40 for GUI)?
+        # FIXME detect gui classes
+        if len(node.instance_attrs) > self.config.max_attributes:
+            self.add_message('R0902', node=node,
+                             args=(len(node.instance_attrs),
+                                   self.config.max_attributes))
+        # update abstract / interface classes structures
+        if class_is_abstract(node):
+            self._abstracts.append(node)
+        elif node.type == 'interface' and node.name != 'Interface':
+            self._ifaces.append(node)
+            for parent in node.ancestors(False):
+                if parent.name == 'Interface':
+                    continue
+                self._used_ifaces[parent] = 1
+        try:
+            for iface in node.interfaces():
+                self._used_ifaces[iface] = 1
+        except InferenceError:
+            # XXX log ? 
+            pass
+        for parent in node.ancestors():
+            try:
+                self._used_abstracts[parent] += 1
+            except KeyError:
+                self._used_abstracts[parent] = 1
+            
+    def leave_class(self, node):
+        """check number of public methods"""
+        nb_public_methods = 0
+        for method in node.methods():
+            if not method.name.startswith('_'):
+                nb_public_methods += 1
+        # Does the class contain less than 20 public methods ?
+        if nb_public_methods > self.config.max_public_methods:
+            self.add_message('R0904', node=node,
+                             args=(nb_public_methods,
+                                   self.config.max_public_methods))
+        # stop here for exception, metaclass and interface classes
+        if node.type != 'class':
+            return
+        # Does the class contain more than 5 public methods ?
+        if nb_public_methods < self.config.min_public_methods:
+            self.add_message('R0903', node=node,
+                             args=(nb_public_methods,
+                                   self.config.min_public_methods))
+
+        
+    def visit_function(self, node):
+        """check function name, docstring, arguments, redefinition,
+        variable names, max locals
+        """
+        self._inc_branch()
+        # init branch and returns counters
+        self._returns.append(0)
+        self._branchs.append(0)
+        # check number of arguments
+        args = node.argnames
+        if args is not None and len(args) > self.config.max_args:
+            self.add_message('R0913', node=node,
+                             args=(len(args), self.config.max_args))
+        # check number of local variables
+        locnum = len(node.locals)
+        if locnum > self.config.max_locals:
+            self.add_message('R0914', node=node,
+                             args=(locnum, self.config.max_locals))
+        # init statements counter
+        self._stmts = 1
+
+    def leave_function(self, node):
+        """most of the work is done here on close:
+        checks for max returns, branch, return in __init__
+        """
+        returns = self._returns.pop()
+        if returns > self.config.max_returns:
+            self.add_message('R0911', node=node,
+                             args=(returns, self.config.max_returns))
+        branchs = self._branchs.pop()
+        if branchs > self.config.max_branchs:
+            self.add_message('R0912', node=node,
+                             args=(branchs, self.config.max_branchs))
+        # check number of statements
+        if self._stmts > self.config.max_statements:
+            self.add_message('R0915', node=node,
+                             args=(self._stmts, self.config.max_statements))
+
+    def visit_return(self, _):
+        """count number of returns/yields"""
+        self._returns[-1] += 1
+        
+    def visit_yield(self, _):
+        """count number of returns/yields"""
+        self._returns[-1] += 1
+        
+    def visit_default(self, node):
+        """default visit method -> increments the statements counter if
+        necessary
+        """
+        if node.is_statement():
+            self._stmts += 1
+
+    def visit_tryexcept(self, node):
+        """increments the branchs counter"""
+        branchs = len(node.handlers)
+        if node.else_:
+            branchs += 1
+        self._inc_branch(branchs)
+        self._stmts += branchs
+        
+    def visit_tryfinally(self, _):
+        """increments the branchs counter"""
+        self._inc_branch(2)
+        self._stmts += 2
+        
+    def visit_if(self, node):
+        """increments the branchs counter"""
+        branchs = len(node.tests)
+        if node.else_:
+            branchs += 1
+        self._inc_branch(branchs)
+        self._stmts += branchs
+        
+    def visit_while(self, node):
+        """increments the branchs counter"""
+        branchs = 1
+        if node.else_:
+            branchs += 1
+        self._inc_branch(branchs)
+        
+    visit_for = visit_while
+
+    def _inc_branch(self, branchsnum=1):
+        """increments the branchs counter"""
+        branchs = self._branchs
+        for i in xrange(len(branchs)):
+            branchs[i] += branchsnum
+
+    # FIXME: make a nice report...
+        
+def register(linter):
+    """required method to auto register this checker """
+    linter.register_checker(MisdesignChecker(linter))