/*
   * To change this template, choose Tools | Templates
   * and open the template in the editor.
   */
  package CSP_ANALYSE;
  
  import CSP_CREATOR.CreatorBehaviorProtocol;
  import LOGIC.ObjectList;
  
  /**
   *
   * @author sarah
   */
  public class AnalyseProtocol {
      
      private CheckerResult resultadoprotocol;
      private AnalyseChecker checker;
      private CreatorBehaviorProtocol creatProt;
      
      public AnalyseProtocol(ObjectList obl, String prot, String dual_prot){
      
          resultadoprotocol = new CheckerResult();
          checker = new AnalyseChecker();
          
          creatProt = new CreatorBehaviorProtocol(obl,prot, dual_prot);
          creatProt.createBehaviorProtocol();
      }
      
      public CheckerResult takeResultProtocol(){
      
          
          return checker.takeResultChecher();
      }
  }