Java State.setAlreadyTest Examples

Example #1

File: DiagramValidator.java Project: ThomBian/ProjetACVL

 private void areAllStatesReachable() {
   areNbInitialFinalStatesValid();
   if (validationInput != null) {
     validationInput.reach();
   }
   for (State s : Diagram.getInstance().getAllStates()) {
     if (!s.isReach()) {
       this.addError(new DiagramError("State unreachable : " + s.toString()));
       isValid = false;
     }
   }
   for (State s : Diagram.getInstance().getAllStates()) {
     s.setReach(false);
     s.setAlreadyTest(false);
   }
 }