/*
   * To change this template, choose Tools | Templates
   * and open the template in the editor.
   */
  package CSP_ANALYSE;
  
  import CSP_ANALYSE.AnalyseFDR;
  import CSP_ANALYSE.AnalyseChecker;
  import CSP_CREATOR.CreatorBehaviorChecker;
  import CSP_CREATOR.CreatorContract;
  import LOGIC.Contract;
  import LOGIC.ObjectList;
  import java.util.ArrayList;
  
  /**
   *
   * @author sarah
   */
  public class CSPVerificationContract {
  
      private CreatorBehaviorChecker cspC;
      private AnalyseFDR analyseFdr;
      private AnalyseChecker analyseChecker;
      private CreatorContract creatC;
      
      public CSPVerificationContract(Contract c, ObjectList l) {
          
          cspC = new CreatorBehaviorChecker(c,l);
          cspC.CSPCheckerCreator();
          
          creatC = new CreatorContract(c, l);
          creatC.CSPFDRCreator();
          analyseChecker = new AnalyseChecker();
          analyseFdr = new AnalyseFDR(c, l);
      }
  
      public CheckerResult verificaBehaviorChecker() {
  
          
          return analyseChecker.takeResultChecher();
      }
  
      public ArrayList<FDRResult> verificaContractIsIOprocess() {
  
          //passo o contrato para o analyseFDR
          
          return analyseFdr.takeResultIOProcess();
          
      }
      
   
  }