package jcircus.complexcomms;

import jcircus.complementaryenvs.StackVarEnv;

public class StackVarEnvAnn {
	private StackVarEnv sve;
	private String name; //the name of the action that has that stack variables environment
	private String contentOfStackVarEnv = "";
	public StackVarEnvAnn (String name, StackVarEnv sve) {
		this.name = name;
		this.sve = new StackVarEnv (sve);
		this.contentOfStackVarEnv = this.toString();
	}
	public StackVarEnvAnn (String name) {
		this (name, new StackVarEnv ());
	}
	public StackVarEnvAnn (StackVarEnv sve) {
		this ("StackVarEnvAnn", sve);
	}
	public StackVarEnv getStackVarEnv () {
		return this.sve;
	}
	public void setStackVarEnv (StackVarEnv sveparam) {
		this.sve = sveparam;
	}
	public String toString () {
		String str = this.name + " {";
		Object [] keys = sve.keySet().toArray();
		for (int i = 0; i < keys.length; i++) {
			str = str + ((String) keys [i]) + " -> " + this.sve.get((String) keys [i]);
			if (i < keys.length - 1) {
				str = str + ", ";
			}
			if (((String)keys [i]).equals("x1")) {
				System.out.print ("");
			}
		}
		return str + "}";
	}
}