Package medite :: Package MediteAppli :: Package test :: Module contract :: Class InvalidPreconditionError
[hide private]
[frames] | no frames]

Class InvalidPreconditionError

source code

              object --+                    
                       |                    
exceptions.BaseException --+                
                           |                
        exceptions.Exception --+            
                               |            
        exceptions.StandardError --+        
                                   |        
           exceptions.AssertionError --+    
                                       |    
                  ContractViolationError --+
                                           |
                                          InvalidPreconditionError

Method pre-conditions can only weaken overridden methods' preconditions.

Instance Methods [hide private]

Inherited from exceptions.AssertionError: __init__, __new__

Inherited from exceptions.BaseException: __delattr__, __getattribute__, __getitem__, __reduce__, __repr__, __setattr__, __setstate__, __str__

Inherited from object: __hash__, __reduce_ex__

Properties [hide private]

Inherited from exceptions.BaseException: args, message

Inherited from object: __class__