//COM A SOLUÇÃO DO PARALELISMO COM MUDANÇA DA AST, ESTE AMBIENTE NÃO É MAIS NECESSÁRIO.
  
  package jcircus.complementaryenvs;
  
  import java.util.HashMap;
  import java.util.LinkedHashMap;
  
  import jcircus.visitor.EnvLoadingVisitor;
  
  import net.sourceforge.czt.circus.ast.IndexedProcess;
  import net.sourceforge.czt.circus.ast.InterleaveProcess;
  import net.sourceforge.czt.circus.ast.ParProcess;
  
  public class ChanForcedInterleavingEnv {
  	private HashMap <String, Boolean> _map;
  	public ChanForcedInterleavingEnv () {
  		this._map = new LinkedHashMap <String, Boolean> ();
  	}
  	public void update (String channelName, boolean b) {
  		if (_map.containsKey (channelName)) {
  			_map.remove (channelName);
  		}
  		this._map.put (channelName, b);
  	}
  	public boolean get (String channelName) {
  		if (this._map.containsKey(channelName))
  			return this._map.get (channelName);
  		else
  			return false;
  	}
  	/*public static boolean isChanForced (String channel, ParProcess parProcess, EnvLoadingVisitor evl) {
  		String [] visibleLeft = evl.get
  		if (parProcess.getLeftProcess() instanceof ParProcess || parProcess.getRightProcess() instanceof ParProcess) {
  			return false; //NA VERDADE, NÃO NOS INTERESSAM ParProcesses cujos processos direito e esquerdo sejam ParProcesses
  		}
  		if (parProcess instanceof InterleaveProcess) {
  			return true;
  		}
  		else {
  			
  		}
  		return false; //TODO
  	}*/
  }