package jcircus.newfrontendmethod;

import java.util.List;
import java.util.Vector;

import net.sourceforge.czt.circus.ast.Communication;

public class FrontEndAnn {
	private Vector <Integer> frontendindexes;
	public FrontEndAnn (Vector <Integer> x) {
		this.frontendindexes = x;
	}
	public FrontEndAnn () {
		this.frontendindexes = new Vector <Integer> ();
	}
	public Vector <Integer> getFrontEnd () {
		return this.frontendindexes;
	}
	public void setFrontEnd (Vector <Integer> x) {
		this.frontendindexes = x;
	}
	public void put (Integer x) {
		this.frontendindexes.addElement(x);
	}
	public String toString () {
		String str = "new int [] {";
		int size = this.frontendindexes.size();
		for (int i = 0; i < size; i++) {
			str = str + frontendindexes.elementAt(i);
			if (i < size - 1) {
				str = str + ", ";
			}
		}
		return str + "}";
	}
	public static FrontEndAnn getFrontEndAnn (Communication c) {
		List <Object> anns = c.getAnns();
		int size = anns.size();
		for (int i = 0; i < size; i++) {
			Object o = anns.get(i);
			if (o instanceof FrontEndAnn) {
				return (FrontEndAnn)o;
			}
		}
		return new FrontEndAnn ();
	}
}