|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| checkers.typestate.* |
|---|
| checkers.typestate.TypestateUtil | ||
|---|---|---|
public static final java.lang.String |
EXCEPT_ELEMENT_NAME |
"except" |
public static final java.lang.String |
EXCEPTION_ELEMENT_NAME |
"onException" |
public static final java.lang.String |
TRANSITION_ELEMENT_NAME |
"after" |
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||