01: /*
02: * Janino - An embedded Java[TM] compiler
03: *
04: * Copyright (c) 2006, Arno Unkrig
05: * All rights reserved.
06: *
07: * Redistribution and use in source and binary forms, with or without
08: * modification, are permitted provided that the following conditions
09: * are met:
10: *
11: * 1. Redistributions of source code must retain the above copyright
12: * notice, this list of conditions and the following disclaimer.
13: * 2. Redistributions in binary form must reproduce the above
14: * copyright notice, this list of conditions and the following
15: * disclaimer in the documentation and/or other materials
16: * provided with the distribution.
17: * 3. The name of the author may not be used to endorse or promote
18: * products derived from this software without specific prior
19: * written permission.
20: *
21: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
22: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
23: * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24: * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
25: * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26: * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
27: * GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
28: * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
29: * IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
30: * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
31: * IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32: */
33:
34: package org.codehaus.janino;
35:
36: /**
37: * Represents the location of a character in a file, as defined by
38: * file name, line number and column number.
39: */
40: public class Location {
41: public Location(String optionalFileName, short lineNumber,
42: short columnNumber) {
43: this .optionalFileName = optionalFileName;
44: this .lineNumber = lineNumber;
45: this .columnNumber = columnNumber;
46: }
47:
48: public String getFileName() {
49: return this .optionalFileName;
50: }
51:
52: public short getLineNumber() {
53: return this .lineNumber;
54: }
55:
56: public short getColumnNumber() {
57: return this .columnNumber;
58: }
59:
60: /**
61: * Converts this {@link Location} into an english text, like<pre>
62: * File Main.java, Line 23, Column 79</pre>
63: */
64: public String toString() {
65: StringBuffer sb = new StringBuffer();
66: if (this .optionalFileName != null) {
67: sb.append("File ").append(this .optionalFileName).append(
68: ", ");
69: }
70: sb.append("Line ").append(this .lineNumber).append(", ");
71: sb.append("Column ").append(this .columnNumber);
72: return sb.toString();
73: }
74:
75: private/*final*/String optionalFileName;
76: private/*final*/short lineNumber;
77: private/*final*/short columnNumber;
78: }
|