@Override
	public void dumpTerminals()
	{
		int i = 0;
		for(Terminal t : grammar.getT())
		{
			Element terminalElement = (Element) dumpTop.appendChild(document.createElement("terminal"));
			terminalElement.setAttribute("tag","t" + i);
			terminalElement.setAttribute("id",t.toString());
			
			if(grammar.getOwner(t) != null && numbering.containsKey(grammar.getOwner(t)))
			{
				terminalElement.setAttribute("owner","g" + numbering.get(grammar.getOwner(t)));
			}
			if(grammar.hasDisplayName(t.getId()))
			{
				Element displayNameElement = (Element) terminalElement.appendChild(document.createElement("displayname"));
				displayNameElement.setTextContent(grammar.getDisplayName(t.getId()));
			}
			numbering.put(t,i++);
		}
	}