Package commons :: Module exceps :: Class InvariantChecker

Class InvariantChecker

         object --+    
                  |    
decs.GenericWrapper --+
                      |
                     InvariantChecker

Wrap an object and all of its methods with per-access invariants-checking.

To Do: This code is incomplete and does not actually check invariants yet!

Instance Methods

[hide private]

__init__(self, obj, ignore=())
x.__init__(...) initializes x; see x.__class__.__doc__ for signature source code

Inherited from decs.GenericWrapper: __getattr__, __setattr__

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __repr__, __sizeof__, __str__, __subclasshook__

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

init(self, obj, ignore=`()`)
(Constructor)

source code

x.__init__(...) initializes x; see x.__class__.__doc__ for signature

Overrides: object.__init__: (inherited documentation)

Class InvariantChecker

__init__(self, obj, ignore=()) (Constructor)

init(self, obj, ignore=`()`)
(Constructor)