/*
   * To change this template, choose Tools | Templates
   * and open the template in the editor.
   */
  package CSP_ANALYSE;
  
  import RULES.CreatorRuleCommunicationComposition;
  import RULES.CreatorRuleInterleaveComposition;
  import LOGIC.Instance;
  import LOGIC.ObjectList;
  import LOGIC.Protocols;
  import RULES.CreatorRuleFeedbackComposition;
  import RULES.CreatorRuleReflexiveComposition;
  import java.util.ArrayList;
  import java.util.LinkedList;
  
  /**
   *
   * @author sarah
   */
  public class CSPVerificationRules {
      private CreatorRuleInterleaveComposition cir;
      private AnalyseRuleInterleave analyRul;
      private CreatorRuleCommunicationComposition comm;
      private AnalyseRuleCommunication analComm;
      private CreatorRuleFeedbackComposition feed;
      private AnalyseRuleFeedback analyFeed; 
      private CreatorRuleReflexiveComposition ref;
      private AnalyseRuleReflexive analyref;
      private LinkedList<Instance> instance;
      private LinkedList<Protocols> prot;
      private ObjectList objList;
      
      public CSPVerificationRules(LinkedList<Instance> i,LinkedList<Protocols> p, ObjectList lt) {
          
          this.instance = i;
          this.prot = p;
          this.objList = lt;
      }
      
      public ArrayList<FDRResult> RuleInterleaveIsDeadlockFree(){
      
          cir = new CreatorRuleInterleaveComposition(instance, objList);
          cir.creatorRule();
          analyRul = new AnalyseRuleInterleave(instance);
          
          return analyRul.resultRule();
      }
    
      public ArrayList<FDRResult> RuleCommunicationIsDeadlockFree() throws InterruptedException{
      
          comm = new CreatorRuleCommunicationComposition(instance, prot, objList);
          comm.creatorRule();
          analComm = new AnalyseRuleCommunication(instance, prot);
          return analComm.resultRule();
      }
      
      public ArrayList<FDRResult> RuleFeedbackIsDeadlockFree() throws InterruptedException{
      
          feed = new CreatorRuleFeedbackComposition(instance, prot, objList);
          //comm = new CreatorRuleCommunicationComposition(instance, prot, objList);
          feed.creatorRule();
          //comm.creatorRule();
          analyFeed = new AnalyseRuleFeedback(instance, prot);
          //analComm = new AnalyseRuleCommunication(instance, prot);
          return analyFeed.resultRule();
      }
      
       public ArrayList<FDRResult> RuleReflexiveIsDeadlockFree() throws InterruptedException{
      
          ref = new CreatorRuleReflexiveComposition(instance, prot, objList);
          //comm = new CreatorRuleCommunicationComposition(instance, prot, objList);
          ref.creatorRule();
          //comm.creatorRule();
          analyref = new AnalyseRuleReflexive(instance, prot);
          //analComm = new AnalyseRuleCommunication(instance, prot);
          return analyref.resultRule();
      }
      
  }