Package sootup.core.validation

Class CheckInitValidator

java.lang.Object

sootup.core.validation.CheckInitValidator

All Implemented Interfaces:

BodyValidator

public class CheckInitValidator
extends Object
implements BodyValidator

This validator checks whether local variables are defined before they are used.

Constructor Summary

Constructors

Constructor	Description
CheckInitValidator()

Method Summary

Modifier and Type	Method	Description
List<ValidationException>	validate(Body body, View view)	Checks that local variables present in method body are defined before use.

Methods inherited from class java.lang.Object

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

Constructor Details

CheckInitValidator

public CheckInitValidator()

Method Details

validate

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

Checks that local variables present in method body are defined before use.

Specified by:

validate in interface BodyValidator

Parameters:

body - the body to check

view - the view

Returns: