Package soot.validation
Interface Validator<E>
-
- Type Parameters:
E-
- All Known Subinterfaces:
BodyValidator,ClassValidator
- All Known Implementing Classes:
CheckEscapingValidator,CheckInitValidator,CheckTypesValidator,CheckVoidLocalesValidator,ClassFlagsValidator,FieldRefValidator,IdentityStatementsValidator,IdentityValidator,InvokeArgumentValidator,InvokeValidator,JimpleTrapValidator,LocalsValidator,MethodDeclarationValidator,MethodValidator,NewValidator,OuterClassValidator,ReturnStatementsValidator,StackTypesValidator,TrapsValidator,TypesValidator,UnitBoxesValidator,UsesValidator,ValueBoxesValidator
public interface Validator<E>Generic interface for all types of Validators.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description booleanisBasicValidator()Basic validators run essential checks and are run always if validate is called.
If this method returns false and the caller of the validator respects this property,
the checks will only be run if the debug or validation option is activated.voidvalidate(E obj, List<ValidationException> exceptions)Validates the given object and saves all validation errors in the given list.
-
-
-
Method Detail
-
validate
void validate(E obj, List<ValidationException> exceptions)
Validates the given object and saves all validation errors in the given list.- Parameters:
obj- the object to checkexceptions- the list of exceptions
-
isBasicValidator
boolean isBasicValidator()
Basic validators run essential checks and are run always if validate is called.
If this method returns false and the caller of the validator respects this property,
the checks will only be run if the debug or validation option is activated.- Returns:
- whether this validator is a basic validator
-
-