public String toString() {
		StringBuffer result = new StringBuffer("[");
		for (int i = 0; i < stackMap.length; i++) {
			if (i > 0)
				result.append(", ");
			result.append(stackMap[i].getName());
		}
		return result.append("]").toString();
	}