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

Modifier and Type	Method and Description
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.
void	validate(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 check

exceptions - 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