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.