13447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein/*
23447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein [The "BSD license"]
33447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein Copyright (c) 2005-2009 Terence Parr
43447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein All rights reserved.
53447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
63447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein Redistribution and use in source and binary forms, with or without
73447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein modification, are permitted provided that the following conditions
83447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein are met:
93447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein 1. Redistributions of source code must retain the above copyright
103447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein     notice, this list of conditions and the following disclaimer.
113447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein 2. Redistributions in binary form must reproduce the above copyright
123447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein     notice, this list of conditions and the following disclaimer in the
133447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein     documentation and/or other materials provided with the distribution.
143447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein 3. The name of the author may not be used to endorse or promote products
153447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein     derived from this software without specific prior written permission.
163447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
173447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
183447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
193447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
203447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
213447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
223447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
233447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
243447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
253447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
263447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
273447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein */
283447a5916aa62f44de24cc441fc9987116ddff52Andrew Sappersteinpackage org.antlr.runtime.debug;
293447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
303447a5916aa62f44de24cc441fc9987116ddff52Andrew Sappersteinimport org.antlr.runtime.RecognitionException;
313447a5916aa62f44de24cc441fc9987116ddff52Andrew Sappersteinimport org.antlr.runtime.Token;
323447a5916aa62f44de24cc441fc9987116ddff52Andrew Sappersteinimport org.antlr.runtime.BaseRecognizer;
333447a5916aa62f44de24cc441fc9987116ddff52Andrew Sappersteinimport org.antlr.runtime.tree.TreeAdaptor;
343447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
353447a5916aa62f44de24cc441fc9987116ddff52Andrew Sappersteinimport java.io.*;
363447a5916aa62f44de24cc441fc9987116ddff52Andrew Sappersteinimport java.net.ServerSocket;
373447a5916aa62f44de24cc441fc9987116ddff52Andrew Sappersteinimport java.net.Socket;
383447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
393447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein/** A proxy debug event listener that forwards events over a socket to
403447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein *  a debugger (or any other listener) using a simple text-based protocol;
413447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein *  one event per line.  ANTLRWorks listens on server socket with a
423447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein *  RemoteDebugEventSocketListener instance.  These two objects must therefore
433447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein *  be kept in sync.  New events must be handled on both sides of socket.
443447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein */
453447a5916aa62f44de24cc441fc9987116ddff52Andrew Sappersteinpublic class DebugEventSocketProxy extends BlankDebugEventListener {
463447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public static final int DEFAULT_DEBUGGER_PORT = 49100; // was 49153
473447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected int port = DEFAULT_DEBUGGER_PORT;
483447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected ServerSocket serverSocket;
493447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected Socket socket;
503447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected String grammarFileName;
513447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected PrintWriter out;
523447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected BufferedReader in;
533447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
543447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	/** Who am i debugging? */
553447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected BaseRecognizer recognizer;
563447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
573447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	/** Almost certainly the recognizer will have adaptor set, but
583447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	 *  we don't know how to cast it (Parser or TreeParser) to get
593447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	 *  the adaptor field.  Must be set with a constructor. :(
603447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	 */
613447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected TreeAdaptor adaptor;
623447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
633447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public DebugEventSocketProxy(BaseRecognizer recognizer, TreeAdaptor adaptor) {
643447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		this(recognizer, DEFAULT_DEBUGGER_PORT, adaptor);
653447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
663447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
673447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public DebugEventSocketProxy(BaseRecognizer recognizer, int port, TreeAdaptor adaptor) {
683447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		this.grammarFileName = recognizer.getGrammarFileName();
693447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		this.adaptor = adaptor;
703447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		this.port = port;
713447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
723447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
733447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void handshake() throws IOException {
743447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		if ( serverSocket==null ) {
753447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			serverSocket = new ServerSocket(port);
763447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			socket = serverSocket.accept();
773447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			socket.setTcpNoDelay(true);
783447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			OutputStream os = socket.getOutputStream();
793447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			OutputStreamWriter osw = new OutputStreamWriter(os, "UTF8");
803447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			out = new PrintWriter(new BufferedWriter(osw));
813447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			InputStream is = socket.getInputStream();
823447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			InputStreamReader isr = new InputStreamReader(is, "UTF8");
833447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			in = new BufferedReader(isr);
843447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			out.println("ANTLR "+ DebugEventListener.PROTOCOL_VERSION);
853447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			out.println("grammar \""+ grammarFileName);
863447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			out.flush();
873447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			ack();
883447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		}
893447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
903447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
913447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void commence() {
923447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		// don't bother sending event; listener will trigger upon connection
933447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
943447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
953447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void terminate() {
963447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("terminate");
973447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		out.close();
983447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		try {
993447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			socket.close();
1003447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		}
1013447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		catch (IOException ioe) {
1023447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			ioe.printStackTrace(System.err);
1033447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		}
1043447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1053447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1063447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected void ack() {
1073447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		try {
1083447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			in.readLine();
1093447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		}
1103447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		catch (IOException ioe) {
1113447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			ioe.printStackTrace(System.err);
1123447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		}
1133447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1143447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1153447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected void transmit(String event) {
1163447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		out.println(event);
1173447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		out.flush();
1183447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		ack();
1193447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1203447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1213447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void enterRule(String grammarFileName, String ruleName) {
1223447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("enterRule\t"+grammarFileName+"\t"+ruleName);
1233447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1243447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1253447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void enterAlt(int alt) {
1263447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("enterAlt\t"+alt);
1273447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1283447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1293447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void exitRule(String grammarFileName, String ruleName) {
1303447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("exitRule\t"+grammarFileName+"\t"+ruleName);
1313447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1323447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1333447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void enterSubRule(int decisionNumber) {
1343447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("enterSubRule\t"+decisionNumber);
1353447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1363447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1373447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void exitSubRule(int decisionNumber) {
1383447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("exitSubRule\t"+decisionNumber);
1393447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1403447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1413447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void enterDecision(int decisionNumber, boolean couldBacktrack) {
1423447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("enterDecision\t"+decisionNumber+"\t"+couldBacktrack);
1433447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1443447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1453447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void exitDecision(int decisionNumber) {
1463447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("exitDecision\t"+decisionNumber);
1473447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1483447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1493447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void consumeToken(Token t) {
1503447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		String buf = serializeToken(t);
1513447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("consumeToken\t"+buf);
1523447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1533447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1543447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void consumeHiddenToken(Token t) {
1553447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		String buf = serializeToken(t);
1563447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("consumeHiddenToken\t"+buf);
1573447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1583447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1593447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void LT(int i, Token t) {
1603447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein        if(t != null)
1613447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein            transmit("LT\t"+i+"\t"+serializeToken(t));
1623447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1633447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1643447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void mark(int i) {
1653447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("mark\t"+i);
1663447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1673447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1683447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void rewind(int i) {
1693447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("rewind\t"+i);
1703447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1713447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1723447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void rewind() {
1733447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("rewind");
1743447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1753447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1763447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void beginBacktrack(int level) {
1773447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("beginBacktrack\t"+level);
1783447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1793447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1803447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void endBacktrack(int level, boolean successful) {
1813447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("endBacktrack\t"+level+"\t"+(successful?TRUE:FALSE));
1823447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1833447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1843447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void location(int line, int pos) {
1853447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("location\t"+line+"\t"+pos);
1863447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
1873447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
1883447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void recognitionException(RecognitionException e) {
1893447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		StringBuffer buf = new StringBuffer(50);
1903447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("exception\t");
1913447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(e.getClass().getName());
1923447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		// dump only the data common to all exceptions for now
1933447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
1943447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(e.index);
1953447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
1963447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(e.line);
1973447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
1983447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(e.charPositionInLine);
1993447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit(buf.toString());
2003447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2013447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2023447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void beginResync() {
2033447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("beginResync");
2043447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2053447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2063447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void endResync() {
2073447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("endResync");
2083447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2093447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2103447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void semanticPredicate(boolean result, String predicate) {
2113447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		StringBuffer buf = new StringBuffer(50);
2123447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("semanticPredicate\t");
2133447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(result);
2143447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		serializeText(buf, predicate);
2153447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit(buf.toString());
2163447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2173447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2183447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	// A S T  P a r s i n g  E v e n t s
2193447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2203447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void consumeNode(Object t) {
2213447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		StringBuffer buf = new StringBuffer(50);
2223447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("consumeNode");
2233447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		serializeNode(buf, t);
2243447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit(buf.toString());
2253447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2263447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2273447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void LT(int i, Object t) {
2283447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int ID = adaptor.getUniqueID(t);
2293447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		String text = adaptor.getText(t);
2303447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int type = adaptor.getType(t);
2313447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		StringBuffer buf = new StringBuffer(50);
2323447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("LN\t"); // lookahead node; distinguish from LT in protocol
2333447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(i);
2343447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		serializeNode(buf, t);
2353447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit(buf.toString());
2363447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2373447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2383447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected void serializeNode(StringBuffer buf, Object t) {
2393447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int ID = adaptor.getUniqueID(t);
2403447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		String text = adaptor.getText(t);
2413447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int type = adaptor.getType(t);
2423447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
2433447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(ID);
2443447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
2453447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(type);
2463447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		Token token = adaptor.getToken(t);
2473447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int line = -1;
2483447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int pos = -1;
2493447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		if ( token!=null ) {
2503447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			line = token.getLine();
2513447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			pos = token.getCharPositionInLine();
2523447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		}
2533447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
2543447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(line);
2553447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
2563447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(pos);
2573447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int tokenIndex = adaptor.getTokenStartIndex(t);
2583447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
2593447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(tokenIndex);
2603447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		serializeText(buf, text);
2613447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2623447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2633447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2643447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	// A S T  E v e n t s
2653447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2663447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void nilNode(Object t) {
2673447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int ID = adaptor.getUniqueID(t);
2683447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("nilNode\t"+ID);
2693447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2703447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2713447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void errorNode(Object t) {
2723447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int ID = adaptor.getUniqueID(t);
2733447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		String text = t.toString();
2743447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		StringBuffer buf = new StringBuffer(50);
2753447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("errorNode\t");
2763447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(ID);
2773447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
2783447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(Token.INVALID_TOKEN_TYPE);
2793447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		serializeText(buf, text);
2803447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit(buf.toString());
2813447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2823447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2833447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void createNode(Object t) {
2843447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int ID = adaptor.getUniqueID(t);
2853447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		String text = adaptor.getText(t);
2863447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int type = adaptor.getType(t);
2873447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		StringBuffer buf = new StringBuffer(50);
2883447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("createNodeFromTokenElements\t");
2893447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(ID);
2903447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t");
2913447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(type);
2923447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		serializeText(buf, text);
2933447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit(buf.toString());
2943447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
2953447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
2963447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void createNode(Object node, Token token) {
2973447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int ID = adaptor.getUniqueID(node);
2983447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int tokenIndex = token.getTokenIndex();
2993447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("createNode\t"+ID+"\t"+tokenIndex);
3003447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
3013447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
3023447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void becomeRoot(Object newRoot, Object oldRoot) {
3033447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int newRootID = adaptor.getUniqueID(newRoot);
3043447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int oldRootID = adaptor.getUniqueID(oldRoot);
3053447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("becomeRoot\t"+newRootID+"\t"+oldRootID);
3063447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
3073447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
3083447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void addChild(Object root, Object child) {
3093447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int rootID = adaptor.getUniqueID(root);
3103447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int childID = adaptor.getUniqueID(child);
3113447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("addChild\t"+rootID+"\t"+childID);
3123447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
3133447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
3143447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	public void setTokenBoundaries(Object t, int tokenStartIndex, int tokenStopIndex) {
3153447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		int ID = adaptor.getUniqueID(t);
3163447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		transmit("setTokenBoundaries\t"+ID+"\t"+tokenStartIndex+"\t"+tokenStopIndex);
3173447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
3183447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
3193447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
3203447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein    // support
3213447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
3223447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein    public void setTreeAdaptor(TreeAdaptor adaptor) { this.adaptor = adaptor; }
3233447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein    public TreeAdaptor getTreeAdaptor() { return adaptor; }
3243447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
3253447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein    protected String serializeToken(Token t) {
3263447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein        StringBuffer buf = new StringBuffer(50);
3273447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein        buf.append(t.getTokenIndex()); buf.append('\t');
3283447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein        buf.append(t.getType()); buf.append('\t');
3293447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein        buf.append(t.getChannel()); buf.append('\t');
3303447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein        buf.append(t.getLine()); buf.append('\t');
3313447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(t.getCharPositionInLine());
3323447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		serializeText(buf, t.getText());
3333447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		return buf.toString();
3343447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
3353447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
3363447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected void serializeText(StringBuffer buf, String text) {
3373447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append("\t\"");
3383447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		if ( text==null ) {
3393447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein			text = "";
3403447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		}
3413447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		// escape \n and \r all text for token appears to exist on one line
3423447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		// this escape is slow but easy to understand
3433447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		text = escapeNewlines(text);
3443447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		buf.append(text);
3453447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
3463447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
3473447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	protected String escapeNewlines(String txt) {
3483447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		txt = txt.replaceAll("%","%25");   // escape all escape char ;)
3493447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		txt = txt.replaceAll("\n","%0A");  // escape \n
3503447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		txt = txt.replaceAll("\r","%0D");  // escape \r
3513447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein		return txt;
3523447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein	}
3533447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein}
3543447a5916aa62f44de24cc441fc9987116ddff52Andrew Sapperstein
355