1 package Analysis.SSJava;
5 public class SSJavaAnalysis {
7 public static final String DELTA = "delta";
10 public SSJavaAnalysis(State state) {
14 public void doFlowDownCheck() {
15 FlowDownCheck checker = new FlowDownCheck(state);
16 checker.flowDownCheck();
19 public void doLoopCheck() {
20 DefinitelyWrittenCheck checker = new DefinitelyWrittenCheck(state);
21 checker.definitelyWrittenCheck();