code: @Override
  	public String getName()
  	{
  		StringBuilder result = new StringBuilder();
  		String prefix = "";
  
  		for (IPOContext ctxt : this)
  		{
  			String name = ctxt.getName();
  
  			if (name.length() > 0)
  			{
  				result.append(prefix);
  				result.append(name);
  				prefix = ", ";
  			}
  		}
  
  		return result.toString();
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.pog.IPOContextStack#getName()