package jcircus.complementaryenvs;
  
  import java.util.HashMap;
  import java.util.LinkedHashMap;
  
  //@autor: Samuel Lincoln Magalhães Barrocas
  //This class maps a channel name to its kind of translation according to its multi-synchronized use or not (true if multi-synchronized, and false if not). For example:
  //Spec 1: 
  	//P = begin @ a -> SKIP [| {a} |] a -> SKIP end
  //Spec 2: 
  	//P = begin @ a -> SKIP [| {a} |] a -> SKIP end
  	//Q = begin @ a -> SKIP [| {a} |] a -> SKIP [| {a} |] a -> SKIP
  //In "Spec 1", the channel "a" must be translated as a simple synchronized channel ("a" mapped to false). In "Spec 2", even if there is a case where "a" is simple synchronized,
  	//as there is at least a multi-synchronization involving "a", it must be translated as a multi-synchronized channel
  public class ChanTransMSEnv {
  	private HashMap <String, Boolean> _map;
  	public ChanTransMSEnv () {
  		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 false;
  		}
  		return this._map.get (channelName);
  	}
  }