package java_cup.runtime;

import java.util.Arrays;
import java.util.Collections;
import java.util.Iterator;
import java.util.LinkedList;
import java.util.List;

import javax.xml.stream.XMLStreamException;
import javax.xml.stream.XMLStreamWriter;

import java_cup.runtime.ComplexSymbolFactory.ComplexSymbol;
import java_cup.runtime.ComplexSymbolFactory.Location;

public abstract class XMLElement {
	public abstract List<XMLElement> selectById(String s);

	public static void dump(XMLStreamWriter writer, XMLElement elem, String... blacklist) throws XMLStreamException {
		dump(null, writer, elem, blacklist);
	}

	public static void dump(ScannerBuffer buffer, XMLStreamWriter writer, XMLElement elem, String... blacklist)
			throws XMLStreamException {
		writer.writeStartDocument("utf-8", "1.0");
		writer.writeProcessingInstruction("xml-stylesheet", "href=\"tree.xsl\" type=\"text/xsl\"");
		writer.writeStartElement("document");

		if (blacklist.length > 0) {
			writer.writeStartElement("blacklist");
			for (String s : blacklist) {
				writer.writeStartElement("symbol");
				writer.writeCharacters(s);
				writer.writeEndElement();
			}
			writer.writeEndElement();
		}

		writer.writeStartElement("parsetree");
		elem.dump(writer);
		writer.writeEndElement();

		if (buffer != null) {
			writer.writeStartElement("tokensequence");
			for (Symbol s : buffer.getBuffered()) {
				if (s instanceof ComplexSymbol) {
					ComplexSymbol cs = (ComplexSymbol) s;
					if (cs.value != null) {
						writer.writeStartElement("token");
						writer.writeAttribute("name", cs.getName());
						cs.getLeft().toXML(writer, "left");
						writer.writeCharacters(cs.value + "");
						cs.getRight().toXML(writer, "right");
						writer.writeEndElement();
					} else
					{
						writer.writeStartElement("keyword");
						writer.writeAttribute("left", cs.getLeft() + "");
						writer.writeAttribute("right", cs.getRight() + "");
						writer.writeCharacters(cs.getName() + "");
						writer.writeEndElement();
					}
				}
				else if (s instanceof Symbol) {
					writer.writeStartElement("token");
					writer.writeCharacters(s.toString());
					writer.writeEndElement();
				}
			}
			writer.writeEndElement();
		}
		writer.writeEndElement();
		writer.writeEndDocument();
		writer.flush();
		writer.close();
	}

	protected String tagname;

	public abstract Location right();

	public abstract Location left();

	protected abstract void dump(XMLStreamWriter writer) throws XMLStreamException;

	public static class NonTerminal extends XMLElement {
		@Override
		public List<XMLElement> selectById(String s) {
			LinkedList<XMLElement> response = new LinkedList<XMLElement>();
			if (tagname.equals(s))
				response.add(this);
			for (XMLElement e : list) {
				List<XMLElement> selection = e.selectById(s);
				response.addAll(selection);
			}
			return response;
		}

		private int variant;
		LinkedList<XMLElement> list;

		public NonTerminal(String tagname, int variant, XMLElement... l) {
			this.tagname = tagname;
			this.variant = variant;
			list = new LinkedList<XMLElement>(Arrays.asList(l));
		}

		public Location left() {
			for (XMLElement e : list) {
				Location loc = e.left();
				if (loc != null)
					return loc;
			}
			return null;
		}

		public Location right() {
			for (Iterator<XMLElement> it = list.descendingIterator(); it.hasNext();) {
				Location loc = it.next().left();
				if (loc != null)
					return loc;
			}
			return null;
		}

		public String toString() {
			if (list.isEmpty()) {
				return "<nonterminal id=\"" + tagname + "\" variant=\"" + variant + "\" />";
			}
			String ret = "<nonterminal id=\"" + tagname + "\" left=\"" + left()
					+ "\" right=\"" + right() + "\" variant=\"" + variant + "\">";
			for (XMLElement e : list)
				ret += e.toString();
			return ret + "</nonterminal>";
		}

		@Override
		protected void dump(XMLStreamWriter writer) throws XMLStreamException {
			writer.writeStartElement("nonterminal");
			writer.writeAttribute("id", tagname);
			writer.writeAttribute("variant", variant + "");
			//			if (!list.isEmpty()){
			Location loc = left();
			if (loc != null)
				loc.toXML(writer, "left");
			//			}
			for (XMLElement e : list)
				e.dump(writer);
			loc = right();
			if (loc != null)
				loc.toXML(writer, "right");
			writer.writeEndElement();
		}
	}

	public static class Error extends XMLElement {
		@Override
		public List<XMLElement> selectById(String s) {
			return new LinkedList<XMLElement>();
		}

		Location l, r;

		public Error(Location l, Location r) {
			this.l = l;
			this.r = r;
		}

		public Location left() {
			return l;
		}

		public Location right() {
			return r;
		}

		public String toString() {
			return "<error left=\"" + l + "\" right=\"" + r + "\"/>";
		}

		@Override
		protected void dump(XMLStreamWriter writer) throws XMLStreamException {
			writer.writeStartElement("error");
			writer.writeAttribute("left", left() + "");
			writer.writeAttribute("right", right() + "");
			writer.writeEndElement();
		}
	}

	public static class Terminal extends XMLElement {
		public List<XMLElement> selectById(String s) {
			List<XMLElement> ret = new LinkedList<XMLElement>();
			if (tagname.equals(s)) {
				ret.add(this);
			}
			return ret;
		};

		Location l, r;
		Object value;

		public Terminal(Location l, String symbolname, Location r) {
			this(l, symbolname, null, r);
		}

		public Terminal(Location l, String symbolname, Object i, Location r) {
			this.l = l;
			this.r = r;
			this.value = i;
			this.tagname = symbolname;
		}

		public Object value() {
			return value;
		}

		public Location left() {
			return l;
		}

		public Location right() {
			return r;
		}

		public String toString() {
			return (value == null) ? "<terminal id=\"" + tagname + "\"/>"
					: "<terminal id=\"" + tagname + "\" left=\"" + l
							+ "\" right=\"" + r + "\">" + value
							+ "</terminal>";
		}

		@Override
		protected void dump(XMLStreamWriter writer) throws XMLStreamException {
			writer.writeStartElement("terminal");
			writer.writeAttribute("id", tagname);
			writer.writeAttribute("left", left() + "");
			writer.writeAttribute("right", right() + "");
			if (value != null)
				writer.writeCharacters(value + "");
			writer.writeEndElement();
		}
	}
}
