Add a new *inference object* called Super

This patch also adds support for understanding super calls.
astroid understands the zero-argument form of super, specific to
Python 3, where the interpreter fills itself the arguments of the call. Also, we
are understanding the 2-argument form of super, both for bounded lookups
(super(X, instance)) as well as for unbounded lookups (super(X, Y)),
having as well support for validating that the object-or-type is a subtype
of the first argument. The unbounded form of super (one argument) is not
understood, since it's useless in practice and should be removed from
Python's specification. Closes issue #89.

1 files changed, 4 insertions, 0 deletions

diff --git a/astroid/exceptions.py b/astroid/exceptions.py
index d1094cec..9e3a279f 100644
--- a/astroid/exceptions.py
+++ b/astroid/exceptions.py
@@ -42,6 +42,10 @@ class InconsistentMroError(MroError):
     """Error raised when a class's MRO is inconsistent."""
 
 
+class SuperError(ResolveError):
+    """Error raised when there is a problem with a super call."""
+
+
 class NotFoundError(ResolveError):
     """raised when we are unable to resolve a name"""