Package sootup.core.validation

Class LocalsValidator

java.lang.Object

sootup.core.validation.LocalsValidator

All Implemented Interfaces:

BodyValidator

public class LocalsValidator
extends Object
implements BodyValidator

Constructor Summary

Constructors

Constructor	Description
LocalsValidator()

Method Summary

Modifier and Type	Method	Description
List<ValidationException>	validate(Body body, View view)	Verifies that each Local of getUses() and getDefs() belongs to this body's locals.

Methods inherited from class java.lang.Object

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

Constructor Details

LocalsValidator

public LocalsValidator()

Method Details

validate

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

Verifies that each Local of getUses() and getDefs() belongs to this body's locals.

Specified by:

validate in interface BodyValidator

Parameters:

body - the body to check

view - the view

Returns: