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