soot.validation

Interface BodyValidator

All Known Implementing Classes:

CheckInitValidator, CheckTypesValidator, CheckVoidLocalesValidator, FieldRefValidator, IdentityStatementsValidator, IdentityValidator, InvokeArgumentValidator, InvokeValidator, JimpleTrapValidator, LocalsValidator, NewValidator, ReturnStatementsValidator, TrapsValidator, TypesValidator, UnitBoxesValidator, UsesValidator, ValueBoxesValidator

public interface BodyValidator

Implement this interface if you want to provide your own body Validator

Method Summary

Methods

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(Body body, java.util.List<ValidationException> exceptions) Validates the given body and saves all validation errors in the given list.

Method Detail

validate

void validate(Body body,
            java.util.List<ValidationException> exceptions)

Validates the given body and saves all validation errors in the given list.

Parameters:

body - the body 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