package org.antlr.works.debugger.tree;

import org.antlr.runtime.CommonToken;
import org.antlr.runtime.Token;
import org.antlr.works.debugger.Debugger;

import java.util.*;
/*

[The "BSD licence"]
Copyright (c) 2005-2006 Jean Bovet
All rights reserved.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:

1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
3. The name of the author may not be used to endorse or promote products
derived from this software without specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

*/

public class DBASTModel {

    /** Stack of rule. Each rule contains a stack of roots */
    public Stack<Rule> rules = new Stack<Rule>();

    /** Map of nodes */
    public Map<Integer, ASTNode> nodesMap = new HashMap<Integer, ASTNode>();

    public List<DBASTModelListener> listeners = new ArrayList<DBASTModelListener>();

    private Debugger debugger;

    public DBASTModel(Debugger debugger) {
        this.debugger = debugger;
    }

    public void close() {
        debugger = null;
    }

    public void addListener(DBASTModelListener listener) {
        listeners.add(listener);
    }

    public void fireDataChanged() {
        for (DBASTModelListener listener : listeners) {
            listener.modelChanged(this);
        }
    }

    public void clear() {
        rules.clear();
        nodesMap.clear();
        fireDataChanged();
    }

    /* Methods used to query the model */

    public int getRuleCount() {
        return rules.size();
    }

    public Rule getRuleAtIndex(int index) {
        if(index < 0 || index >= rules.size())
            return null;
        else
            return rules.get(index);
    }

    public int getRootCount() {
        return getRoots().size();
    }

    /* Methods used by the debugger */

    public void pushRule(String name) {
        rules.push(new Rule(name, new Stack<ASTNode>()));
    }

    public void popRule() {
        /* Do not pop the start rule: we want to be able to see the AST
        tree at the end of event stream so we keep the start rule on the stack. */
        if(rules.size() > 1)
            rules.pop();
    }

    public void pushRoot(ASTNode node) {
        getRoots().push(node);
    }

    /** Replace a root node by another one */
    public void replaceRoot(ASTNode oldRoot, ASTNode newRoot) {
        Stack<ASTNode> roots = getRoots();
        int index = roots.indexOf(oldRoot);
        roots.remove(index);
        roots.add(index, newRoot);
    }

    /** Remove a root node */
    public void removeRoot(ASTNode node) {
        getRoots().remove(node);
    }

    /* Methods used by the protocol */

	public void nilNode(int id) {
		pushRoot(createNilTreeNode(id));
	}

	public void errorNode(int id, String text) {
		pushRoot(createTreeNode(id,
								new CommonToken(Token.INVALID_TOKEN_TYPE, text)));
	}

    public void createNode(int id, Token token) {
        createTreeNode(id, token);
    }

    public void becomeRoot(int newRootID, int oldRootID) {
        ASTNode newRoot = getTreeNode(newRootID);
        ASTNode oldRoot = getTreeNode(oldRootID);
        if(newRoot == null) {
            debugger.warning(this, "[becomeRoot] New root node "+newRootID+" not found, ignoring.");
            return;
        }
        if(oldRoot == null) {
            debugger.warning(this, "[becomeRoot] Old root node "+oldRootID+" not found, ignoring.");
            return;
        }
        oldRoot.becomeParent(newRoot);
        replaceRoot(oldRoot, newRoot);
    }

    public void addChild(int rootID, int childID) {
        ASTNode root = getTreeNode(rootID);
        ASTNode child = getTreeNode(childID);
        if(root == null) {
            debugger.warning(this, "[addChild] Root node "+rootID+" not found, ignoring.");
            return;
        }
        if(child == null) {
            debugger.warning(this, "[addChild] Child node "+childID+" not found, ignoring.");
            return;
        }

        removeRoot(child);
        root.addChild(child);
    }

    /* Utility methods */

	protected ASTNode createNilTreeNode(int id) {
		ASTNode node = createTreeNode(id);
		node.nil = true;
		return node;
	}

    protected ASTNode createTreeNode(int id, Token token) {
        ASTNode node = createTreeNode(id);
        node.token = token;
        return node;
    }

    protected ASTNode createTreeNode(int id) {
        ASTNode node = new ASTNode(id);
        nodesMap.put(id, node);
        return node;
    }

    protected ASTNode getTreeNode(int id) {
        return nodesMap.get(id);
    }

    protected Stack<ASTNode> getRoots() {
        if(rules.isEmpty())
            return null;
        else
            return (rules.peek()).roots;
    }

    public class Rule {

        public String name;
        public Stack<ASTNode> roots;

        public Rule(String name, Stack<ASTNode> roots) {
            this.name = name;
            this.roots = roots;
        }

        public ASTNode getRootAtIndex(int index) {
            return roots.get(index);
        }

        public Stack<ASTNode> getRoots() {
            return roots;
        }
    }

    public class ASTNode extends DBTreeNode {

        public int id;
        public boolean nil = false;

        public ASTNode parentNode = null;

        public ASTNode(int id) {
            this.id = id;
            /** Children is defined in DefaultMutableTreeNode */
            children = new Vector();
        }

        /** Add a child */
        public void addChild(ASTNode node) {
            if(node.nil) {
                /** If the child node is a nil node, add its children only */
                for (int i = 0; i < node.children.size(); i++) {
                    ASTNode child = (ASTNode) node.children.get(i);
                    child.parentNode = this;
                    children.add(child);
                }
            } else {
                node.parentNode = this;
                children.add(node);
            }
        }

        /** Remove a child */
        public void removeChild(ASTNode node) {
            children.remove(node);
        }

        /** Replace the current parent node with another one */
        public void becomeParent(ASTNode node) {
            node.detach();
            if(parentNode != null) {
                // If a node has a parent, replace itself by the new parent node
                // in the list of its parent's children
                parentNode.replaceChild(this, node);
            }

            node.addChild(this);
        }

        /** Replace a child with another one */
        public void replaceChild(ASTNode oldNode, ASTNode newNode) {
            int index = children.indexOf(oldNode);
            children.remove(index);
            if(newNode.nil) {
                /** If the new node is a nil node, add its children only */
                children.addAll(index, newNode.children);
            } else
                children.add(index, newNode);
        }

        /** Detach this node from its parent */
        public void detach() {
            if(parentNode != null) {
                parentNode.removeChild(this);
                parentNode = null;
            }
        }

        public String toString() {
			if(nil)
                return "nil";
            else if(token == null)
                return String.valueOf(id);
            else {
                return getTokenDisplayString(token);
            }
        }
    }
}
