truffle: graal/com.oracle.truffle.api/src/com/oracle/truffle/api/source/Source.java annotate

annotate graal/com.oracle.truffle.api/src/com/oracle/truffle/api/source/Source.java @ 19688:33bdafbf285d

Truffle: SourceSection can now produce the line/column coordinates of its final character

author	Michael Van De Vanter <michael.van.de.vanter@oracle.com>
date	Tue, 03 Mar 2015 17:11:46 -0800
parents	787b5aa53401
children	c152a485d747

rev	line source
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1 /*
19687 787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	2 * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved.
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	4 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	7 * published by the Free Software Foundation. Oracle designates this
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	8 * particular file as subject to the "Classpath" exception as provided
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	9 * by Oracle in the LICENSE file that accompanied this code.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	10 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	11 * This code is distributed in the hope that it will be useful, but WITHOUT
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	14 * version 2 for more details (a copy is included in the LICENSE file that
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	15 * accompanied this code).
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	16 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	17 * You should have received a copy of the GNU General Public License version
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	18 * 2 along with this work; if not, write to the Free Software Foundation,
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	20 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	22 * or visit www.oracle.com if you need additional information or have any
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	23 * questions.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	24 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	25 package com.oracle.truffle.api.source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	26
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	27 import java.io.*;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	28 import java.lang.ref.*;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	29 import java.net.*;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	30 import java.util.*;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	31
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	32 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	33 * Representation of a guest language source code unit and its contents. Sources originate in
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	34 * several ways:
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	35 * <ul>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	36 * <li><strong>Literal:</strong> A named text string. These are not indexed and should be considered
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	37 * value objects; equality is defined based on contents. <br>
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	38 * See {@link Source#fromText(CharSequence, String)}</li>
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	39 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	40 * <li><strong>File:</strong> Each file is represented as a canonical object, indexed by the
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	41 * absolute, canonical path name of the file. File contents are <em>read lazily</em> and contents
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	42 * optionally <em>cached</em>. <br>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	43 * See {@link Source#fromFileName(String)}<br>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	44 * See {@link Source#fromFileName(String, boolean)}</li>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	45 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	46 * <li><strong>URL:</strong> Each URL source is represented as a canonical object, indexed by the
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	47 * URL. Contents are <em>read eagerly</em> and <em>cached</em>. <br>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	48 * See {@link Source#fromURL(URL, String)}</li>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	49 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	50 * <li><strong>Reader:</strong> Contents are <em>read eagerly</em> and treated as a <em>Literal</em>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	51 * . <br>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	52 * See {@link Source#fromReader(Reader, String)}</li>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	53 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	54 * <li><strong>Pseudo File:</strong> A literal text string that can be retrieved by name as if it
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	55 * were a file, unlike literal sources; useful for testing. <br>
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	56 * See {@link Source#asPseudoFile(CharSequence, String)}</li>
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	57 * </ul>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	58 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	59 * <strong>File cache:</strong>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	60 * <ol>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	61 * <li>File content caching is optional, <em>off</em> by default.</li>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	62 * <li>The first access to source file contents will result in the contents being read, and (if
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	63 * enabled) cached.</li>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	64 * <li>If file contents have been cached, access to contents via {@link Source#getInputStream()} or
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	65 * {@link Source#getReader()} will be provided from the cache.</li>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	66 * <li>Any access to file contents via the cache will result in a timestamp check and possible cache
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	67 * reload.</li>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	68 * </ol>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	69 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	70 public abstract class Source {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	71
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	72 // TODO (mlvdv) consider canonicalizing and reusing SourceSection instances
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	73 // TOOD (mlvdv) connect SourceSections into a spatial tree for fast geometric lookup
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	74
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	75 // Files and pseudo files are indexed.
16989 19faa7ca37c1 Truffle/Source: use a synchronized hash table Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16140 diff changeset	76 private static final Map<String, WeakReference<Source>> filePathToSource = new Hashtable<>();
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	77
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	78 private static boolean fileCacheEnabled = true;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	79
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	80 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	81 * Gets the canonical representation of a source file, whose contents will be read lazily and
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	82 * then cached.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	83 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	84 * @param fileName name
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	85 * @param reset forces any existing {@link Source} cache to be cleared, forcing a re-read
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	86 * @return canonical representation of the file's contents.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	87 * @throws IOException if the file can not be read
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	88 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	89 public static Source fromFileName(String fileName, boolean reset) throws IOException {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	90
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	91 final WeakReference<Source> nameRef = filePathToSource.get(fileName);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	92 Source source = nameRef == null ? null : nameRef.get();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	93 if (source == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	94 final File file = new File(fileName);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	95 if (!file.canRead()) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	96 throw new IOException("Can't read file " + fileName);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	97 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	98 final String path = file.getCanonicalPath();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	99 final WeakReference<Source> pathRef = filePathToSource.get(path);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	100 source = pathRef == null ? null : pathRef.get();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	101 if (source == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	102 source = new FileSource(file, fileName, path);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	103 filePathToSource.put(path, new WeakReference<>(source));
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	104 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	105 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	106 if (reset) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	107 source.reset();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	108 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	109 return source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	110 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	111
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	112 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	113 * Gets the canonical representation of a source file, whose contents will be read lazily and
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	114 * then cached.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	115 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	116 * @param fileName name
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	117 * @return canonical representation of the file's contents.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	118 * @throws IOException if the file can not be read
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	119 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	120 public static Source fromFileName(String fileName) throws IOException {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	121 return fromFileName(fileName, false);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	122 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	123
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	124 /**
19687 787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	125 * Gets the canonical representation of a source file, whose contents have already been read and
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	126 * need not be read again. It is confirmed that the file resolves to a file name, so it can be
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	127 * indexed by canonical path, but it is not confirmed to be readable.
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	128 *
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	129 * @param chars textual source code already read from the file
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	130 * @param fileName
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	131 * @return canonical representation of the file's contents.
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	132 * @throws IOException if the file cannot be found
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	133 * @throws IllegalArgumentException if there is already a Source indexed under this file name
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	134 */
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	135 public static Source fromFileName(CharSequence chars, String fileName) throws IOException, IllegalArgumentException {
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	136 final WeakReference<Source> nameRef = filePathToSource.get(fileName);
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	137 Source source = nameRef == null ? null : nameRef.get();
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	138 if (source == null) {
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	139 final File file = new File(fileName);
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	140 // We are going to trust that the fileName is readable.
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	141 final String path = file.getCanonicalPath();
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	142 final WeakReference<Source> pathRef = filePathToSource.get(path);
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	143 source = pathRef == null ? null : pathRef.get();
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	144 if (source == null) {
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	145 source = new FileSource(file, fileName, path, chars);
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	146 filePathToSource.put(path, new WeakReference<>(source));
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	147 return source;
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	148 }
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	149 }
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	150 throw new IOException("Source already exists for file:" + fileName);
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	151 }
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	152
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	153 /**
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	154 * Creates a non-canonical source from literal text. If an already created literal source must
f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	155 * be retrievable by name, use {@link #asPseudoFile(CharSequence, String)}.
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	156 *
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	157 * @param chars textual source code
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	158 * @param description a note about the origin, for error messages and debugging
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	159 * @return a newly created, non-indexed source representation
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	160 */
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	161 public static Source fromText(CharSequence chars, String description) {
f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	162 assert chars != null;
f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	163 return new LiteralSource(description, chars.toString());
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	164 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	165
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	166 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	167 * Creates a source whose contents will be read immediately from a URL and cached.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	168 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	169 * @param url
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	170 * @param description identifies the origin, possibly useful for debugging
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	171 * @return a newly created, non-indexed source representation
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	172 * @throws IOException if reading fails
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	173 */
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	174 public static Source fromURL(URL url, String description) throws IOException {
f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	175 return URLSource.get(url, description);
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	176 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	177
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	178 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	179 * Creates a source whose contents will be read immediately and cached.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	180 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	181 * @param reader
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	182 * @param description a note about the origin, possibly useful for debugging
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	183 * @return a newly created, non-indexed source representation
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	184 * @throws IOException if reading fails
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	185 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	186 public static Source fromReader(Reader reader, String description) throws IOException {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	187 return new LiteralSource(description, read(reader));
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	188 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	189
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	190 /**
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	191 * Creates a source from raw bytes. This can be used if the encoding of strings in your language
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	192 * is not compatible with Java strings, or if your parser returns byte indices instead of
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	193 * character indices. The returned source is then indexed by byte, not by character.
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	194 *
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	195 * @param bytes the raw bytes of the source
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	196 * @param description a note about the origin, possibly useful for debugging
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	197 * @param decoder how to decode the bytes into Java strings
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	198 * @return a newly created, non-indexed source representation
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	199 */
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	200 public static Source fromBytes(byte[] bytes, String description, BytesDecoder decoder) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	201 return fromBytes(bytes, 0, bytes.length, description, decoder);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	202 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	203
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	204 /**
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	205 * Creates a source from raw bytes. This can be used if the encoding of strings in your language
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	206 * is not compatible with Java strings, or if your parser returns byte indices instead of
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	207 * character indices. The returned source is then indexed by byte, not by character. Offsets are
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	208 * relative to byteIndex.
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	209 *
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	210 * @param bytes the raw bytes of the source
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	211 * @param byteIndex where the string starts in the byte array
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	212 * @param length the length of the string in the byte array
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	213 * @param description a note about the origin, possibly useful for debugging
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	214 * @param decoder how to decode the bytes into Java strings
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	215 * @return a newly created, non-indexed source representation
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	216 */
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	217 public static Source fromBytes(byte[] bytes, int byteIndex, int length, String description, BytesDecoder decoder) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	218 return new BytesSource(description, bytes, byteIndex, length, decoder);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	219 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	220
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	221 /**
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	222 * Creates a source from literal text, but which acts as a file and can be retrieved by name
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	223 * (unlike other literal sources); intended for testing.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	224 *
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	225 * @param chars textual source code
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	226 * @param pseudoFileName string to use for indexing/lookup
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	227 * @return a newly created, source representation, canonical with respect to its name
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	228 */
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	229 public static Source asPseudoFile(CharSequence chars, String pseudoFileName) {
f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	230 final Source source = new LiteralSource(pseudoFileName, chars.toString());
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	231 filePathToSource.put(pseudoFileName, new WeakReference<>(source));
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	232 return source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	233 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	234
16989 19faa7ca37c1 Truffle/Source: use a synchronized hash table Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16140 diff changeset	235 // TODO (mlvdv) enable per-file choice whether to cache?
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	236 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	237 * Enables/disables caching of file contents, <em>disabled</em> by default. Caching of sources
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	238 * created from literal text or readers is always enabled.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	239 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	240 public static void setFileCaching(boolean enabled) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	241 fileCacheEnabled = enabled;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	242 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	243
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	244 private static String read(Reader reader) throws IOException {
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	245 final BufferedReader bufferedReader = new BufferedReader(reader);
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	246 final StringBuilder builder = new StringBuilder();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	247 final char[] buffer = new char[1024];
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	248
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	249 while (true) {
18672 f17b2a0303db Truffle/Source: change signature of Source factory methods to take literal text as CharSequence instead of String. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18485 diff changeset	250 final int n = bufferedReader.read(buffer);
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	251 if (n == -1) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	252 break;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	253 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	254 builder.append(buffer, 0, n);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	255 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	256
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	257 return builder.toString();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	258 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	259
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	260 Source() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	261 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	262
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	263 private TextMap textMap = null;
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	264
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	265 protected abstract void reset();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	266
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	267 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	268 * Returns the name of this resource holding a guest language program. An example would be the
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	269 * name of a guest language source code file.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	270 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	271 * @return the name of the guest language program
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	272 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	273 public abstract String getName();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	274
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	275 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	276 * Returns a short version of the name of the resource holding a guest language program (as
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	277 * described in @getName). For example, this could be just the name of the file, rather than a
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	278 * full path.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	279 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	280 * @return the short name of the guest language program
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	281 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	282 public abstract String getShortName();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	283
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	284 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	285 * The normalized, canonical name if the source is a file.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	286 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	287 public abstract String getPath();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	288
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	289 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	290 * The URL if the source is retrieved via URL.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	291 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	292 public abstract URL getURL();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	293
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	294 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	295 * Access to the source contents.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	296 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	297 public abstract Reader getReader();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	298
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	299 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	300 * Access to the source contents.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	301 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	302 public final InputStream getInputStream() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	303 return new ByteArrayInputStream(getCode().getBytes());
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	304 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	305
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	306 /**
19687 787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	307 * Returns the complete text of the code.
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	308 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	309 public abstract String getCode();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	310
19687 787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	311 /**
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	312 * Returns a subsection of the code test.
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	313 */
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	314 public String getCode(int charIndex, int charLength) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	315 return getCode().substring(charIndex, charIndex + charLength);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	316 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	317
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	318 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	319 * Gets the text (not including a possible terminating newline) in a (1-based) numbered line.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	320 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	321 public final String getCode(int lineNumber) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	322 checkTextMap();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	323 final int offset = textMap.lineStartOffset(lineNumber);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	324 final int length = textMap.lineLength(lineNumber);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	325 return getCode().substring(offset, offset + length);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	326 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	327
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	328 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	329 * The number of text lines in the source, including empty lines; characters at the end of the
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	330 * source without a terminating newline count as a line.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	331 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	332 public final int getLineCount() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	333 return checkTextMap().lineCount();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	334 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	335
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	336 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	337 * Given a 0-based character offset, return the 1-based number of the line that includes the
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	338 * position.
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	339 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	340 * @throws IllegalArgumentException if the offset is outside the text contents
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	341 */
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	342 public final int getLineNumber(int offset) throws IllegalArgumentException {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	343 return checkTextMap().offsetToLine(offset);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	344 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	345
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	346 /**
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	347 * Given a 0-based character offset, return the 1-based number of the column at the position.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	348 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	349 * @throws IllegalArgumentException if the offset is outside the text contents
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	350 */
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	351 public final int getColumnNumber(int offset) throws IllegalArgumentException {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	352 return checkTextMap().offsetToCol(offset);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	353 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	354
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	355 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	356 * Given a 1-based line number, return the 0-based offset of the first character in the line.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	357 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	358 * @throws IllegalArgumentException if there is no such line in the text
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	359 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	360 public final int getLineStartOffset(int lineNumber) throws IllegalArgumentException {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	361 return checkTextMap().lineStartOffset(lineNumber);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	362 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	363
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	364 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	365 * The number of characters (not counting a possible terminating newline) in a (1-based)
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	366 * numbered line.
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	367 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	368 * @throws IllegalArgumentException if there is no such line in the text
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	369 */
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	370 public final int getLineLength(int lineNumber) throws IllegalArgumentException {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	371 return checkTextMap().lineLength(lineNumber);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	372 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	373
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	374 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	375 * Creates a representation of a contiguous region of text in the source.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	376 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	377 * This method performs no checks on the validity of the arguments.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	378 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	379 * The resulting representation defines hash/equality around equivalent location, presuming that
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	380 * {@link Source} representations are canonical.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	381 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	382 * @param identifier terse description of the region
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	383 * @param startLine 1-based line number of the first character in the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	384 * @param startColumn 1-based column number of the first character in the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	385 * @param charIndex the 0-based index of the first character of the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	386 * @param length the number of characters in the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	387 * @return newly created object representing the specified region
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	388 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	389 public final SourceSection createSection(String identifier, int startLine, int startColumn, int charIndex, int length) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	390 return new DefaultSourceSection(this, identifier, startLine, startColumn, charIndex, length);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	391 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	392
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	393 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	394 * Creates a representation of a contiguous region of text in the source. Computes the
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	395 * {@code charIndex} value by building a {@linkplain TextMap map} of lines in the source.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	396 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	397 * Checks the position arguments for consistency with the source.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	398 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	399 * The resulting representation defines hash/equality around equivalent location, presuming that
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	400 * {@link Source} representations are canonical.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	401 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	402 * @param identifier terse description of the region
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	403 * @param startLine 1-based line number of the first character in the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	404 * @param startColumn 1-based column number of the first character in the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	405 * @param length the number of characters in the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	406 * @return newly created object representing the specified region
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	407 * @throws IllegalArgumentException if arguments are outside the text of the source
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	408 * @throws IllegalStateException if the source is one of the "null" instances
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	409 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	410 public final SourceSection createSection(String identifier, int startLine, int startColumn, int length) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	411 checkTextMap();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	412 final int lineStartOffset = textMap.lineStartOffset(startLine);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	413 if (startColumn > textMap.lineLength(startLine)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	414 throw new IllegalArgumentException("column out of range");
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	415 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	416 final int startOffset = lineStartOffset + startColumn - 1;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	417 return new DefaultSourceSection(this, identifier, startLine, startColumn, startOffset, length);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	418 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	419
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	420 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	421 * Creates a representation of a contiguous region of text in the source. Computes the
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	422 * {@code (startLine, startColumn)} values by building a {@linkplain TextMap map} of lines in
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	423 * the source.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	424 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	425 * Checks the position arguments for consistency with the source.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	426 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	427 * The resulting representation defines hash/equality around equivalent location, presuming that
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	428 * {@link Source} representations are canonical.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	429 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	430 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	431 * @param identifier terse description of the region
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	432 * @param charIndex 0-based position of the first character in the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	433 * @param length the number of characters in the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	434 * @return newly created object representing the specified region
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	435 * @throws IllegalArgumentException if either of the arguments are outside the text of the
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	436 * source
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	437 * @throws IllegalStateException if the source is one of the "null" instances
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	438 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	439 public final SourceSection createSection(String identifier, int charIndex, int length) throws IllegalArgumentException {
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	440 checkRange(charIndex, length);
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	441 checkTextMap();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	442 final int startLine = getLineNumber(charIndex);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	443 final int startColumn = charIndex - getLineStartOffset(startLine) + 1;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	444
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	445 return new DefaultSourceSection(this, identifier, startLine, startColumn, charIndex, length);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	446 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	447
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	448 protected void checkRange(int charIndex, int length) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	449 if (!(charIndex >= 0 && length >= 0 && charIndex + length <= getCode().length())) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	450 throw new IllegalArgumentException("text positions out of range");
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	451 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	452 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	453
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	454 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	455 * Creates a representation of a line of text in the source identified only by line number, from
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	456 * which the character information will be computed.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	457 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	458 * @param identifier terse description of the line
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	459 * @param lineNumber 1-based line number of the first character in the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	460 * @return newly created object representing the specified line
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	461 * @throws IllegalArgumentException if the line does not exist the source
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	462 * @throws IllegalStateException if the source is one of the "null" instances
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	463 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	464 public final SourceSection createSection(String identifier, int lineNumber) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	465 checkTextMap();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	466 final int charIndex = textMap.lineStartOffset(lineNumber);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	467 final int length = textMap.lineLength(lineNumber);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	468 return createSection(identifier, charIndex, length);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	469 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	470
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	471 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	472 * Creates a representation of a line number in this source, suitable for use as a hash table
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	473 * key with equality defined to mean equivalent location.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	474 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	475 * @param lineNumber a 1-based line number in this source
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	476 * @return a representation of a line in this source
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	477 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	478 public final LineLocation createLineLocation(int lineNumber) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	479 return new LineLocationImpl(this, lineNumber);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	480 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	481
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	482 private TextMap checkTextMap() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	483 if (textMap == null) {
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	484 textMap = createTextMap();
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	485 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	486 return textMap;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	487 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	488
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	489 protected TextMap createTextMap() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	490 final String code = getCode();
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	491 if (code == null) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	492 throw new RuntimeException("can't read file " + getName());
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	493 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	494 return TextMap.fromString(code);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	495 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	496
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	497 private static final class LiteralSource extends Source {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	498
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	499 private final String name; // Name used originally to describe the source
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	500 private final String code;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	501
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	502 public LiteralSource(String name, String code) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	503 this.name = name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	504 this.code = code;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	505 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	506
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	507 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	508 public String getName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	509 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	510 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	511
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	512 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	513 public String getShortName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	514 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	515 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	516
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	517 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	518 public String getCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	519 return code;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	520 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	521
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	522 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	523 public String getPath() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	524 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	525 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	526
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	527 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	528 public URL getURL() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	529 return null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	530 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	531
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	532 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	533 public Reader getReader() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	534 return new StringReader(code);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	535 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	536
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	537 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	538 protected void reset() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	539 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	540
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	541 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	542 public int hashCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	543 final int prime = 31;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	544 int result = 1;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	545 result = prime * result + name.hashCode();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	546 result = prime * result + (code == null ? 0 : code.hashCode());
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	547 return result;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	548 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	549
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	550 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	551 public boolean equals(Object obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	552 if (this == obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	553 return true;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	554 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	555 if (obj == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	556 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	557 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	558 if (!(obj instanceof LiteralSource)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	559 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	560 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	561 LiteralSource other = (LiteralSource) obj;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	562 return name.equals(other.name) && code.equals(other.code);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	563 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	564
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	565 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	566
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	567 private static final class FileSource extends Source {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	568
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	569 private final File file;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	570 private final String name; // Name used originally to describe the source
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	571 private final String path; // Normalized path description of an actual file
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	572
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	573 private String code = null; // A cache of the file's contents
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	574 private long timeStamp; // timestamp of the cache in the file system
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	575
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	576 public FileSource(File file, String name, String path) {
19687 787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	577 this(file, name, path, null);
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	578 }
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	579
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	580 public FileSource(File file, String name, String path, CharSequence chars) {
18980 ae0eb836e6f4 store absolute file in FileSource Lukas Stadler <lukas.stadler@oracle.com> parents: 18979 diff changeset	581 this.file = file.getAbsoluteFile();
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	582 this.name = name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	583 this.path = path;
19687 787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	584 if (chars != null) {
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	585 this.code = chars.toString();
787b5aa53401 Truffle: new factory method for files whose contents have already been read. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18980 diff changeset	586 }
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	587 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	588
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	589 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	590 public String getName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	591 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	592 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	593
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	594 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	595 public String getShortName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	596 return file.getName();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	597 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	598
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	599 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	600 public String getCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	601 if (fileCacheEnabled) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	602 if (code == null \|\| timeStamp != file.lastModified()) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	603 try {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	604 code = read(getReader());
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	605 timeStamp = file.lastModified();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	606 } catch (IOException e) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	607 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	608 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	609 return code;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	610 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	611 try {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	612 return read(new FileReader(file));
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	613 } catch (IOException e) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	614 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	615 return null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	616 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	617
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	618 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	619 public String getPath() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	620 return path;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	621 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	622
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	623 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	624 public URL getURL() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	625 return null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	626 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	627
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	628 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	629 public Reader getReader() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	630 if (code != null && timeStamp == file.lastModified()) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	631 return new StringReader(code);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	632 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	633 try {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	634 return new FileReader(file);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	635 } catch (FileNotFoundException e) {
18979 bdb24e259c11 include original exception in FileSource.getReader Lukas Stadler <lukas.stadler@oracle.com> parents: 18676 diff changeset	636
bdb24e259c11 include original exception in FileSource.getReader Lukas Stadler <lukas.stadler@oracle.com> parents: 18676 diff changeset	637 throw new RuntimeException("Can't find file " + path, e);
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	638 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	639 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	640
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	641 @Override
18676 1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	642 public int hashCode() {
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	643 return path.hashCode();
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	644 }
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	645
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	646 @Override
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	647 public boolean equals(Object obj) {
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	648 if (this == obj) {
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	649 return true;
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	650 }
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	651 if (obj instanceof FileSource) {
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	652 FileSource other = (FileSource) obj;
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	653 return path.equals(other.path);
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	654 }
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	655 return false;
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	656 }
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	657
1c12cf39281d Truffle/Source: redefine equality of FileSource objects strictly in terms of the canonicalized file path, for use as hash key. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18672 diff changeset	658 @Override
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	659 protected void reset() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	660 this.code = null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	661 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	662
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	663 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	664
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	665 private static final class URLSource extends Source {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	666
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	667 private static final Map<URL, WeakReference<URLSource>> urlToSource = new HashMap<>();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	668
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	669 public static URLSource get(URL url, String name) throws IOException {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	670 WeakReference<URLSource> sourceRef = urlToSource.get(url);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	671 URLSource source = sourceRef == null ? null : sourceRef.get();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	672 if (source == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	673 source = new URLSource(url, name);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	674 urlToSource.put(url, new WeakReference<>(source));
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	675 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	676 return source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	677 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	678
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	679 private final URL url;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	680 private final String name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	681 private String code = null; // A cache of the source contents
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	682
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	683 public URLSource(URL url, String name) throws IOException {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	684 this.url = url;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	685 this.name = name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	686 code = read(new InputStreamReader(url.openStream()));
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	687 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	688
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	689 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	690 public String getName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	691 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	692 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	693
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	694 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	695 public String getShortName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	696 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	697 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	698
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	699 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	700 public String getPath() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	701 return url.getPath();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	702 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	703
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	704 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	705 public URL getURL() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	706 return url;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	707 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	708
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	709 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	710 public Reader getReader() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	711 return new StringReader(code);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	712 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	713
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	714 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	715 public String getCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	716 return code;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	717 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	718
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	719 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	720 protected void reset() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	721 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	722
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	723 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	724
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	725 private static final class BytesSource extends Source {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	726
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	727 private final String name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	728 private final byte[] bytes;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	729 private final int byteIndex;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	730 private final int length;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	731 private final BytesDecoder decoder;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	732
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	733 public BytesSource(String name, byte[] bytes, int byteIndex, int length, BytesDecoder decoder) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	734 this.name = name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	735 this.bytes = bytes;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	736 this.byteIndex = byteIndex;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	737 this.length = length;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	738 this.decoder = decoder;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	739 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	740
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	741 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	742 protected void reset() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	743 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	744
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	745 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	746 public String getName() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	747 return name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	748 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	749
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	750 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	751 public String getShortName() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	752 return name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	753 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	754
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	755 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	756 public String getPath() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	757 return name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	758 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	759
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	760 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	761 public URL getURL() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	762 return null;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	763 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	764
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	765 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	766 public Reader getReader() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	767 return null;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	768 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	769
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	770 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	771 public String getCode() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	772 return decoder.decode(bytes, byteIndex, length);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	773 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	774
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	775 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	776 public String getCode(int byteOffset, int codeLength) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	777 return decoder.decode(bytes, byteIndex + byteOffset, codeLength);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	778 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	779
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	780 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	781 protected void checkRange(int charIndex, int rangeLength) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	782 if (!(charIndex >= 0 && rangeLength >= 0 && charIndex + rangeLength <= length)) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	783 throw new IllegalArgumentException("text positions out of range");
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	784 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	785 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	786
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	787 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	788 protected TextMap createTextMap() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	789 return TextMap.fromBytes(bytes, byteIndex, length, decoder);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	790 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	791 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	792
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	793 private static final class DefaultSourceSection implements SourceSection {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	794
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	795 private final Source source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	796 private final String identifier;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	797 private final int startLine;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	798 private final int startColumn;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	799 private final int charIndex;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	800 private final int charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	801
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	802 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	803 * Creates a new object representing a contiguous text section within the source code of a
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	804 * guest language program's text.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	805 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	806 * The starting location of the section is specified using two different coordinate:
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	807 * <ul>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	808 * <li><b>(row, column)</b>: rows and columns are 1-based, so the first character in a
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	809 * source file is at position {@code (1,1)}.</li>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	810 * <li><b>character index</b>: 0-based offset of the character from the beginning of the
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	811 * source, so the first character in a file is at index {@code 0}.</li>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	812 * </ul>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	813 * The <b>newline</b> that terminates each line counts as a single character for the purpose
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	814 * of a character index. The (row,column) coordinates of a newline character should never
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	815 * appear in a text section.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	816 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	817 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	818 * @param source object representing the complete source program that contains this section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	819 * @param identifier an identifier used when printing the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	820 * @param startLine the 1-based number of the start line of the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	821 * @param startColumn the 1-based number of the start column of the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	822 * @param charIndex the 0-based index of the first character of the section
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	823 * @param charLength the length of the section in number of characters
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	824 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	825 public DefaultSourceSection(Source source, String identifier, int startLine, int startColumn, int charIndex, int charLength) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	826 this.source = source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	827 this.identifier = identifier;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	828 this.startLine = startLine;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	829 this.startColumn = startColumn;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	830 this.charIndex = charIndex;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	831 this.charLength = charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	832 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	833
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	834 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	835 public Source getSource() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	836 return source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	837 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	838
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	839 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	840 public int getStartLine() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	841 return startLine;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	842 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	843
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	844 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	845 public LineLocation getLineLocation() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	846 return source.createLineLocation(startLine);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	847 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	848
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	849 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	850 public int getStartColumn() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	851 return startColumn;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	852 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	853
19688 33bdafbf285d Truffle: SourceSection can now produce the line/column coordinates of its final character Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 19687 diff changeset	854 public int getEndLine() {
33bdafbf285d Truffle: SourceSection can now produce the line/column coordinates of its final character Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 19687 diff changeset	855 return source.getLineNumber(charIndex + charLength - 1);
33bdafbf285d Truffle: SourceSection can now produce the line/column coordinates of its final character Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 19687 diff changeset	856 }
33bdafbf285d Truffle: SourceSection can now produce the line/column coordinates of its final character Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 19687 diff changeset	857
33bdafbf285d Truffle: SourceSection can now produce the line/column coordinates of its final character Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 19687 diff changeset	858 public int getEndColumn() {
33bdafbf285d Truffle: SourceSection can now produce the line/column coordinates of its final character Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 19687 diff changeset	859 return source.getColumnNumber(charIndex + charLength - 1);
33bdafbf285d Truffle: SourceSection can now produce the line/column coordinates of its final character Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 19687 diff changeset	860 }
33bdafbf285d Truffle: SourceSection can now produce the line/column coordinates of its final character Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 19687 diff changeset	861
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	862 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	863 public int getCharIndex() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	864 return charIndex;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	865 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	866
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	867 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	868 public int getCharLength() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	869 return charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	870 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	871
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	872 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	873 public int getCharEndIndex() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	874 return charIndex + charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	875 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	876
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	877 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	878 public String getIdentifier() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	879 return identifier;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	880 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	881
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	882 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	883 public String getCode() {
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	884 return getSource().getCode(charIndex, charLength);
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	885 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	886
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	887 @Override
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 17066 diff changeset	888 public String getShortDescription() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	889 return String.format("%s:%d", source.getShortName(), startLine);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	890 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	891
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	892 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	893 public String toString() {
16140 7109baa7b9eb Truffle/Source: SourceSection.toString() is now equivalent to getCode() Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16130 diff changeset	894 return getCode();
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	895 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	896
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	897 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	898 public int hashCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	899 final int prime = 31;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	900 int result = 1;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	901 result = prime * result + charIndex;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	902 result = prime * result + charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	903 result = prime * result + ((identifier == null) ? 0 : identifier.hashCode());
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	904 result = prime * result + ((source == null) ? 0 : source.hashCode());
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	905 result = prime * result + startColumn;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	906 result = prime * result + startLine;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	907 return result;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	908 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	909
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	910 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	911 public boolean equals(Object obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	912 if (this == obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	913 return true;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	914 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	915 if (obj == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	916 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	917 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	918 if (!(obj instanceof DefaultSourceSection)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	919 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	920 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	921 DefaultSourceSection other = (DefaultSourceSection) obj;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	922 if (charIndex != other.charIndex) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	923 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	924 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	925 if (charLength != other.charLength) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	926 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	927 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	928 if (identifier == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	929 if (other.identifier != null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	930 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	931 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	932 } else if (!identifier.equals(other.identifier)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	933 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	934 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	935 if (source == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	936 if (other.source != null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	937 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	938 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	939 } else if (!source.equals(other.source)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	940 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	941 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	942 if (startColumn != other.startColumn) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	943 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	944 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	945 if (startLine != other.startLine) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	946 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	947 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	948 return true;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	949 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	950 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	951
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	952 private static final class LineLocationImpl implements LineLocation {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	953 private final Source source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	954 private final int line;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	955
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	956 public LineLocationImpl(Source source, int line) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	957 assert source != null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	958 this.source = source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	959 this.line = line;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	960 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	961
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	962 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	963 public Source getSource() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	964 return source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	965 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	966
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	967 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	968 public int getLineNumber() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	969 return line;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	970 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	971
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	972 @Override
18485 e3c95cbbb50c Truffle Instrumentation: major API revision, based around the Probe and Instrument classes; add Instrumentable API for language implementors, with most details automated; reimplemented to handle AST splitting automatically; more JUnit tests. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18163 diff changeset	973 public String getShortDescription() {
e3c95cbbb50c Truffle Instrumentation: major API revision, based around the Probe and Instrument classes; add Instrumentable API for language implementors, with most details automated; reimplemented to handle AST splitting automatically; more JUnit tests. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18163 diff changeset	974 return source.getShortName() + ":" + line;
e3c95cbbb50c Truffle Instrumentation: major API revision, based around the Probe and Instrument classes; add Instrumentable API for language implementors, with most details automated; reimplemented to handle AST splitting automatically; more JUnit tests. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18163 diff changeset	975 }
e3c95cbbb50c Truffle Instrumentation: major API revision, based around the Probe and Instrument classes; add Instrumentable API for language implementors, with most details automated; reimplemented to handle AST splitting automatically; more JUnit tests. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18163 diff changeset	976
e3c95cbbb50c Truffle Instrumentation: major API revision, based around the Probe and Instrument classes; add Instrumentable API for language implementors, with most details automated; reimplemented to handle AST splitting automatically; more JUnit tests. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18163 diff changeset	977 @Override
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	978 public String toString() {
18485 e3c95cbbb50c Truffle Instrumentation: major API revision, based around the Probe and Instrument classes; add Instrumentable API for language implementors, with most details automated; reimplemented to handle AST splitting automatically; more JUnit tests. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18163 diff changeset	979 return "Line[" + getShortDescription() + "]";
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	980 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	981
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	982 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	983 public int hashCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	984 final int prime = 31;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	985 int result = 1;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	986 result = prime * result + line;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	987 result = prime * result + source.hashCode();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	988 return result;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	989 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	990
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	991 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	992 public boolean equals(Object obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	993 if (this == obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	994 return true;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	995 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	996 if (obj == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	997 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	998 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	999 if (!(obj instanceof LineLocationImpl)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1000 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1001 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1002 LineLocationImpl other = (LineLocationImpl) obj;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1003 if (line != other.line) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1004 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1005 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1006 return source.equals(other.source);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1007 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1008
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1009 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1010
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1011 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1012 * A utility for converting between coordinate systems in a string of text interspersed with
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1013 * newline characters. The coordinate systems are:
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1014 * <ul>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1015 * <li>0-based character offset from the beginning of the text, where newline characters count
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1016 * as a single character and the first character in the text occupies position 0.</li>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1017 * <li>1-based position in the 2D space of lines and columns, in which the first position in the
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1018 * text is at (1,1).</li>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1019 * </ul>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1020 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1021 * This utility is based on positions occupied by characters, not text stream positions as in a
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1022 * text editor. The distinction shows up in editors where you can put the cursor just past the
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1023 * last character in a buffer; this is necessary, among other reasons, so that you can put the
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1024 * edit cursor in a new (empty) buffer. For the purposes of this utility, however, there are no
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1025 * character positions in an empty text string and there are no lines in an empty text string.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1026 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1027 * A newline character designates the end of a line and occupies a column position.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1028 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1029 * If the text ends with a character other than a newline, then the characters following the
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1030 * final newline character count as a line, even though not newline-terminated.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1031 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1032 * <strong>Limitations:</strong>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1033 * <ul>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1034 * <li>Does not handle multiple character encodings correctly.</li>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1035 * <li>Treats tabs as occupying 1 column.</li>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1036 * <li>Does not handle multiple-character line termination sequences correctly.</li>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1037 * </ul>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1038 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1039 private static final class TextMap {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1040
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1041 // 0-based offsets of newline characters in the text, with sentinel
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1042 private final int[] nlOffsets;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1043
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1044 // The number of characters in the text, including newlines (which count as 1).
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1045 private final int textLength;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1046
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1047 // Is the final text character a newline?
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1048 final boolean finalNL;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1049
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1050 public TextMap(int[] nlOffsets, int textLength, boolean finalNL) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1051 this.nlOffsets = nlOffsets;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1052 this.textLength = textLength;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1053 this.finalNL = finalNL;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1054 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1055
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1056 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1057 * Constructs map permitting translation between 0-based character offsets and 1-based
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1058 * lines/columns.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1059 */
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1060 public static TextMap fromString(String text) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1061 final int textLength = text.length();
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1062 final ArrayList<Integer> lines = new ArrayList<>();
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1063 lines.add(0);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1064 int offset = 0;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1065
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1066 while (offset < text.length()) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1067 final int nlIndex = text.indexOf('\n', offset);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1068 if (nlIndex >= 0) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1069 offset = nlIndex + 1;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1070 lines.add(offset);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1071 } else {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1072 break;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1073 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1074 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1075 lines.add(Integer.MAX_VALUE);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1076
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1077 final int[] nlOffsets = new int[lines.size()];
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1078 for (int line = 0; line < lines.size(); line++) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1079 nlOffsets[line] = lines.get(line);
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1080 }
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1081
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1082 final boolean finalNL = textLength > 0 && (textLength == nlOffsets[nlOffsets.length - 2]);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1083
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1084 return new TextMap(nlOffsets, textLength, finalNL);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1085 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1086
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1087 public static TextMap fromBytes(byte[] bytes, int byteIndex, int length, BytesDecoder bytesDecoder) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1088 final ArrayList<Integer> lines = new ArrayList<>();
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1089 lines.add(0);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1090
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1091 bytesDecoder.decodeLines(bytes, byteIndex, length, new BytesDecoder.LineMarker() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1092
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1093 public void markLine(int index) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1094 lines.add(index);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1095 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1096 });
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1097
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1098 lines.add(Integer.MAX_VALUE);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1099
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1100 final int[] nlOffsets = new int[lines.size()];
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1101 for (int line = 0; line < lines.size(); line++) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1102 nlOffsets[line] = lines.get(line);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1103 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1104
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1105 final boolean finalNL = length > 0 && (length == nlOffsets[nlOffsets.length - 2]);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1106
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1107 return new TextMap(nlOffsets, length, finalNL);
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1108 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1109
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1110 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1111 * Converts 0-based character offset to 1-based number of the line containing the character.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1112 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1113 * @throws IllegalArgumentException if the offset is outside the string.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1114 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1115 public int offsetToLine(int offset) throws IllegalArgumentException {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1116 if (offset < 0 \|\| offset >= textLength) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1117 throw new IllegalArgumentException("offset out of bounds");
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1118 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1119 int line = 1;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1120 while (offset >= nlOffsets[line]) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1121 line++;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1122 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1123 return line;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1124 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1125
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1126 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1127 * Converts 0-based character offset to 1-based number of the column occupied by the
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1128 * character.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1129 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1130 * Tabs are not expanded; they occupy 1 column.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1131 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1132 * @throws IllegalArgumentException if the offset is outside the string.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1133 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1134 public int offsetToCol(int offset) throws IllegalArgumentException {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1135 return 1 + offset - nlOffsets[offsetToLine(offset) - 1];
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1136 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1137
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1138 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1139 * The number of lines in the text; if characters appear after the final newline, then they
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1140 * also count as a line, even though not newline-terminated.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1141 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1142 public int lineCount() {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1143 if (textLength == 0) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1144 return 0;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1145 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1146 return finalNL ? nlOffsets.length - 2 : nlOffsets.length - 1;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1147 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1148
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1149 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1150 * Converts 1-based line number to the 0-based offset of the line's first character; this
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1151 * would be the offset of a newline if the line is empty.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1152 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1153 * @throws IllegalArgumentException if there is no such line in the text.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1154 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1155 public int lineStartOffset(int line) throws IllegalArgumentException {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1156 if (textLength == 0 \|\| lineOutOfRange(line)) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1157 throw new IllegalArgumentException("line out of bounds");
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1158 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1159 return nlOffsets[line - 1];
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1160 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1161
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1162 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1163 * Gets the number of characters in a line, identified by 1-based line number;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1164 * <em>does not</em> include the final newline, if any.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1165 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1166 * @throws IllegalArgumentException if there is no such line in the text.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1167 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1168 public int lineLength(int line) throws IllegalArgumentException {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1169 if (textLength == 0 \|\| lineOutOfRange(line)) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1170 throw new IllegalArgumentException("line out of bounds");
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1171 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1172 if (line == nlOffsets.length - 1 && !finalNL) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1173 return textLength - nlOffsets[line - 1];
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1174 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1175 return (nlOffsets[line] - nlOffsets[line - 1]) - 1;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1176
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1177 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1178
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1179 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1180 * Is the line number out of range.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1181 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1182 private boolean lineOutOfRange(int line) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1183 return line <= 0 \|\| line >= nlOffsets.length \|\| (line == nlOffsets.length - 1 && finalNL);
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1184 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1185
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1186 }
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1187
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1188 }

Mercurial > hg > truffle

annotate graal/com.oracle.truffle.api/src/com/oracle/truffle/api/source/Source.java @ 19688:33bdafbf285d