package jcircus.exceptions;

import jcircus.util.ChanUse;

/**
 * ChanUseUnificationException.java
 *
 * @author Angela Freitas
 */
public class ProcessAlreadyDefinedInSyncEnvException extends Exception {
    
    /**
     * Creates a new instance of ProcessAlreadyDefinedInSyncEnvException 
     */
    public ProcessAlreadyDefinedInSyncEnvException(String processName, ChanUse oldType, ChanUse newType) {
        super("Trying to define process " + processName + " with java type " + newType 
                + ". Process has already been defined with type " + oldType);
    }
    
}