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.compiler;
054:
055: /******************************************************************************
056: * Provides information on where an object (like a token) appeared in the
057: * the source file.
058: *
059: * @author Brian S O'Neill
060: * @version
061: * <!--$$Revision:--> 17 <!-- $-->, <!--$$JustDate:--> 00/12/14 <!-- $-->
062: */
063: public class SourceInfo implements Cloneable, java.io.Serializable {
064: private int mLine;
065: private int mStartPosition;
066: private int mEndPosition;
067:
068: public SourceInfo(int line, int startPos, int endPos) {
069: mLine = line;
070: mStartPosition = startPos;
071: mEndPosition = endPos;
072: }
073:
074: /**
075: * @return The line in the source file. The first line is one.
076: */
077: public int getLine() {
078: return mLine;
079: }
080:
081: /**
082: * @return The character position in the source file where this object
083: * started. The first position of the source file is zero.
084: */
085: public int getStartPosition() {
086: return mStartPosition;
087: }
088:
089: /**
090: * @return The character position in the source file where this object
091: * ended. The first position of the source file is zero.
092: */
093: public int getEndPosition() {
094: return mEndPosition;
095: }
096:
097: /**
098: * @return A character position detailing this object. Usually is the same
099: * as the start position.
100: */
101: public int getDetailPosition() {
102: return mStartPosition;
103: }
104:
105: private SourceInfo copy() {
106: try {
107: return (SourceInfo) super .clone();
108: } catch (CloneNotSupportedException e) {
109: // Should never happen
110: throw new RuntimeException(e.toString());
111: }
112: }
113:
114: /**
115: * @return A clone of this SourceInfo, but with a different end position
116: */
117: public SourceInfo setEndPosition(int endPos) {
118: SourceInfo infoCopy = copy();
119: infoCopy.mEndPosition = endPos;
120: return infoCopy;
121: }
122:
123: /**
124: * @return A clone of this SourceInfo, but with a different end position
125: */
126: public SourceInfo setEndPosition(SourceInfo info) {
127: return setEndPosition(info.getEndPosition());
128: }
129:
130: public String toString() {
131: StringBuffer buf = new StringBuffer(60);
132:
133: buf.append("line=");
134: buf.append(getLine());
135: buf.append(',');
136: buf.append("start=");
137: buf.append(getStartPosition());
138: buf.append(',');
139: buf.append("end=");
140: buf.append(getEndPosition());
141: buf.append(',');
142: buf.append("detail=");
143: buf.append(getDetailPosition());
144:
145: return buf.toString();
146: }
147: }
|