package jcircus.complementaryenvs; import java.util.HashMap; import java.util.Iterator; import java.util.LinkedHashMap; //@author: Samuel Lincoln M Barrocas //Maps a process name to its arity: True if the process is unary, and false if n-ary, with n > 1. For example: //A prefixing process is an unary process. So, it is mapped to true. //Parallel, external choice and internal choice processes are binary processes, so they are mapped to false. public class ParProcessEnv { private HashMap _map; public ParProcessEnv () { this._map = new LinkedHashMap(); } public void put (String channelName, boolean b) { this._map.put(channelName, b); } public boolean get (String channelName) { return (boolean) this._map.get(channelName); } public HashMap getMap () { return this._map; } public void set (String channelName, boolean b) { if (this._map.containsKey(channelName)/*this.get (channelName) != (new Integer (null)).intValue()*/) { this._map.remove(channelName); } this._map.put(channelName, b); } public Iterator iteratorKeys() { return this._map.keySet().iterator(); } }