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)"); } }