/*
 * 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();
    }
}