Package sootup.core.validation

Class IdentityStmtsValidator

java.lang.Object

sootup.core.validation.IdentityStmtsValidator

All Implemented Interfaces:

BodyValidator

public class IdentityStmtsValidator
extends Object
implements BodyValidator

This validator checks whether each ParameterRef and ThisRef is used exactly once.

Author:

Marc Miltenberger

Constructor Summary

Constructors

Constructor	Description
IdentityStmtsValidator()

Method Summary

Modifier and Type	Method	Description
List<ValidationException>	validate(Body body, View view)	Checks whether each ParameterRef and ThisRef is used exactly once.

Methods inherited from class java.lang.Object

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

Constructor Details

IdentityStmtsValidator

public IdentityStmtsValidator()

Method Details

validate

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

Checks whether each ParameterRef and ThisRef is used exactly once.

Specified by:

validate in interface BodyValidator

Parameters:

body - the body to check

view - the view

Returns:

a list of found validation exceptions