HasInvariant

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

```
public interface HasInvariant
```
L'interface HasInvariant helps with testing safety properties.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method and Description
  
  boolean invariant()
  invariant specifies the object is in a safe state

- Method Detail
  - invariant
```
boolean invariant()
```
    invariant specifies the object is in a safe state
    
    Returns:
    
    boolean

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method