Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package patterntesting.runtime.dbc

Package class diagram package patterntesting.runtime.dbc
This package is reserved for "Design By Contract" (DbC).

See:
          Description

Interface Summary
Contract With this Contract interface you can realize Design-by-Contract, also known as DbC.
 

Class Summary
DbC  
 

Error Summary
ContractViolation  
 

Package patterntesting.runtime.dbc Description

This package is reserved for "Design By Contract" (DbC).

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    
Copyright © 2002–2014 PatternTesting Team. All rights reserved.