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 @ 17066:0bcefb0f8488

Truffle: byte[] sources.

author	Chris Seaton <chris.seaton@oracle.com>
date	Mon, 08 Sep 2014 22:21:21 +0100
parents	19faa7ca37c1
children	c88ab4f1f04a

rev	line source
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1 /*
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	2 * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved.
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>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	38 * See {@link Source#fromText(String, String)}</li>
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>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	56 * See {@link Source#asPseudoFile(String, String)}</li>
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 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	125 * Creates a non-canonical source from literal text.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	126 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	127 * @param code textual source code
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	128 * @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	129 * @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	130 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	131 public static Source fromText(String code, String description) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	132 assert code != null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	133 return new LiteralSource(description, code);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	134 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	135
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	136 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	137 * 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	138 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	139 * @param url
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	140 * @param name identifies 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	141 * @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	142 * @throws IOException if reading fails
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	143 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	144 public static Source fromURL(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	145 return URLSource.get(url, name);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	146 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	147
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	148 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	149 * 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	150 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	151 * @param reader
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	152 * @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	153 * @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	154 * @throws IOException if reading fails
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	155 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	156 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	157 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	158 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	159
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	160 /**
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	161 * 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	162 * 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	163 * 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	164 *
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	165 * @param bytes the raw bytes of the source
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	166 * @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	167 * @param decoder how to decode the bytes into Java strings
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	168 * @return a newly created, non-indexed source representation
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	169 */
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	170 public static Source fromBytes(byte[] bytes, String description, BytesDecoder decoder) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	171 return fromBytes(bytes, 0, bytes.length, description, decoder);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	172 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	173
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	174 /**
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	175 * 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	176 * 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	177 * 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	178 * relative to byteIndex.
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	179 *
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	180 * @param bytes the raw bytes of the source
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	181 * @param byteIndex where the string starts in the byte array
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	182 * @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	183 * @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	184 * @param decoder how to decode the bytes into Java strings
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	185 * @return a newly created, non-indexed source representation
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	186 */
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	187 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	188 return new BytesSource(description, bytes, byteIndex, length, decoder);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	189 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	190
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	191 /**
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	192 * 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	193 * (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	194 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	195 * @param code textual source code
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	196 * @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	197 * @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	198 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	199 public static Source asPseudoFile(String code, String pseudoFileName) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	200 final Source source = new LiteralSource(pseudoFileName, code);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	201 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	202 return source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	203 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	204
16989 19faa7ca37c1 Truffle/Source: use a synchronized hash table Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16140 diff changeset	205 // 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	206 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	207 * 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	208 * 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	209 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	210 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	211 fileCacheEnabled = enabled;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	212 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	213
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	214 private static String read(Reader reader) throws IOException {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	215 final StringBuilder builder = new StringBuilder();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	216 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	217
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	218 while (true) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	219 final int n = reader.read(buffer);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	220 if (n == -1) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	221 break;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	222 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	223 builder.append(buffer, 0, n);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	224 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	225
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	226 return builder.toString();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	227 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	228
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	229 Source() {
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	230 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	231
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	232 private TextMap textMap = null;
16068 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 protected abstract void reset();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	235
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 * 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	238 * 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	239 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	240 * @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	241 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	242 public abstract String getName();
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 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	245 * 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	246 * 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	247 * full path.
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 * @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	250 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	251 public abstract String getShortName();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	252
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 * 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	255 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	256 public abstract String getPath();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	257
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 * 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	260 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	261 public abstract URL getURL();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	262
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	263 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	264 * Access to the source contents.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	265 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	266 public abstract Reader getReader();
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 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	269 * Access to the source contents.
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 public final InputStream getInputStream() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	272 return new ByteArrayInputStream(getCode().getBytes());
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	273 }
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 * Return the complete text of the code.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	277 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	278 public abstract String getCode();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	279
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	280 public String getCode(int charIndex, int charLength) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	281 return getCode().substring(charIndex, charIndex + charLength);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	282 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	283
16068 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 * 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	286 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	287 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	288 checkTextMap();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	289 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	290 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	291 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	292 }
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 * 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	296 * 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	297 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	298 public final int getLineCount() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	299 return checkTextMap().lineCount();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	300 }
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 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	303 * 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	304 * position.
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	305 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	306 * @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	307 */
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	308 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	309 return checkTextMap().offsetToLine(offset);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	310 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	311
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	312 /**
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	313 * 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	314 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	315 * @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	316 */
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	317 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	318 return checkTextMap().offsetToCol(offset);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	319 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	320
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	321 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	322 * 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	323 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	324 * @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	325 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	326 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	327 return checkTextMap().lineStartOffset(lineNumber);
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
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	330 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	331 * 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	332 * numbered line.
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	333 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	334 * @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	335 */
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	336 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	337 return checkTextMap().lineLength(lineNumber);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	338 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	339
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	340 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	341 * 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	342 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	343 * 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	344 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	345 * 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	346 * {@link Source} representations are canonical.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	347 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	348 * @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	349 * @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	350 * @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	351 * @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	352 * @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	353 * @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	354 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	355 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	356 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	357 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	358
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	359 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	360 * 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	361 * {@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	362 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	363 * 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	364 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	365 * 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	366 * {@link Source} representations are canonical.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	367 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	368 * @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	369 * @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	370 * @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	371 * @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	372 * @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	373 * @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	374 * @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	375 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	376 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	377 checkTextMap();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	378 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	379 if (startColumn > textMap.lineLength(startLine)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	380 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	381 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	382 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	383 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	384 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	385
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	386 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	387 * 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	388 * {@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	389 * the source.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	390 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	391 * 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	392 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	393 * 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	394 * {@link Source} representations are canonical.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	395 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	396 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	397 * @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	398 * @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	399 * @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	400 * @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	401 * @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	402 * source
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	403 * @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	404 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	405 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	406 checkRange(charIndex, length);
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	407 checkTextMap();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	408 final int startLine = getLineNumber(charIndex);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	409 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	410
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	411 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	412 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	413
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	414 protected void checkRange(int charIndex, int length) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	415 if (!(charIndex >= 0 && length >= 0 && charIndex + length <= getCode().length())) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	416 throw new IllegalArgumentException("text positions out of range");
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	417 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	418 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	419
16068 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 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	422 * 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	423 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	424 * @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	425 * @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	426 * @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	427 * @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	428 * @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	429 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	430 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	431 checkTextMap();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	432 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	433 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	434 return createSection(identifier, charIndex, length);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	435 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	436
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	437 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	438 * 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	439 * 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	440 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	441 * @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	442 * @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	443 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	444 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	445 return new LineLocationImpl(this, lineNumber);
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
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	448 private TextMap checkTextMap() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	449 if (textMap == null) {
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	450 textMap = createTextMap();
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	451 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	452 return textMap;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	453 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	454
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	455 protected TextMap createTextMap() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	456 final String code = getCode();
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	457 if (code == null) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	458 throw new RuntimeException("can't read file " + getName());
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	459 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	460 return TextMap.fromString(code);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	461 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	462
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	463 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	464
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	465 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	466 private final String code;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	467
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	468 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	469 this.name = name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	470 this.code = code;
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
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	473 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	474 public String getName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	475 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	476 }
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 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	479 public String getShortName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	480 return name;
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
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	483 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	484 public String getCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	485 return code;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	486 }
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 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	489 public String getPath() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	490 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	491 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	492
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	493 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	494 public URL getURL() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	495 return null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	496 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	497
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	498 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	499 public Reader getReader() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	500 return new StringReader(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
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	503 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	504 protected void reset() {
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 int hashCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	509 final int prime = 31;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	510 int result = 1;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	511 result = prime * result + name.hashCode();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	512 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	513 return result;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	514 }
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 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	517 public boolean equals(Object obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	518 if (this == obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	519 return true;
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 if (obj == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	522 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	523 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	524 if (!(obj instanceof LiteralSource)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	525 return false;
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 LiteralSource other = (LiteralSource) obj;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	528 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	529 }
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
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	533 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	534
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	535 private final File file;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	536 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	537 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	538
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	539 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	540 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	541
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	542 public FileSource(File file, String name, String path) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	543 this.file = file;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	544 this.name = name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	545 this.path = path;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	546 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	547
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	548 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	549 public String getName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	550 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	551 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	552
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	553 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	554 public String getShortName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	555 return file.getName();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	556 }
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 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	559 public String getCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	560 if (fileCacheEnabled) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	561 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	562 try {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	563 code = read(getReader());
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	564 timeStamp = file.lastModified();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	565 } catch (IOException e) {
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 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	568 return code;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	569 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	570 try {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	571 return read(new FileReader(file));
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	572 } catch (IOException e) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	573 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	574 return null;
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
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	577 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	578 public String getPath() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	579 return path;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	580 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	581
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	582 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	583 public URL getURL() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	584 return null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	585 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	586
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	587 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	588 public Reader getReader() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	589 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	590 return new StringReader(code);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	591 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	592 try {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	593 return new FileReader(file);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	594 } catch (FileNotFoundException e) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	595 throw new RuntimeException("Can't find file " + path);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	596 }
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 protected void reset() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	601 this.code = null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	602 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	603
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	604 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	605
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	606 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	607
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	608 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	609
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	610 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	611 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	612 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	613 if (source == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	614 source = new URLSource(url, name);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	615 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	616 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	617 return source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	618 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	619
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	620 private final URL url;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	621 private final String name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	622 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	623
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	624 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	625 this.url = url;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	626 this.name = name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	627 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	628 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	629
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	630 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	631 public String getName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	632 return name;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	633 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	634
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	635 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	636 public String getShortName() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	637 return name;
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 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	641 public String getPath() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	642 return url.getPath();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	643 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	644
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	645 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	646 public URL getURL() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	647 return url;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	648 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	649
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	650 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	651 public Reader getReader() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	652 return new StringReader(code);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	653 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	654
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	655 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	656 public String getCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	657 return code;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	658 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	659
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	660 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	661 protected void reset() {
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
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	666 private static final class BytesSource extends Source {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	667
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	668 private final String name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	669 private final byte[] bytes;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	670 private final int byteIndex;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	671 private final int length;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	672 private final BytesDecoder decoder;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	673
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	674 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	675 this.name = name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	676 this.bytes = bytes;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	677 this.byteIndex = byteIndex;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	678 this.length = length;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	679 this.decoder = decoder;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	680 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	681
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	682 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	683 protected void reset() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	684 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	685
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	686 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	687 public String getName() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	688 return name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	689 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	690
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	691 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	692 public String getShortName() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	693 return name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	694 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	695
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	696 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	697 public String getPath() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	698 return name;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	699 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	700
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	701 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	702 public URL getURL() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	703 return null;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	704 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	705
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	706 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	707 public Reader getReader() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	708 return null;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	709 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	710
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	711 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	712 public String getCode() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	713 return decoder.decode(bytes, byteIndex, length);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	714 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	715
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	716 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	717 public String getCode(int byteOffset, int codeLength) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	718 return decoder.decode(bytes, byteIndex + byteOffset, codeLength);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	719 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	720
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	721 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	722 protected void checkRange(int charIndex, int rangeLength) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	723 if (!(charIndex >= 0 && rangeLength >= 0 && charIndex + rangeLength <= length)) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	724 throw new IllegalArgumentException("text positions out of range");
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	725 }
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
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	728 @Override
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	729 protected TextMap createTextMap() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	730 return TextMap.fromBytes(bytes, byteIndex, length, decoder);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	731 }
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
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	734 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	735
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	736 private final Source source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	737 private final String identifier;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	738 private final int startLine;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	739 private final int startColumn;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	740 private final int charIndex;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	741 private final int charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	742
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	743 /**
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	744 * 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	745 * guest language program's text.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	746 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	747 * 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	748 * <ul>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	749 * <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	750 * 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	751 * <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	752 * 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	753 * </ul>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	754 * 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	755 * 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	756 * appear in a text section.
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	757 * <p>
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	758 *
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	759 * @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	760 * @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	761 * @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	762 * @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	763 * @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	764 * @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	765 */
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	766 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	767 this.source = source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	768 this.identifier = identifier;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	769 this.startLine = startLine;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	770 this.startColumn = startColumn;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	771 this.charIndex = charIndex;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	772 this.charLength = charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	773 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	774
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	775 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	776 public final Source getSource() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	777 return source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	778 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	779
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	780 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	781 public final int getStartLine() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	782 return startLine;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	783 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	784
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	785 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	786 public final LineLocation getLineLocation() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	787 return source.createLineLocation(startLine);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	788 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	789
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	790 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	791 public final int getStartColumn() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	792 return startColumn;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	793 }
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 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	796 public final int getCharIndex() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	797 return charIndex;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	798 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	799
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	800 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	801 public final int getCharLength() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	802 return charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	803 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	804
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	805 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	806 public final int getCharEndIndex() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	807 return charIndex + charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	808 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	809
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	810 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	811 public final String getIdentifier() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	812 return identifier;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	813 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	814
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	815 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	816 public final String getCode() {
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	817 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	818 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	819
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	820 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	821 public final String getShortDescription() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	822 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	823 }
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 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	826 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	827 return getCode();
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	828 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	829
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	830 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	831 public int hashCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	832 final int prime = 31;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	833 int result = 1;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	834 result = prime * result + charIndex;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	835 result = prime * result + charLength;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	836 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	837 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	838 result = prime * result + startColumn;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	839 result = prime * result + startLine;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	840 return result;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	841 }
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 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	844 public boolean equals(Object obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	845 if (this == obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	846 return true;
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 if (obj == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	849 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	850 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	851 if (!(obj instanceof DefaultSourceSection)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	852 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	853 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	854 DefaultSourceSection other = (DefaultSourceSection) obj;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	855 if (charIndex != other.charIndex) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	856 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	857 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	858 if (charLength != other.charLength) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	859 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	860 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	861 if (identifier == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	862 if (other.identifier != null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	863 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	864 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	865 } 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	866 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	867 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	868 if (source == null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	869 if (other.source != null) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	870 return false;
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 } 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	873 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	874 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	875 if (startColumn != other.startColumn) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	876 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	877 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	878 if (startLine != other.startLine) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	879 return false;
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 return true;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	882 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	883
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	884 }
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 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	887 private final Source source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	888 private final int line;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	889
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	890 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	891 assert source != null;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	892 this.source = source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	893 this.line = line;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	894 }
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 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	897 public Source getSource() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	898 return source;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	899 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	900
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	901 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	902 public int getLineNumber() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	903 return line;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	904 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	905
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	906 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	907 public String toString() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	908 return "SourceLine [" + source.getName() + ", " + line + "]";
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
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	911 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	912 public int hashCode() {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	913 final int prime = 31;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	914 int result = 1;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	915 result = prime * result + line;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	916 result = prime * result + source.hashCode();
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	917 return result;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	918 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	919
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	920 @Override
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	921 public boolean equals(Object obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	922 if (this == obj) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	923 return true;
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 (obj == null) {
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 (!(obj instanceof LineLocationImpl)) {
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	929 return false;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	930 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	931 LineLocationImpl other = (LineLocationImpl) obj;
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	932 if (line != other.line) {
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 return source.equals(other.source);
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	936 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	937
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	938 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	939
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	940 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	941 * 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	942 * newline characters. The coordinate systems are:
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	943 * <ul>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	944 * <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	945 * 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	946 * <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	947 * text is at (1,1).</li>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	948 * </ul>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	949 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	950 * 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	951 * 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	952 * 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	953 * 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	954 * 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	955 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	956 * 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	957 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	958 * 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	959 * 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	960 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	961 * <strong>Limitations:</strong>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	962 * <ul>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	963 * <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	964 * <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	965 * <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	966 * </ul>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	967 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	968 private static final class TextMap {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	969
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	970 // 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	971 private final int[] nlOffsets;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	972
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	973 // 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	974 private final int textLength;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	975
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	976 // Is the final text character a newline?
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	977 final boolean finalNL;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	978
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	979 public TextMap(int[] nlOffsets, int textLength, boolean finalNL) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	980 this.nlOffsets = nlOffsets;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	981 this.textLength = textLength;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	982 this.finalNL = finalNL;
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	983 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	984
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	985 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	986 * 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	987 * lines/columns.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	988 */
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	989 public static TextMap fromString(String text) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	990 final int textLength = text.length();
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	991 final ArrayList<Integer> lines = new ArrayList<>();
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	992 lines.add(0);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	993 int offset = 0;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	994
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	995 while (offset < text.length()) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	996 final int nlIndex = text.indexOf('\n', offset);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	997 if (nlIndex >= 0) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	998 offset = nlIndex + 1;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	999 lines.add(offset);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1000 } else {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1001 break;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1002 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1003 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1004 lines.add(Integer.MAX_VALUE);
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1005
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1006 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	1007 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	1008 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	1009 }
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1010
17066 0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1011 final boolean finalNL = textLength > 0 && (textLength == nlOffsets[nlOffsets.length - 2]);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1012
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1013 return new TextMap(nlOffsets, textLength, finalNL);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1014 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1015
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1016 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	1017 final ArrayList<Integer> lines = new ArrayList<>();
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1018 lines.add(0);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1019
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1020 bytesDecoder.decodeLines(bytes, byteIndex, length, new BytesDecoder.LineMarker() {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1021
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1022 public void markLine(int index) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1023 lines.add(index);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1024 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1025 });
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1026
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1027 lines.add(Integer.MAX_VALUE);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1028
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1029 final int[] nlOffsets = new int[lines.size()];
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1030 for (int line = 0; line < lines.size(); line++) {
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1031 nlOffsets[line] = lines.get(line);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1032 }
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1033
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1034 final boolean finalNL = length > 0 && (length == nlOffsets[nlOffsets.length - 2]);
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1035
0bcefb0f8488 Truffle: byte[] sources. Chris Seaton <chris.seaton@oracle.com> parents: 16989 diff changeset	1036 return new TextMap(nlOffsets, length, finalNL);
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1037 }
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 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1040 * 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	1041 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1042 * @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	1043 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1044 public int offsetToLine(int offset) throws IllegalArgumentException {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1045 if (offset < 0 \|\| offset >= textLength) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1046 throw new IllegalArgumentException("offset out of bounds");
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1047 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1048 int line = 1;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1049 while (offset >= nlOffsets[line]) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1050 line++;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1051 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1052 return line;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1053 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1054
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1055 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1056 * 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	1057 * character.
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1058 * <p>
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1059 * 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	1060 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1061 * @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	1062 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1063 public int offsetToCol(int offset) throws IllegalArgumentException {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1064 return 1 + offset - nlOffsets[offsetToLine(offset) - 1];
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
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1067 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1068 * 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	1069 * 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	1070 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1071 public int lineCount() {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1072 if (textLength == 0) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1073 return 0;
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 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	1076 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1077
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1078 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1079 * 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	1080 * 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	1081 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1082 * @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	1083 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1084 public int lineStartOffset(int line) throws IllegalArgumentException {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1085 if (textLength == 0 \|\| lineOutOfRange(line)) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1086 throw new IllegalArgumentException("line out of bounds");
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1087 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1088 return nlOffsets[line - 1];
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1089 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1090
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1091 /**
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1092 * 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	1093 * <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	1094 *
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1095 * @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	1096 */
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1097 public int lineLength(int line) throws IllegalArgumentException {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1098 if (textLength == 0 \|\| lineOutOfRange(line)) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1099 throw new IllegalArgumentException("line out of bounds");
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1100 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1101 if (line == nlOffsets.length - 1 && !finalNL) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1102 return textLength - nlOffsets[line - 1];
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1103 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1104 return (nlOffsets[line] - nlOffsets[line - 1]) - 1;
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1105
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1106 }
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1107
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 * Is the line number out of range.
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 private boolean lineOutOfRange(int line) {
6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1112 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	1113 }
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1114
74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1115 }
16130 6f7d3f3703d3 Truffle/Source: Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16068 diff changeset	1116
16068 74e142bd2b12 Truffle/Source: major API revision Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: diff changeset	1117 }

Mercurial > hg > truffle

annotate graal/com.oracle.truffle.api/src/com/oracle/truffle/api/source/Source.java @ 17066:0bcefb0f8488