truffle: truffle/com.oracle.truffle.sl/src/com/oracle/truffle/sl/SLLanguage.java annotate

annotate truffle/com.oracle.truffle.sl/src/com/oracle/truffle/sl/SLLanguage.java @ 22046:e7c2d36daf72

TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM.

author	Jaroslav Tulach <jaroslav.tulach@oracle.com>
date	Thu, 30 Jul 2015 17:36:34 +0200
parents	5bc7f7b867ab
children	227ed03852de

rev	line source
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	1 /*
18990 d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	2 * Copyright (c) 2012, 2015, Oracle and/or its affiliates. All rights reserved.
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	4 *
21997 c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	5 * The Universal Permissive License (UPL), Version 1.0
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	6 *
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	7 * Subject to the condition set forth below, permission is hereby granted to any
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	8 * person obtaining a copy of this software, associated documentation and/or
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	9 * data (collectively the "Software"), free of charge and under any and all
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	10 * copyright rights in the Software, and any and all patent rights owned or
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	11 * freely licensable by each licensor hereunder covering either (i) the
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	12 * unmodified Software as contributed to or provided by such licensor, or (ii)
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	13 * the Larger Works (as defined below), to deal in both
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	14 *
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	15 * (a) the Software, and
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	16 *
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	17 * (b) any piece of software and/or hardware listed in the lrgrwrks.txt file if
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	18 * one is included with the Software each a "Larger Work" to which the Software
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	19 * is contributed by such licensors),
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	20 *
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	21 * without restriction, including without limitation the rights to copy, create
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	22 * derivative works of, display, perform, and distribute the Software and make,
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	23 * use, sell, offer for sale, import, export, have made, and have sold the
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	24 * Software and the Larger Work(s), and to sublicense the foregoing rights on
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	25 * either these or other terms.
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	26 *
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	27 * This license is subject to the following condition:
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	28 *
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	29 * The above copyright notice and either this complete permission notice or at a
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	30 * minimum a reference to the UPL must be included in all copies or substantial
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	31 * portions of the Software.
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	32 *
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	33 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	34 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	35 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	36 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	37 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	38 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
c07e64ecb528 Update SL copyright headers to use UPL Gilles Duboscq <gilles.m.duboscq@oracle.com> parents: 21987 diff changeset	39 * SOFTWARE.
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	40 */
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	41 package com.oracle.truffle.sl;
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	42
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	43 import java.io.*;
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	44 import java.math.*;
21557 31fc2fce38f3 Merge. Doug Simon <doug.simon@oracle.com> parents: 21554 21493 diff changeset	45 import java.net.*;
31fc2fce38f3 Merge. Doug Simon <doug.simon@oracle.com> parents: 21554 21493 diff changeset	46 import java.util.*;
18990 d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	47 import java.util.Scanner;
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	48
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	49 import com.oracle.truffle.api.*;
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	50 import com.oracle.truffle.api.debug.*;
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	51 import com.oracle.truffle.api.dsl.*;
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	52 import com.oracle.truffle.api.frame.*;
18990 d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	53 import com.oracle.truffle.api.instrument.*;
7503 31da1716950f Updated truffle-sl for the changed operation code generation. Christian Humer <christian.humer@gmail.com> parents: 7292 diff changeset	54 import com.oracle.truffle.api.nodes.*;
13761 7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	55 import com.oracle.truffle.api.source.*;
21554 b1530a6cce8c renamed com.oracle.graal.[debug\|options\|hotspotvmconfig]* modules to com.oracle.jvmci.[debug\|options\|hotspotvmconfig]* modules (JBS:GRAAL-53) Doug Simon <doug.simon@oracle.com> parents: 21481 diff changeset	56 import com.oracle.truffle.api.vm.*;
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	57 import com.oracle.truffle.api.vm.TruffleVM.Symbol;
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	58 import com.oracle.truffle.sl.builtins.*;
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	59 import com.oracle.truffle.sl.nodes.*;
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	60 import com.oracle.truffle.sl.nodes.call.*;
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	61 import com.oracle.truffle.sl.nodes.controlflow.*;
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	62 import com.oracle.truffle.sl.nodes.expression.*;
18990 d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	63 import com.oracle.truffle.sl.nodes.instrument.*;
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	64 import com.oracle.truffle.sl.nodes.local.*;
13761 7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	65 import com.oracle.truffle.sl.parser.*;
12752 71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins. Christian Humer <christian.humer@gmail.com> parents: 8959 diff changeset	66 import com.oracle.truffle.sl.runtime.*;
21568 3b8bbf51d320 Truffle/Debugging: add the Truffle DebugEngine and supporting code, as well as add a crude command-line debugging tool used mainly to test the DebugEngine. Migrate the small tols out of project com.oracle.truffle.api into the new project com.oracle.truffle.tools. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21469 diff changeset	67 import com.oracle.truffle.tools.*;
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	68
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	69 /**
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	70 * SL is a simple language to demonstrate and showcase features of Truffle. The implementation is as
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	71 * simple and clean as possible in order to help understanding the ideas and concepts of Truffle.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	72 * The language has first class functions, but no object model.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	73 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	74 * SL is dynamically typed, i.e., there are no type names specified by the programmer. SL is
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	75 * strongly typed, i.e., there is no automatic conversion between types. If an operation is not
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	76 * available for the types encountered at run time, a type error is reported and execution is
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	77 * stopped. For example, {@code 4 - "2"} results in a type error because subtraction is only defined
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	78 * for numbers.
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	79 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	80 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	81 * <b>Types:</b>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	82 * <ul>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	83 * <li>Number: arbitrary precision integer numbers. The implementation uses the Java primitive type
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	84 * {@code long} to represent numbers that fit into the 64 bit range, and {@link BigInteger} for
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	85 * numbers that exceed the range. Using a primitive type such as {@code long} is crucial for
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	86 * performance.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	87 * <li>Boolean: implemented as the Java primitive type {@code boolean}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	88 * <li>String: implemented as the Java standard type {@link String}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	89 * <li>Function: implementation type {@link SLFunction}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	90 * <li>Null (with only one value {@code null}): implemented as the singleton
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	91 * {@link SLNull#SINGLETON}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	92 * </ul>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	93 * The class {@link SLTypes} lists these types for the Truffle DSL, i.e., for type-specialized
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	94 * operations that are specified using Truffle DSL annotations.
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	95 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	96 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	97 * <b>Language concepts:</b>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	98 * <ul>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	99 * <li>Literals for {@link SLBigIntegerLiteralNode numbers} , {@link SLStringLiteralNode strings},
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	100 * and {@link SLFunctionLiteralNode functions}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	101 * <li>Basic arithmetic, logical, and comparison operations: {@link SLAddNode +}, {@link SLSubNode
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	102 * -}, {@link SLMulNode *}, {@link SLDivNode /}, {@link SLLogicalAndNode logical and},
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	103 * {@link SLLogicalOrNode logical or}, {@link SLEqualNode ==}, !=, {@link SLLessThanNode <},
f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	104 * {@link SLLessOrEqualNode ≤}, >, ≥.
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	105 * <li>Local variables: local variables must be defined (via a {@link SLWriteLocalVariableNode
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	106 * write}) before they can be used (by a {@link SLReadLocalVariableNode read}). Local variables are
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	107 * not visible outside of the block where they were first defined.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	108 * <li>Basic control flow statements: {@link SLBlockNode blocks}, {@link SLIfNode if},
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	109 * {@link SLWhileNode while} with {@link SLBreakNode break} and {@link SLContinueNode continue},
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	110 * {@link SLReturnNode return}.
13943 89ac75425681 SL: small cleanups Christian Wimmer <christian.wimmer@oracle.com> parents: 13882 diff changeset	111 * <li>Function calls: {@link SLInvokeNode invocations} are efficiently implemented with
20956 2170de9acab0 SL: use DSL for call dispatches. Christian Humer <christian.humer@gmail.com> parents: 18990 diff changeset	112 * {@link SLDispatchNode polymorphic inline caches}.
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	113 * </ul>
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	114 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	115 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	116 * <b>Syntax and parsing:</b><br>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	117 * The syntax is described as an attributed grammar. The {@link Parser} and {@link Scanner} are
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	118 * automatically generated by the parser generator Coco/R (available from <a
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	119 * href="http://ssw.jku.at/coco/">http://ssw.jku.at/coco/</a>). The grammar contains semantic
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	120 * actions that build the AST for a method. To keep these semantic actions short, they are mostly
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	121 * calls to the {@link SLNodeFactory} that performs the actual node creation. All functions found in
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	122 * the SL source are added to the {@link SLFunctionRegistry}, which is accessible from the
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	123 * {@link SLContext}.
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	124 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	125 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	126 * <b>Builtin functions:</b><br>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	127 * Library functions that are available to every SL source without prior definition are called
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	128 * builtin functions. They are added to the {@link SLFunctionRegistry} when the {@link SLContext} is
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	129 * created. There current builtin functions are
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	130 * <ul>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	131 * <li>{@link SLReadlnBuiltin readln}: Read a String from the {@link SLContext#getInput() standard
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	132 * input}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	133 * <li>{@link SLPrintlnBuiltin println}: Write a value to the {@link SLContext#getOutput() standard
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	134 * output}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	135 * <li>{@link SLNanoTimeBuiltin nanoTime}: Returns the value of a high-resolution time, in
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	136 * nanoseconds.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	137 * <li>{@link SLDefineFunctionBuiltin defineFunction}: Parses the functions provided as a String
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	138 * argument and adds them to the function registry. Functions that are already defined are replaced
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	139 * with the new version.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	140 * </ul>
18990 d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	141 *
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	142 * <p>
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	143 * <b>Tools:</b><br>
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	144 * The use of some of Truffle's support for developer tools (based on the Truffle Instrumentation
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	145 * Framework) are demonstrated in this file, for example:
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	146 * <ul>
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	147 * <li>a {@linkplain NodeExecCounter counter for node executions}, tabulated by node type; and</li>
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	148 * <li>a simple {@linkplain CoverageTracker code coverage engine}.</li>
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	149 * </ul>
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	150 * In each case, the tool is enabled if a corresponding local boolean variable in this file is set
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	151 * to {@code true}. Results are printed at the end of the execution using each tool's
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	152 * <em>default printer</em>.
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	153 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	154 */
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	155 @TruffleLanguage.Registration(name = "SL", version = "0.5", mimeType = "application/x-sl")
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	156 public class SLLanguage extends TruffleLanguage {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	157 private static SLLanguage LAST;
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	158 private static List<NodeFactory<? extends SLBuiltinNode>> builtins = Collections.emptyList();
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	159 private static Visualizer visualizer = new SLDefaultVisualizer();
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	160 private static ASTProber registeredASTProber; // non-null if prober already registered
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	161 private final SLContext context;
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	162 private DebugSupportProvider debugSupport;
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	163
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	164 public SLLanguage(Env env) {
21481 bb51b9a142b3 Enforcing public, one parameter constructor for each TruffleLanguage by annotation processor and required call to super. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21469 diff changeset	165 super(env);
22046 e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	166 context = new SLContext(this, new BufferedReader(env().stdIn()), new PrintWriter(env().stdOut(), true));
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	167 LAST = this;
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	168 for (NodeFactory<? extends SLBuiltinNode> builtin : builtins) {
22046 e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	169 context.installBuiltin(builtin, true);
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	170 }
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	171 }
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	172
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	173 // TODO (mlvdv) command line options
21686 5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	174 /* Enables demonstration of per-type tabulation of node execution counts */
18990 d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	175 private static boolean nodeExecCounts = false;
21686 5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	176 /* Enables demonstration of per-line tabulation of STATEMENT node execution counts */
18990 d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	177 private static boolean statementCounts = false;
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	178 /* Enables demonstration of per-line tabulation of STATEMENT coverage */
18990 d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	179 private static boolean coverage = false;
d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	180
21686 5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	181 /* Small tools that can be installed for demonstration */
5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	182 private static NodeExecCounter nodeExecCounter = null;
5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	183 private static NodeExecCounter statementExecCounter = null;
5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	184 private static CoverageTracker coverageTracker = null;
5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	185
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	186 /**
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	187 * The main entry point. Use the mx command "mx sl" to run it with the correct class path setup.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	188 */
13836 64c77f0577bb More documentation and improvements of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13821 diff changeset	189 public static void main(String[] args) throws IOException {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	190 TruffleVM vm = TruffleVM.newVM().build();
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	191 assert vm.getLanguages().containsKey("application/x-sl");
13836 64c77f0577bb More documentation and improvements of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13821 diff changeset	192
21686 5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	193 setupToolDemos();
5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	194
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	195 int repeats = 1;
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	196 if (args.length >= 2) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	197 repeats = Integer.parseInt(args[1]);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	198 }
12752 71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins. Christian Humer <christian.humer@gmail.com> parents: 8959 diff changeset	199
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	200 if (args.length == 0) {
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	201 vm.eval("application/x-sl", new InputStreamReader(System.in));
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	202 } else {
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	203 vm.eval(new File(args[0]).toURI());
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	204 }
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	205 Symbol main = vm.findGlobalSymbol("main");
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	206 if (main == null) {
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	207 throw new SLException("No function main() defined in SL source file.");
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	208 }
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	209 while (repeats-- > 0) {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	210 main.invoke(null);
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	211 }
21686 5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	212 reportToolDemos();
13455 69d2e4baa215 Truffle: new infrastructure related to instrumentation, and in particular debugging: support for managing Source objects; framework for generalized "instrumentation proxy nodes" (to be inserted into ASTs with no runtime cost when inactive), and "probes" (which can be attached to proxy nodes to receive event notification); a rudimentary interface and abstract implementation for a "debug manager" (mostly a placeholder at this point); and the beginning of a language-agnostic ExecutionContext interface. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 12752 diff changeset	213 }
69d2e4baa215 Truffle: new infrastructure related to instrumentation, and in particular debugging: support for managing Source objects; framework for generalized "instrumentation proxy nodes" (to be inserted into ASTs with no runtime cost when inactive), and "probes" (which can be attached to proxy nodes to receive event notification); a rudimentary interface and abstract implementation for a "debug manager" (mostly a placeholder at this point); and the beginning of a language-agnostic ExecutionContext interface. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 12752 diff changeset	214
21649 1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	215 /**
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	216 * Temporary method during API evolution, supports debugger integration.
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	217 */
21573 ffdd2ec86f42 Truffle/Debugging: temporary patches so the DebugEngine will work (partially) with the new TruffleVM framework. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21570 diff changeset	218 public static void run(Source source) throws IOException {
ffdd2ec86f42 Truffle/Debugging: temporary patches so the DebugEngine will work (partially) with the new TruffleVM framework. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21570 diff changeset	219 TruffleVM vm = TruffleVM.newVM().build();
ffdd2ec86f42 Truffle/Debugging: temporary patches so the DebugEngine will work (partially) with the new TruffleVM framework. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21570 diff changeset	220 assert vm.getLanguages().containsKey("application/x-sl");
ffdd2ec86f42 Truffle/Debugging: temporary patches so the DebugEngine will work (partially) with the new TruffleVM framework. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21570 diff changeset	221 vm.eval(new File(source.getPath()).toURI());
ffdd2ec86f42 Truffle/Debugging: temporary patches so the DebugEngine will work (partially) with the new TruffleVM framework. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21570 diff changeset	222 Symbol main = vm.findGlobalSymbol("main");
ffdd2ec86f42 Truffle/Debugging: temporary patches so the DebugEngine will work (partially) with the new TruffleVM framework. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21570 diff changeset	223 if (main == null) {
ffdd2ec86f42 Truffle/Debugging: temporary patches so the DebugEngine will work (partially) with the new TruffleVM framework. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21570 diff changeset	224 throw new SLException("No function main() defined in SL source file.");
ffdd2ec86f42 Truffle/Debugging: temporary patches so the DebugEngine will work (partially) with the new TruffleVM framework. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21570 diff changeset	225 }
ffdd2ec86f42 Truffle/Debugging: temporary patches so the DebugEngine will work (partially) with the new TruffleVM framework. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21570 diff changeset	226 main.invoke(null);
13455 69d2e4baa215 Truffle: new infrastructure related to instrumentation, and in particular debugging: support for managing Source objects; framework for generalized "instrumentation proxy nodes" (to be inserted into ASTs with no runtime cost when inactive), and "probes" (which can be attached to proxy nodes to receive event notification); a rudimentary interface and abstract implementation for a "debug manager" (mostly a placeholder at this point); and the beginning of a language-agnostic ExecutionContext interface. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 12752 diff changeset	227 }
69d2e4baa215 Truffle: new infrastructure related to instrumentation, and in particular debugging: support for managing Source objects; framework for generalized "instrumentation proxy nodes" (to be inserted into ASTs with no runtime cost when inactive), and "probes" (which can be attached to proxy nodes to receive event notification); a rudimentary interface and abstract implementation for a "debug manager" (mostly a placeholder at this point); and the beginning of a language-agnostic ExecutionContext interface. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 12752 diff changeset	228
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	229 /**
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	230 * Parse and run the specified SL source. Factored out in a separate method so that it can also
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	231 * be used by the unit test harness.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	232 */
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	233 public static long run(TruffleVM context, URI source, PrintWriter logOutput, PrintWriter out, int repeats, List<NodeFactory<? extends SLBuiltinNode>> currentBuiltins) throws IOException {
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	234 builtins = currentBuiltins;
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	235
13761 7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	236 if (logOutput != null) {
7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	237 logOutput.println("== running on " + Truffle.getRuntime().getName());
16512 abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	238 // logOutput.println("Source = " + source.getCode());
13455 69d2e4baa215 Truffle: new infrastructure related to instrumentation, and in particular debugging: support for managing Source objects; framework for generalized "instrumentation proxy nodes" (to be inserted into ASTs with no runtime cost when inactive), and "probes" (which can be attached to proxy nodes to receive event notification); a rudimentary interface and abstract implementation for a "debug manager" (mostly a placeholder at this point); and the beginning of a language-agnostic ExecutionContext interface. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 12752 diff changeset	239 }
69d2e4baa215 Truffle: new infrastructure related to instrumentation, and in particular debugging: support for managing Source objects; framework for generalized "instrumentation proxy nodes" (to be inserted into ASTs with no runtime cost when inactive), and "probes" (which can be attached to proxy nodes to receive event notification); a rudimentary interface and abstract implementation for a "debug manager" (mostly a placeholder at this point); and the beginning of a language-agnostic ExecutionContext interface. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 12752 diff changeset	240
18485 e3c95cbbb50c Truffle Instrumentation: major API revision, based around the Probe and Instrument classes; add Instrumentable API for language implementors, with most details automated; reimplemented to handle AST splitting automatically; more JUnit tests. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16880 diff changeset	241 /* Parse the SL source file. */
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	242 Object result = context.eval(source);
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	243 if (result != null) {
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	244 out.println(result);
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	245 }
15891 09ac9ac9c4fc Truffle: SourceManager renamed to SourceFactory Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 14991 diff changeset	246
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	247 /* Lookup our main entry point, which is per definition always named "main". */
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	248 Symbol main = context.findGlobalSymbol("main");
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	249 if (main == null) {
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	250 throw new SLException("No function main() defined in SL source file.");
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	251 }
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	252
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	253 /* Change to true if you want to see the AST on the console. */
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	254 boolean printASTToLog = false;
16512 abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	255 /* Change to true if you want to see source attribution for the AST to the console */
16687 7c8ddb4233cd SL/SourceAttribution: restore some attribution fixes that were lost in a tussle with hg; turn off tracing code in SL tests. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16675 diff changeset	256 boolean printSourceAttributionToLog = false;
13862 f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	257 /* Change to dump the AST to IGV over the network. */
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	258 boolean dumpASTToIGV = false;
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	259
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	260 printScript("before execution", LAST.context, logOutput, printASTToLog, printSourceAttributionToLog, dumpASTToIGV);
18962 cfb85e1f4ca5 Prevent polluting SLFunctionRegistry (via SLNodeFactory.createRead()) with LHS names of assignment Paul Woegerer <paul.woegerer@oracle.com> parents: 18762 diff changeset	261 long totalRuntime = 0;
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	262 try {
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	263 for (int i = 0; i < repeats; i++) {
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	264 long start = System.nanoTime();
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	265 /* Call the main entry point, without any arguments. */
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	266 try {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	267 result = main.invoke(null);
21689 ed234a3178af Behavior of null-like values is now part of the TCK Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21686 diff changeset	268 if (result != null) {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	269 out.println(result);
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	270 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	271 } catch (UnsupportedSpecializationException ex) {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	272 out.println(formatTypeError(ex));
21493 99e3f4c5c853 SL: handle undefined functions gracefully. Christian Humer <christian.humer@gmail.com> parents: 21490 diff changeset	273 } catch (SLUndefinedFunctionException ex) {
99e3f4c5c853 SL: handle undefined functions gracefully. Christian Humer <christian.humer@gmail.com> parents: 21490 diff changeset	274 out.println(String.format("Undefined function: %s", ex.getFunctionName()));
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	275 }
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	276 long end = System.nanoTime();
18962 cfb85e1f4ca5 Prevent polluting SLFunctionRegistry (via SLNodeFactory.createRead()) with LHS names of assignment Paul Woegerer <paul.woegerer@oracle.com> parents: 18762 diff changeset	277 totalRuntime += end - start;
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	278
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	279 if (logOutput != null && repeats > 1) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	280 logOutput.println("== iteration " + (i + 1) + ": " + ((end - start) / 1000000) + " ms");
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	281 }
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	282 }
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	283
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	284 } finally {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	285 printScript("after execution", LAST.context, logOutput, printASTToLog, printSourceAttributionToLog, dumpASTToIGV);
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	286 }
18962 cfb85e1f4ca5 Prevent polluting SLFunctionRegistry (via SLNodeFactory.createRead()) with LHS names of assignment Paul Woegerer <paul.woegerer@oracle.com> parents: 18762 diff changeset	287 return totalRuntime;
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	288 }
12752 71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins. Christian Humer <christian.humer@gmail.com> parents: 8959 diff changeset	289
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	290 /**
13882 afd6fa5e8229 SL: Feedback from reviewers Christian Wimmer <christian.wimmer@oracle.com> parents: 13862 diff changeset	291 * When dumpASTToIGV is true: dumps the AST of all functions to the IGV visualizer, via a socket
afd6fa5e8229 SL: Feedback from reviewers Christian Wimmer <christian.wimmer@oracle.com> parents: 13862 diff changeset	292 * connection. IGV can be started with the mx command "mx igv".
afd6fa5e8229 SL: Feedback from reviewers Christian Wimmer <christian.wimmer@oracle.com> parents: 13862 diff changeset	293 * <p>
afd6fa5e8229 SL: Feedback from reviewers Christian Wimmer <christian.wimmer@oracle.com> parents: 13862 diff changeset	294 * When printASTToLog is true: prints the ASTs to the console.
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	295 */
21469 286aef83a9a7 Replacing PrintStream with PrintWriter in the simple language Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21468 diff changeset	296 private static void printScript(String groupName, SLContext context, PrintWriter logOutput, boolean printASTToLog, boolean printSourceAttributionToLog, boolean dumpASTToIGV) {
13862 f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	297 if (dumpASTToIGV) {
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	298 GraphPrintVisitor graphPrinter = new GraphPrintVisitor();
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	299 graphPrinter.beginGroup(groupName);
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	300 for (SLFunction function : context.getFunctionRegistry().getFunctions()) {
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	301 RootCallTarget callTarget = function.getCallTarget();
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	302 if (callTarget != null) {
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	303 graphPrinter.beginGraph(function.toString()).visit(callTarget.getRootNode());
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	304 }
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	305 }
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	306 graphPrinter.printToNetwork(true);
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	307 }
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	308 if (printASTToLog && logOutput != null) {
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	309 for (SLFunction function : context.getFunctionRegistry().getFunctions()) {
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	310 RootCallTarget callTarget = function.getCallTarget();
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	311 if (callTarget != null) {
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	312 logOutput.println("=== " + function);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	313 NodeUtil.printTree(logOutput, callTarget.getRootNode());
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	314 }
13761 7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	315 }
7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	316 }
16512 abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	317 if (printSourceAttributionToLog && logOutput != null) {
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	318 for (SLFunction function : context.getFunctionRegistry().getFunctions()) {
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	319 RootCallTarget callTarget = function.getCallTarget();
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	320 if (callTarget != null) {
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	321 logOutput.println("=== " + function);
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	322 NodeUtil.printSourceAttributionTree(logOutput, callTarget.getRootNode());
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	323 }
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	324 }
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	325 }
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	326 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	327
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	328 /**
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	329 * Provides a user-readable message for run-time type errors. SL is strongly typed, i.e., there
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	330 * are no automatic type conversions of values. Therefore, Truffle does the type checking for
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	331 * us: if no matching node specialization for the actual values is found, then we have a type
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	332 * error. Specialized nodes use the {@link UnsupportedSpecializationException} to report that no
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	333 * specialization was found. We therefore just have to convert the information encapsulated in
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	334 * this exception in a user-readable form.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	335 */
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	336 private static String formatTypeError(UnsupportedSpecializationException ex) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	337 StringBuilder result = new StringBuilder();
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	338 result.append("Type error");
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	339 if (ex.getNode() != null && ex.getNode().getSourceSection() != null) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	340 SourceSection ss = ex.getNode().getSourceSection();
21987 b2d1c8ff592a Less classes in the source API package. Merging interfaces and their only implementation into final classes. Hiding NullSourceSection behind factory method. Using JDK's standard CharsetDecoder instead of proprietary BytesDecoder. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21986 diff changeset	341 if (ss != null && ss.getSource() != null) {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	342 result.append(" at ").append(ss.getSource().getShortName()).append(" line ").append(ss.getStartLine()).append(" col ").append(ss.getStartColumn());
16512 abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	343 }
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	344 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	345 result.append(": operation");
18762 0ef23ff7d5a1 SL: make lookup of NodeInfo annotation more rebust. Christian Humer <christian.humer@gmail.com> parents: 18485 diff changeset	346 if (ex.getNode() != null) {
0ef23ff7d5a1 SL: make lookup of NodeInfo annotation more rebust. Christian Humer <christian.humer@gmail.com> parents: 18485 diff changeset	347 NodeInfo nodeInfo = SLContext.lookupNodeInfo(ex.getNode().getClass());
0ef23ff7d5a1 SL: make lookup of NodeInfo annotation more rebust. Christian Humer <christian.humer@gmail.com> parents: 18485 diff changeset	348 if (nodeInfo != null) {
0ef23ff7d5a1 SL: make lookup of NodeInfo annotation more rebust. Christian Humer <christian.humer@gmail.com> parents: 18485 diff changeset	349 result.append(" \"").append(nodeInfo.shortName()).append("\"");
0ef23ff7d5a1 SL: make lookup of NodeInfo annotation more rebust. Christian Humer <christian.humer@gmail.com> parents: 18485 diff changeset	350 }
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	351 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	352 result.append(" not defined for");
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	353
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	354 String sep = " ";
13862 f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	355 for (int i = 0; i < ex.getSuppliedValues().length; i++) {
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	356 Object value = ex.getSuppliedValues()[i];
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	357 Node node = ex.getSuppliedNodes()[i];
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	358 if (node != null) {
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	359 result.append(sep);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	360 sep = ", ";
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	361
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	362 if (value instanceof Long \|\| value instanceof BigInteger) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	363 result.append("Number ").append(value);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	364 } else if (value instanceof Boolean) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	365 result.append("Boolean ").append(value);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	366 } else if (value instanceof String) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	367 result.append("String \"").append(value).append("\"");
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	368 } else if (value instanceof SLFunction) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	369 result.append("Function ").append(value);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	370 } else if (value == SLNull.SINGLETON) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	371 result.append("NULL");
13862 f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	372 } else if (value == null) {
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	373 // value is not evaluated because of short circuit evaluation
f9b934e1e172 SL: Make SL use the new UnsupportedSpecializationException#getSuppliedNodes() for error messages; Disabled dumping by default to IGV. Christian Humer <christian.humer@gmail.com> parents: 13836 diff changeset	374 result.append("ANY");
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	375 } else {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	376 result.append(value);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	377 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	378 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	379 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	380 return result.toString();
12752 71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins. Christian Humer <christian.humer@gmail.com> parents: 8959 diff changeset	381 }
18990 d1c1cd2530d7 Truffle/Instrumentation: clean up and repair some old unit tests Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 18962 diff changeset	382
22046 e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	383 public static SLLanguage find() {
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	384 return SLLanguage.findContext(SLLanguage.class);
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	385 }
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	386
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	387 @Override
22046 e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	388 protected CallTarget parse(Source code, Node context, String... argumentNames) throws IOException {
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	389 final SLContext c = new SLContext(this);
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	390 final Exception[] failed = {null};
21690 e59895e16377 TCK now checks behavior when parsing unparseable code Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21493 diff changeset	391 try {
22046 e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	392 c.evalSource(code);
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	393 failed[0] = null;
21690 e59895e16377 TCK now checks behavior when parsing unparseable code Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21493 diff changeset	394 } catch (Exception e) {
22046 e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	395 failed[0] = e;
21690 e59895e16377 TCK now checks behavior when parsing unparseable code Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21493 diff changeset	396 }
22046 e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	397 return new CallTarget() {
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	398 @Override
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	399 public Object call(Object... arguments) {
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	400 if (failed[0] instanceof RuntimeException) {
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	401 throw (RuntimeException) failed[0];
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	402 }
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	403 if (failed[0] != null) {
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	404 throw new IllegalStateException(failed[0]);
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	405 }
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	406 SLLanguage current = SLLanguage.find();
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	407 SLContext fillIn = current.context;
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	408 final SLFunctionRegistry functionRegistry = fillIn.getFunctionRegistry();
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	409 for (SLFunction f : c.getFunctionRegistry().getFunctions()) {
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	410 RootCallTarget callTarget = f.getCallTarget();
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	411 if (callTarget == null) {
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	412 continue;
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	413 }
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	414 functionRegistry.lookup(f.getName());
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	415 functionRegistry.register(f.getName(), (SLRootNode) f.getCallTarget().getRootNode());
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	416 }
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	417 return null;
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	418 }
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	419 };
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	420 }
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	421
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	422 @Override
21716 2f9e4d984d16 Give languages a chance to do implicit exports. Prefer explicit exports over implicit ones. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21692 diff changeset	423 protected Object findExportedSymbol(String globalName, boolean onlyExplicit) {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	424 for (SLFunction f : context.getFunctionRegistry().getFunctions()) {
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	425 if (globalName.equals(f.getName())) {
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	426 return f;
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	427 }
3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	428 }
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	429 return null;
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	430 }
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	431
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	432 @Override
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	433 protected Object getLanguageGlobal() {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	434 return context;
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	435 }
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	436
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	437 @Override
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	438 protected boolean isObjectOfLanguage(Object object) {
21490 3286fb5fea4a Introducing standard I/O and error into Env and using TruffleVM to execute SL test cases. Adding SLTckTest to verify SL language interop. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21481 diff changeset	439 return object instanceof SLFunction;
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	440 }
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	441
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	442 @Override
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	443 protected ToolSupportProvider getToolSupport() {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	444 return getDebugSupport();
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	445 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	446
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	447 @Override
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	448 protected DebugSupportProvider getDebugSupport() {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	449 if (debugSupport == null) {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	450 debugSupport = new SLDebugProvider();
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	451 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	452 return debugSupport;
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	453 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	454
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	455 // TODO (mlvdv) remove the static hack when we no longer have the static demo variables
21686 5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	456 private static void setupToolDemos() {
21649 1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	457 if (statementCounts \|\| coverage) {
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	458 if (registeredASTProber == null) {
21891 ccaf9eb1f5eb Findbugs fix Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21890 diff changeset	459 final ASTProber newProber = new SLStandardASTProber();
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	460 // This should be registered on the TruffleVM
21891 ccaf9eb1f5eb Findbugs fix Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21890 diff changeset	461 Probe.registerASTProber(newProber);
ccaf9eb1f5eb Findbugs fix Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21890 diff changeset	462 registeredASTProber = newProber;
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	463 }
21649 1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	464 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	465 if (nodeExecCounts) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	466 nodeExecCounter = new NodeExecCounter();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	467 nodeExecCounter.install();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	468 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	469
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	470 if (statementCounts) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	471 statementExecCounter = new NodeExecCounter(StandardSyntaxTag.STATEMENT);
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	472 statementExecCounter.install();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	473 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	474
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	475 if (coverage) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	476 coverageTracker = new CoverageTracker();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	477 coverageTracker.install();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	478 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	479 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	480
21686 5fa7935c5de3 Truffle/Instrumentation: fix the small tool demonstration in SL Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21649 diff changeset	481 private static void reportToolDemos() {
21649 1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	482 if (nodeExecCounter != null) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	483 nodeExecCounter.print(System.out);
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	484 nodeExecCounter.dispose();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	485 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	486 if (statementExecCounter != null) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	487 statementExecCounter.print(System.out);
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	488 statementExecCounter.dispose();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	489 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	490 if (coverageTracker != null) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	491 coverageTracker.print(System.out);
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	492 coverageTracker.dispose();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	493 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	494 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	495
22046 e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	496 public SLContext getContext() {
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	497 return context;
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	498 }
e7c2d36daf72 TruffleLanguage.parse method to convert a source to CallTarget. Basic caching to make sure the code is shared among tenants in one JVM. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 22003 diff changeset	499
21890 894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	500 private final class SLDebugProvider implements DebugSupportProvider {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	501
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	502 public SLDebugProvider() {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	503 if (registeredASTProber == null) {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	504 registeredASTProber = new SLStandardASTProber();
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	505 // This should be registered on the TruffleVM
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	506 Probe.registerASTProber(registeredASTProber);
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	507 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	508 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	509
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	510 public Visualizer getVisualizer() {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	511 if (visualizer == null) {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	512 visualizer = new SLDefaultVisualizer();
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	513 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	514 return visualizer;
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	515 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	516
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	517 public void enableASTProbing(ASTProber prober) {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	518 if (prober != null) {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	519 // This should be registered on the TruffleVM
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	520 Probe.registerASTProber(prober);
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	521 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	522 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	523
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	524 public Object evalInContext(Source source, Node node, MaterializedFrame mFrame) throws DebugSupportException {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	525 throw new DebugSupportException("evalInContext not supported in this language");
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	526 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	527
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	528 public AdvancedInstrumentRootFactory createAdvancedInstrumentRootFactory(String expr, AdvancedInstrumentResultListener resultListener) throws DebugSupportException {
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	529 throw new DebugSupportException("createAdvancedInstrumentRootFactory not supported in this language");
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	530 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	531
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	532 }
894f82515e38 Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21889 diff changeset	533
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	534 }

Mercurial > hg > truffle

annotate truffle/com.oracle.truffle.sl/src/com/oracle/truffle/sl/SLLanguage.java @ 22046:e7c2d36daf72