001: /* ====================================================================
002: * Tea - Copyright (c) 1997-2000 Walt Disney Internet Group
003: * ====================================================================
004: * The Tea Software License, Version 1.1
005: *
006: * Copyright (c) 2000 Walt Disney Internet Group. All rights reserved.
007: *
008: * Redistribution and use in source and binary forms, with or without
009: * modification, are permitted provided that the following conditions
010: * are met:
011: *
012: * 1. Redistributions of source code must retain the above copyright
013: * notice, this list of conditions and the following disclaimer.
014: *
015: * 2. Redistributions in binary form must reproduce the above copyright
016: * notice, this list of conditions and the following disclaimer in
017: * the documentation and/or other materials provided with the
018: * distribution.
019: *
020: * 3. The end-user documentation included with the redistribution,
021: * if any, must include the following acknowledgment:
022: * "This product includes software developed by the
023: * Walt Disney Internet Group (http://opensource.go.com/)."
024: * Alternately, this acknowledgment may appear in the software itself,
025: * if and wherever such third-party acknowledgments normally appear.
026: *
027: * 4. The names "Tea", "TeaServlet", "Kettle", "Trove" and "BeanDoc" must
028: * not be used to endorse or promote products derived from this
029: * software without prior written permission. For written
030: * permission, please contact opensource@dig.com.
031: *
032: * 5. Products derived from this software may not be called "Tea",
033: * "TeaServlet", "Kettle" or "Trove", nor may "Tea", "TeaServlet",
034: * "Kettle", "Trove" or "BeanDoc" appear in their name, without prior
035: * written permission of the Walt Disney Internet Group.
036: *
037: * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
038: * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
039: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
040: * DISCLAIMED. IN NO EVENT SHALL THE WALT DISNEY INTERNET GROUP OR ITS
041: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
042: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
043: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
044: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
045: * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
046: * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
047: * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
048: * ====================================================================
049: *
050: * For more information about Tea, please see http://opensource.go.com/.
051: */
052:
053: package com.go.tea.util;
054:
055: import java.io.IOException;
056: import java.io.PrintStream;
057: import java.io.BufferedReader;
058: import com.go.tea.compiler.SourceInfo;
059: import com.go.tea.compiler.CompilationUnit;
060: import com.go.tea.compiler.ErrorEvent;
061: import com.go.tea.compiler.ErrorListener;
062: import com.go.trove.io.LinePositionReader;
063:
064: /******************************************************************************
065: * ConsoleErrorReporter takes ErrorEvents and prints
066: * detailed messages to a PrintStream. When no longer needed, close the
067: * ConsoleErrorReporter to ensure all open resources (except the PrintStream)
068: * are closed.
069: *
070: * @author Brian S O'Neill
071: * @version
072: * <!--$$Revision:--> 11 <!-- $-->, <!--$$JustDate:--> 00/12/13 <!-- $-->
073: */
074: public class ConsoleErrorReporter implements ErrorListener {
075: private PrintStream mOut;
076: private LinePositionReader mPositionReader;
077: private CompilationUnit mPositionReaderUnit;
078:
079: public ConsoleErrorReporter(PrintStream out) {
080: mOut = out;
081: }
082:
083: /**
084: * Closes all open resources.
085: */
086: public void close() throws IOException {
087: if (mPositionReader != null) {
088: mPositionReader.close();
089: }
090:
091: mPositionReader = null;
092: mPositionReaderUnit = null;
093: }
094:
095: public void compileError(ErrorEvent e) {
096: mOut.println(e.getDetailedErrorMessage());
097:
098: SourceInfo info = e.getSourceInfo();
099: CompilationUnit unit = e.getCompilationUnit();
100:
101: try {
102: if (unit != null && info != null) {
103: int line = info.getLine();
104: int start = info.getStartPosition();
105: int end = info.getEndPosition();
106:
107: if (mPositionReader == null
108: || mPositionReaderUnit != unit
109: || mPositionReader.getLineNumber() >= line) {
110:
111: mPositionReaderUnit = unit;
112: mPositionReader = new LinePositionReader(
113: new BufferedReader(unit.getReader()));
114: }
115:
116: mPositionReader.skipForwardToLine(line);
117: int position = mPositionReader.getNextPosition();
118:
119: String lineStr = mPositionReader.readLine();
120: lineStr = mPositionReader.cleanWhitespace(lineStr);
121: mOut.println(lineStr);
122:
123: int indentSize = start - position;
124: String indent = mPositionReader.createSequence(' ',
125: indentSize);
126:
127: int markerSize = end - start + 1;
128: String marker = mPositionReader.createSequence('^',
129: markerSize);
130:
131: mOut.print(indent);
132: mOut.println(marker);
133: mOut.println();
134: }
135: } catch (IOException ex) {
136: Thread t = Thread.currentThread();
137: t.getThreadGroup().uncaughtException(t, ex);
138: }
139: }
140:
141: protected void finalize() throws Throwable {
142: close();
143: }
144: }
|