|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use JMLSurrogate | |
|---|---|
| org.jmlspecs.jml4.rac.runtime | |
| Uses of JMLSurrogate in org.jmlspecs.jml4.rac.runtime |
|---|
| Methods in org.jmlspecs.jml4.rac.runtime with parameters of type JMLSurrogate | |
|---|---|
void |
JMLCheckable.rac$setSurrogate(java.lang.String name,
JMLSurrogate obj)
Adds the given object, obj, as the surrogate of
the interface, name. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||