edu.umass.cs.surveyman.analyses.rules

Class BranchTop

java.lang.Object

edu.umass.cs.surveyman.analyses.AbstractRule

edu.umass.cs.surveyman.analyses.rules.BranchTop

public class BranchTop
extends AbstractRule

Ensures that all "true" (i.e., branch-ONE) branching occurs from top-level, static blocks.

Field Summary

Fields inherited from class edu.umass.cs.surveyman.analyses.AbstractRule

LOGGER

Constructor Summary

Constructors

Constructor and Description
BranchTop() Adds itself to the rule registry.

Method Summary

Methods

Modifier and Type	Method and Description
void	check(Survey survey)

Methods inherited from class edu.umass.cs.surveyman.analyses.AbstractRule

getDefaultRules, getRules, registerRule, registerRule, unregisterRule, unregisterRule

Methods inherited from class java.lang.Object

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

Constructor Detail

BranchTop

public BranchTop()

Adds itself to the rule registry.

Method Detail

check

public void check(Survey survey)
           throws SurveyException

Specified by:

check in class AbstractRule

Throws:

SurveyException