package jcircus.exceptions;

/**
 * ChanUseUnificationException.java
 *
 * @author Angela Freitas
 */
public class ChannelNotDefinedExceptionForProcess extends Exception {
    
    String channelName_;
    
    public ChannelNotDefinedExceptionForProcess(String channelName) {
        
        super("Channel " + channelName + " not defined for process.");
        this.channelName_ = channelName;
    }
}