Package sootup.core.validation

Class JimpleTrapValidator

java.lang.Object

sootup.core.validation.JimpleTrapValidator

All Implemented Interfaces:

BodyValidator

public class JimpleTrapValidator
extends Object
implements BodyValidator

This validator checks whether the jimple traps are correct. It does not perform the same checks as {link sootup.validation.TrapsValidator}

Author:

Marc Miltenberger

See Also:

• BodyValidator.validate(Body, View)

Constructor Summary

Constructors

Constructor	Description
JimpleTrapValidator()

Method Summary

Modifier and Type	Method	Description
List<ValidationException>	validate(Body body, View view)	Checks whether all Caught-Exception-References are associated to traps.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

JimpleTrapValidator

public JimpleTrapValidator()

Method Details

validate

public List<ValidationException> validate(Body body,
 View view)

Checks whether all Caught-Exception-References are associated to traps.

Specified by:

validate in interface BodyValidator

Parameters:

body - the body to check

view - the view

Returns: