de.tud.cs.peaks.sootconfig

Class SceneChecker

java.lang.Object

de.tud.cs.peaks.sootconfig.SceneChecker

public final class SceneChecker
extends Object

Constructor Summary

Constructors

Constructor and Description
SceneChecker()

Method Summary

Modifier and Type	Method and Description
static boolean	hasForMissingBodies(soot.Scene scene) Checks a scene for missing bodies of concrete methods of non-phantom non-excluded classes.

Methods inherited from class java.lang.Object

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

Constructor Detail

SceneChecker

public SceneChecker()

Method Detail

hasForMissingBodies

public static boolean hasForMissingBodies(soot.Scene scene)

Checks a scene for missing bodies of concrete methods of non-phantom non-excluded classes.

Parameters:

scene - A scene to check

Returns:

true, iff a concrete method has no active body. false otherwise.