Package sootup.core.validation

Class TrapsValidator

java.lang.Object

sootup.core.validation.TrapsValidator

All Implemented Interfaces:

BodyValidator

public class TrapsValidator
extends Object
implements BodyValidator

Constructor Summary

Constructors

Constructor	Description
TrapsValidator()

Method Summary

Modifier and Type	Method	Description
List<ValidationException>	validate(Body body, View view)	Verifies that the begin, end and handler units of each trap are in this body.

Methods inherited from class java.lang.Object

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

Constructor Details

TrapsValidator

public TrapsValidator()

Method Details

validate

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

Verifies that the begin, end and handler units of each trap are in this body.

Specified by:

validate in interface BodyValidator

Parameters:

body - the body to check

view - the view

Returns: