|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Pre | |
---|---|
net.sf.oval.guard | This package contains classes that are relevant for OVal's programming by contract feature. |
Uses of Pre in net.sf.oval.guard |
---|
Methods in net.sf.oval.guard with parameters of type Pre | |
---|---|
void |
PreCheck.configure(Pre constraintAnnotation)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |