net.sf.oval.guard.ApiUsageAuditor2 |
public static final String |
RULE1 |
"OVal API usage violation 1: Method return value constraints are not allowed for methods without return values" |
public static final String |
RULE2 |
"OVal API usage violation 2: Method return value constraints for parameterized methods are only allowed in guarded classes" |
public static final String |
RULE3 |
"OVal API usage violation 3: Method return value constraints are only allowed if the method is annotated with @IsInvariant or the declaring class is guarded" |
public static final String |
RULE4 |
"OVal API usage violation 4: @PreValidateThis is only allowed in guarded classes" |
public static final String |
RULE5 |
"OVal API usage violation 5: @PostValidateThis is only allowed in guarded classes" |
public static final String |
RULE6 |
"OVal API usage violation 6: Method parameter constraints are only allowed in guarded classes" |
public static final String |
RULE7 |
"OVal API usage violation 7: Method parameter constraints are only allowed in guarded classes" |