DbC (patterntesting-rt 2.2.20-YEARS API)

java.lang.Object
- patterntesting.runtime.dbc.DbC

public final class DbC
extends java.lang.Object

The Class DbC.

Author:: oliver

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static void`	`ensure(boolean postcondition)`	Use this method to describe the condition which must be true when the preconditions were true and your method is finished.
`static void`	`ensure(boolean postcondition, java.lang.Object message)`	Use this method to describe the condition which must be true when the preconditions were true and your method is finished.
`static void`	`require(boolean precondition)`	Use this method to describe the condition which must be true when your method is called.
`static void`	`require(boolean precondition, java.lang.Object message)`	Use this method to describe the condition which must be true when your method is called.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - require
```
public static void require(boolean precondition)
```
    Use this method to describe the condition which must be true when your method is called.
    
    Parameters:
    
    precondition - e.g. (arg0 != null)
  - require
```
public static void require(boolean precondition,
                           java.lang.Object message)
```
    Use this method to describe the condition which must be true when your method is called.
    
    Parameters:
    
    precondition - e.g. (arg0 != null)
    
    message - e.g. "null argument is not allowed"
  - ensure
```
public static void ensure(boolean postcondition)
```
    Use this method to describe the condition which must be true when the preconditions were true and your method is finished.
    
    Parameters:
    
    postcondition - e.g. (value > 0)
  - ensure
```
public static void ensure(boolean postcondition,
                          java.lang.Object message)
```
    Use this method to describe the condition which must be true when the preconditions were true and your method is finished.
    
    Parameters:
    
    postcondition - e.g. (value > 0)
    
    message - e.g. "value must be positive"