|
||||||||||
| 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 | |||||||||