Package soot.validation

Interface BodyValidator

All Superinterfaces:

Validator<Body>

All Known Implementing Classes:

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

public interface BodyValidator
extends Validator<Body>

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

Method Summary

Modifier and Type	Method	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, List<ValidationException> exceptions)	Validates the given body and saves all validation errors in the given list.

Method Detail

validate

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

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

Specified by:

validate in interface Validator<Body>

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.

Specified by:

isBasicValidator in interface Validator<Body>

Returns:

whether this validator is a basic validator