Uses of Class
soot.validation.ValidationException

Packages that use ValidationException

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.validation
soot.validation

Uses of ValidationException in soot

Method parameters in soot with type arguments of type ValidationException

Modifier and Type	Method and Description
void	SootClass.validate(List<ValidationException> exceptionList) Validates this SootClass for logical errors.
void	Body.validate(List<ValidationException> exceptionList) Validates the jimple body and saves a list of all validation errors

Uses of ValidationException in soot.jimple

Method parameters in soot.jimple with type arguments of type ValidationException

Modifier and Type	Method and Description
void	JimpleBody.validate(List<ValidationException> exceptionList) Validates the jimple body and saves a list of all validation errors

Uses of ValidationException in soot.jimple.validation

Method parameters in soot.jimple.validation with type arguments of type ValidationException

Modifier and Type	Method and Description
void	InvokeArgumentValidator.validate(Body body, List<ValidationException> exceptions)
void	IdentityStatementsValidator.validate(Body body, List<ValidationException> exceptions) Checks the following invariants on this Jimple body: this-references may only occur in instance methods this-references may only occur as the first statement in a method, if they occur at all param-references must precede all statements that are not themselves param-references or this-references, if they occur at all
void	MethodValidator.validate(Body body, List<ValidationException> exceptions) Checks the following invariants on this Jimple body: static initializer should have 'static' modifier
void	InvokeValidator.validate(Body body, List<ValidationException> exceptions)
void	ReturnStatementsValidator.validate(Body body, List<ValidationException> exceptions) Checks the following invariants on this Jimple body: this-references may only occur in instance methods this-references may only occur as the first statement in a method, if they occur at all param-references must precede all statements that are not themselves param-references or this-references, if they occur at all
void	FieldRefValidator.validate(Body body, List<ValidationException> exceptions) Checks the consistency of field references.
void	JimpleTrapValidator.validate(Body body, List<ValidationException> exceptions) Checks whether all Caught-Exception-References are associated to traps.
void	TypesValidator.validate(Body body, List<ValidationException> exceptions)
void	NewValidator.validate(Body body, List<ValidationException> exceptions) Checks whether after each new-instruction a constructor call follows.
void	IdentityValidator.validate(Body body, List<ValidationException> exceptions) Checks whether each ParameterRef and ThisRef is used exactly once.

Uses of ValidationException in soot.validation

Subclasses of ValidationException in soot.validation

Modifier and Type	Class and Description
class	UnitValidationException This kind of validation exception can be used if a unit is the cause of an validation error.

Method parameters in soot.validation with type arguments of type ValidationException

Modifier and Type	Method and Description
void	ValueBoxesValidator.validate(Body body, List<ValidationException> exception)
void	UsesValidator.validate(Body body, List<ValidationException> exception)
void	BodyValidator.validate(Body body, List<ValidationException> exceptions) Validates the given body and saves all validation errors in the given list.
void	CheckVoidLocalesValidator.validate(Body body, List<ValidationException> exception)
void	TrapsValidator.validate(Body body, List<ValidationException> exception)
void	CheckTypesValidator.validate(Body body, List<ValidationException> exception)
void	UnitBoxesValidator.validate(Body body, List<ValidationException> exception)
void	CheckInitValidator.validate(Body body, List<ValidationException> exception)
void	CheckEscapingValidator.validate(Body body, List<ValidationException> exception)
void	LocalsValidator.validate(Body body, List<ValidationException> exception)
void	ClassValidator.validate(SootClass sc, List<ValidationException> exceptions) Validates the given class and saves all validation errors in the given list.
void	OuterClassValidator.validate(SootClass sc, List<ValidationException> exceptions)
void	ClassFlagsValidator.validate(SootClass sc, List<ValidationException> exceptions)
void	MethodDeclarationValidator.validate(SootClass sc, List<ValidationException> exceptions)