|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
main.blueJExt.* |
main.blueJExt.PreferenceSetter | ||
public static final String |
CHECK_ROLES |
"Check roles with compilation" |
public static final String |
GIVE_REASON |
"Give reason if incorrect role detected" |
public static final String |
SUGGEST_ROLE |
"Suggest role for incorrectly annotated role" |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |