java_cup.runtime.XMLElement Maven / Gradle / Ivy

Go to download
package java_cup.runtime;

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

import javax.xml.stream.XMLStreamException;
import javax.xml.stream.XMLStreamWriter;
import java.util.Arrays;
import java.util.Iterator;
import java.util.LinkedList;
import java.util.List;

public abstract class XMLElement {
    public abstract List 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 String getTagname() {
        return tagname;
    }

    public abstract Location right();

    public abstract Location left();

    protected abstract void dump(XMLStreamWriter writer) throws XMLStreamException;

    public List getChildren() {
        return new LinkedList();
    }

    ;

    public boolean hasChildren() {
        return false;
    }

    ;

    public static class NonTerminal extends XMLElement {
        public boolean hasChildren() {
            return !list.isEmpty();
        }

        public List getChildren() {
            return list;
        }

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

        private int variant;

        public int getVariant() {
            return variant;
        }

        LinkedList list;

        public NonTerminal(String tagname, int variant, XMLElement... l) {
            this.tagname = tagname;
            this.variant = variant;
            list = new LinkedList(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 it = list.descendingIterator(); it.hasNext(); ) {
                Location loc = it.next().right();
                if (loc != null) return loc;
            }
            return null;
        }

        public String toString() {
            if (list.isEmpty()) {
                return "";
            }
            String ret = "";
            for (XMLElement e : list)
                ret += e.toString();
            return ret + "";
        }

        @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 {
        public boolean hasChildren() {
            return false;
        }

        @Override
        public List selectById(String s) {
            return new LinkedList();
        }

        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 "";
        }

        @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 boolean hasChildren() {
            return false;
        }

        public List selectById(String s) {
            List ret = new LinkedList();
            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) ? ""
                    : "" + value
                    + "";
        }

        @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();
        }
    }
}