Uses of Class
soot.validation.ValidationException

Packages that use ValidationException

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.baf.toolkits.base	A toolkit to optimize the Baf IR.
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	Body.validate(List<ValidationException> exceptionList) Validates the jimple body and saves a list of all validation errors
void	SootClass.validate(List<ValidationException> exceptionList) Validates this SootClass for logical errors.

Uses of ValidationException in soot.baf.toolkits.base

Method parameters in soot.baf.toolkits.base with type arguments of type ValidationException

Modifier and Type	Method and Description
void	StackTypesValidator.validate(Body body, List<ValidationException> exceptions)

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	InvokeValidator.validate(Body body, List<ValidationException> exceptions)
void	TypesValidator.validate(Body body, List<ValidationException> exceptions)
void	JimpleTrapValidator.validate(Body body, List<ValidationException> exceptions) Checks whether all Caught-Exception-References are associated to traps.
void	InvokeArgumentValidator.validate(Body body, List<ValidationException> exceptions)
void	ReturnStatementsValidator.validate(Body body, List<ValidationException> exceptions)
void	IdentityValidator.validate(Body body, List<ValidationException> exceptions)
void	MethodValidator.validate(Body body, List<ValidationException> exceptions) Checks the following invariants on this Jimple body: static initializer should have 'static' modifier
void	FieldRefValidator.validate(Body body, List<ValidationException> exceptions) Checks the consistency of field references.
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	NewValidator.validate(Body body, List<ValidationException> exceptions) Checks whether after each new-instruction a constructor call follows.

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	TrapsValidator.validate(Body body, List<ValidationException> exception)
void	UnitBoxesValidator.validate(Body body, List<ValidationException> exception)
void	CheckEscapingValidator.validate(Body body, List<ValidationException> exception)
void	CheckTypesValidator.validate(Body body, List<ValidationException> exception)
void	CheckInitValidator.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	LocalsValidator.validate(Body body, List<ValidationException> exception)
void	CheckVoidLocalesValidator.validate(Body body, List<ValidationException> exception)
void	Validator.validate(E obj, List<ValidationException> exceptions) Validates the given object and saves all validation errors in the given list.
void	OuterClassValidator.validate(SootClass sc, List<ValidationException> exceptions)
void	ClassValidator.validate(SootClass sc, List<ValidationException> exceptions) Validates the given class and saves all validation errors in the given list.
void	MethodDeclarationValidator.validate(SootClass sc, List<ValidationException> exceptions)
void	ClassFlagsValidator.validate(SootClass sc, List<ValidationException> exceptions)