Gendarme checks for preconditions and postrelations on the methods you want it to.
None
Franck Verrot