public class AssumeNoSideEffectsChecker extends Object
| Constructor and Description |
|---|
AssumeNoSideEffectsChecker(WarningPrinter notePrinter)
Creates a new KeepClassMemberChecker.
|
| Modifier and Type | Method and Description |
|---|---|
void |
checkClassSpecifications(List classSpecifications)
Checks if the given class specifications try to assume no side effects
for all methods in a class, printing notes if necessary.
|
public AssumeNoSideEffectsChecker(WarningPrinter notePrinter)
public void checkClassSpecifications(List classSpecifications)
Copyright © 2015. All Rights Reserved.