A E I P S
A
- argument(boolean, String) - Static method in class it.units.stud.contracts.Precondition
-
Enforces a precondition on an argument.
E
- element(boolean, String) - Static method in class it.units.stud.contracts.Precondition
-
Enforces a precondition on non-emptiness for collections or iterators.
I
- index(boolean, String) - Static method in class it.units.stud.contracts.Precondition
-
Enforces a precondition on an index for random access data structures.
- it.units.stud.contracts - package it.units.stud.contracts
-
Preconditions enforcement from design by contract.
P
- Precondition - Class in it.units.stud.contracts
-
Precondition enforcement methods.
S
- state(boolean, String) - Static method in class it.units.stud.contracts.Precondition
-
Enforces a precondition on the state.
A E I P S
Copyright © 2013. All Rights Reserved.