package jcircus.complementaryenvs;

import java.util.HashMap;
import java.util.LinkedHashMap;

import net.sourceforge.czt.circus.ast.CircusFieldList;
import net.sourceforge.czt.circus.ast.Communication;
import net.sourceforge.czt.circus.ast.DotField;
import net.sourceforge.czt.circus.ast.Field;
import net.sourceforge.czt.circus.ast.OutputFieldAnn;

//@author: Samuel Lincoln M. Barrocas
	//Checks if a channel is used at least one time as a communication with its last field being a dot field
public class ChanDotFieldEnv {
	private HashMap map;
	public ChanDotFieldEnv () {
		this.map = new LinkedHashMap <String, Boolean> ();
	}
	private void put (String channel, Boolean b) {
		if (!this.map.containsKey (channel))
			this.map.put(channel, b);
		if (!((Boolean)this.map.get(channel))) {
			this.map.put(channel, b);
		}
	}
    public static boolean hasOutputFieldAnn (Field field) {
    	if (!(field instanceof DotField)) {
    		return false;
    	}
    	for (int i = 0; i < field.getAnns().size(); i++) {
    		if (field.getAnns().get(0) instanceof OutputFieldAnn) {
    			return true;
    		}
    	}
    	return false;
    }

	public void put (Communication c) {
		CircusFieldList cfl = c.getCircusFieldList();
		if (cfl.size() == 0) {
			this.put(c.getChannelExpr().getZName().toString(), false);			
		}
		else if (cfl.get(cfl.size() - 1) instanceof DotField && !hasOutputFieldAnn (cfl.get(cfl.size() - 1))) {
			this.put(c.getChannelExpr().getZName().toString(), true);
		}
		else {
			this.put(c.getChannelExpr().getZName().toString(), false);
		}
	}
	public Boolean get (String channel) {
		if (this.map.get(channel) == null) {
			return false;
		}
		return (Boolean) this.map.get(channel);
	}
}