Package sootup.core.validation

Class MethodValidator

java.lang.Object

sootup.core.validation.MethodValidator

All Implemented Interfaces:

BodyValidator

public class MethodValidator
extends Object
implements BodyValidator

Constructor Summary

Constructors

Constructor	Description
MethodValidator()

Method Summary

Modifier and Type	Method	Description
List<ValidationException>	validate(Body body, View view)	Checks the following invariants on this Jimple body: static initializer should have 'static' modifier

Methods inherited from class java.lang.Object

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

Constructor Details

MethodValidator

public MethodValidator()

Method Details

validate

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

Checks the following invariants on this Jimple body:

1. static initializer should have 'static' modifier

Specified by:

validate in interface BodyValidator

Parameters:

body - the body to check

view - the view

Returns:

a list of found validation exceptions