package jcircus.exceptions;
  
  import jcircus.util.ChanUse;
  
  /**
   * ChanUseUnificationException.java
   *
   * @author Angela Freitas
   */
  public class ChanUseUnificationException extends Exception {
      
      public ChanUseUnificationException() {
          super("It is not possible to unify the ChanUse in the composite processes.");
      }
      
      public ChanUseUnificationException(String chanName, ChanUse chanUseInEnv, ChanUse chanUse) {
          super("Channel '" + chanName + "': " + chanUseInEnv + " (old), " + chanUse + "(new)");
      }
  
  }