Uses of Class
sootup.core.validation.ValidationException

Packages that use ValidationException

Package	Description
sootup.core.validation
sootup.interceptors

Uses of ValidationException in sootup.core.validation

Methods in sootup.core.validation that return types with arguments of type ValidationException

Modifier and Type	Method	Description
List<ValidationException>	BodyValidator.validate(Body body, View view)	Validates the given body and saves all validation errors in the given list.
List<ValidationException>	CheckInitValidator.validate(Body body, View view)	Checks that local variables present in method body are defined before use.
List<ValidationException>	CheckTypesValidator.validate(Body body, View view)
List<ValidationException>	FieldRefValidator.validate(Body body, View view)
List<ValidationException>	IdentityStmtsValidator.validate(Body body, View view)	Checks whether each ParameterRef and ThisRef is used exactly once.
List<ValidationException>	InvokeArgumentValidator.validate(Body body, View view)
List<ValidationException>	JimpleTrapValidator.validate(Body body, View view)	Checks whether all Caught-Exception-References are associated to traps.
List<ValidationException>	LocalsValidator.validate(Body body, View view)	Verifies that each Local of getUses() and getDefs() belongs to this body's locals.
List<ValidationException>	MethodValidator.validate(Body body, View view)	Checks the following invariants on this Jimple body: static initializer should have 'static' modifier
List<ValidationException>	NewValidator.validate(Body body, View view)
List<ValidationException>	StmtsValidator.validate(Body body, View view)	Verifies that the Units of this Body all point to a Unit contained within this body.
List<ValidationException>	TrapsValidator.validate(Body body, View view)	Verifies that the begin, end and handler units of each trap are in this body.
List<ValidationException>	TypesValidator.validate(Body body, View view)
List<ValidationException>	UsesValidator.validate(Body body, View view)	Verifies that each use in this Body has a def.

Method parameters in sootup.core.validation with type arguments of type ValidationException

Modifier and Type	Method	Description
void	ClassModifiersValidator.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	FieldModifiersValidator.validate(SootClass sc, List<ValidationException> exceptions)
void	MethodDeclarationValidator.validate(SootClass sc, List<ValidationException> exceptions)
void	OuterClassValidator.validate(SootClass sc, List<ValidationException> exceptions)

Uses of ValidationException in sootup.interceptors

Methods in sootup.interceptors that return types with arguments of type ValidationException

Modifier and Type	Method	Description
protected List<ValidationException>	JimpleSemanticsChecker.validate(Body.BodyBuilder builder, View view)