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

annotate graal/com.oracle.truffle.sl/src/com/oracle/truffle/sl/SLLanguage.java @ 21890:894f82515e38

Truffle/APIs and Debugging: Evolutionary steps to integrating debugging and tool support with TruffleVM APIs - Add a version string to language registration: Language.getShortName() produces a string with both language and version - Rename SLMain --> SLLanguage (little change current machinery) - Remove DebugEngine dependence on ExecutionContext: Visualizer access migrated to TruffleLanguage - ExecutionContext now has only one method left: getCompilerOptions() - Rename SourceExecutionProvider to DebugSupportProvider, now supplied by implementing abstract TruffleLanguage.getDebugSupport() - Revise DebugEngine and its helper classes to work with the new APIs

author	Michael Van De Vanter <michael.van.de.vanter@oracle.com>
date	Tue, 09 Jun 2015 15:20:30 -0700
parents	graal/com.oracle.truffle.sl/src/com/oracle/truffle/sl/SLMain.java@45083be8a812
children	ccaf9eb1f5eb

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 *
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	7 * published by the Free Software Foundation.
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	8 *
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	13 * accompanied this code).
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	14 *
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	18 *
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	21 * questions.
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	22 */
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	23 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	24
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	25 import java.io.*;
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	26 import java.math.*;
21557 31fc2fce38f3 Merge. Doug Simon <doug.simon@oracle.com> parents: 21554 21493 diff changeset	27 import java.net.*;
31fc2fce38f3 Merge. Doug Simon <doug.simon@oracle.com> parents: 21554 21493 diff changeset	28 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	29 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	30
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	31 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	32 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	33 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	34 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	35 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	36 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	37 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	38 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	39 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	40 import com.oracle.truffle.sl.builtins.*;
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	41 import com.oracle.truffle.sl.factory.*;
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	42 import com.oracle.truffle.sl.nodes.*;
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	43 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	44 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	45 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	46 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	47 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	48 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	49 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	50 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	51
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	52 /**
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	53 * 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	54 * 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	55 * 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	56 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	57 * 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	58 * 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	59 * 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	60 * 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	61 * for numbers.
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	62 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	63 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	64 * <b>Types:</b>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	65 * <ul>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	66 * <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	67 * {@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	68 * 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	69 * performance.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	70 * <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	71 * <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	72 * <li>Function: implementation type {@link SLFunction}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	73 * <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	74 * {@link SLNull#SINGLETON}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	75 * </ul>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	76 * 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	77 * operations that are specified using Truffle DSL annotations.
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	78 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	79 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	80 * <b>Language concepts:</b>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	81 * <ul>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	82 * <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	83 * and {@link SLFunctionLiteralNode functions}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	84 * <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	85 * -}, {@link SLMulNode *}, {@link SLDivNode /}, {@link SLLogicalAndNode logical and},
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	86 * {@link SLLogicalOrNode logical or}, {@link SLEqualNode ==}, !=, {@link SLLessThanNode <},
f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	87 * {@link SLLessOrEqualNode ≤}, >, ≥.
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	88 * <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	89 * 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	90 * 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	91 * <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	92 * {@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	93 * {@link SLReturnNode return}.
13943 89ac75425681 SL: small cleanups Christian Wimmer <christian.wimmer@oracle.com> parents: 13882 diff changeset	94 * <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	95 * {@link SLDispatchNode polymorphic inline caches}.
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	96 * </ul>
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	97 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	98 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	99 * <b>Syntax and parsing:</b><br>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	100 * 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	101 * 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	102 * 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	103 * 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	104 * 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	105 * 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	106 * {@link SLContext}.
14906 f3a5036cc13c javadoc fixes Bernhard Urban <bernhard.urban@jku.at> parents: 13943 diff changeset	107 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	108 * <p>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	109 * <b>Builtin functions:</b><br>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	110 * 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	111 * 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	112 * created. There current builtin functions are
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	113 * <ul>
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	114 * <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	115 * input}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	116 * <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	117 * output}.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	118 * <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	119 * nanoseconds.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	120 * <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	121 * 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	122 * with the new version.
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	123 * </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	124 *
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	125 * <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	126 * <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	127 * 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	128 * 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	129 * <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	130 * <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	131 * <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	132 * </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	133 * 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	134 * 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	135 * <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	136 *
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	137 */
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	138 @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	139 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	140 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	141 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	142 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	143 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	144 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	145 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	146
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	147 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	148 super(env);
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	149 context = SLContextFactory.create(new BufferedReader(env().stdIn()), new PrintWriter(env().stdOut(), true));
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	150 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	151 for (NodeFactory<? extends SLBuiltinNode> builtin : builtins) {
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	152 context.installBuiltin(builtin);
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	153 }
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	154 }
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	155
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	156 // 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	157 /* 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	158 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	159 /* 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	160 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	161 /* 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	162 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	163
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	164 /* 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	165 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	166 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	167 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	168
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	169 /**
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	170 * 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	171 */
13836 64c77f0577bb More documentation and improvements of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13821 diff changeset	172 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	173 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	174 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	175
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 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	177
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	178 int repeats = 1;
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	179 if (args.length >= 2) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	180 repeats = Integer.parseInt(args[1]);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	181 }
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	182
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	183 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	184 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	185 } 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	186 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	187 }
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	188 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	189 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	190 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	191 }
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	192 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	193 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	194 }
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	195 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	196 }
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	197
21649 1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	198 /**
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	199 * 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	200 */
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	201 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	202 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	203 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	204 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	205 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	206 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	207 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	208 }
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	209 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	210 }
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	211
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	212 /**
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	213 * 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	214 * 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	215 */
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	216 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	217 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	218
13761 7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	219 if (logOutput != null) {
7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	220 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	221 // 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	222 }
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	223
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	224 /* 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	225 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	226 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	227 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	228 }
15891 09ac9ac9c4fc Truffle: SourceManager renamed to SourceFactory Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 14991 diff changeset	229
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	230 /* 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	231 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	232 if (main == null) {
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	233 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	234 }
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	235
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	236 /* 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	237 boolean printASTToLog = false;
16512 abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	238 /* 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	239 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	240 /* 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	241 boolean dumpASTToIGV = false;
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	242
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	243 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	244 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	245 try {
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	246 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	247 long start = System.nanoTime();
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	248 /* 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	249 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	250 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	251 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	252 out.println(result);
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	253 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	254 } 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	255 out.println(formatTypeError(ex));
21493 99e3f4c5c853 SL: handle undefined functions gracefully. Christian Humer <christian.humer@gmail.com> parents: 21490 diff changeset	256 } catch (SLUndefinedFunctionException ex) {
99e3f4c5c853 SL: handle undefined functions gracefully. Christian Humer <christian.humer@gmail.com> parents: 21490 diff changeset	257 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	258 }
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	259 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	260 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	261
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	262 if (logOutput != null && repeats > 1) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	263 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	264 }
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	265 }
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	266
213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	267 } 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	268 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	269 }
18962 cfb85e1f4ca5 Prevent polluting SLFunctionRegistry (via SLNodeFactory.createRead()) with LHS names of assignment Paul Woegerer <paul.woegerer@oracle.com> parents: 18762 diff changeset	270 return totalRuntime;
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	271 }
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	272
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	273 /**
13882 afd6fa5e8229 SL: Feedback from reviewers Christian Wimmer <christian.wimmer@oracle.com> parents: 13862 diff changeset	274 * 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	275 * 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	276 * <p>
afd6fa5e8229 SL: Feedback from reviewers Christian Wimmer <christian.wimmer@oracle.com> parents: 13862 diff changeset	277 * 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	278 */
21469 286aef83a9a7 Replacing PrintStream with PrintWriter in the simple language Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21468 diff changeset	279 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	280 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	281 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	282 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	283 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	284 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	285 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	286 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	287 }
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	288 }
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	289 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	290 }
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	291 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	292 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	293 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	294 if (callTarget != null) {
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	295 logOutput.println("=== " + function);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	296 NodeUtil.printTree(logOutput, callTarget.getRootNode());
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	297 }
13761 7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	298 }
7c418666c6c9 Refactoring and cleanup of Simple Language (more to come soon) Christian Wimmer <christian.wimmer@oracle.com> parents: 13455 diff changeset	299 }
16512 abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	300 if (printSourceAttributionToLog && logOutput != null) {
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	301 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	302 RootCallTarget callTarget = function.getCallTarget();
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	303 if (callTarget != null) {
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	304 logOutput.println("=== " + function);
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	305 NodeUtil.printSourceAttributionTree(logOutput, callTarget.getRootNode());
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	306 }
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	307 }
abe7128ca473 SL: upgrade source attribution Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16067 diff changeset	308 }
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	309 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	310
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	311 /**
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	312 * 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	313 * 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	314 * 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	315 * 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	316 * 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	317 * 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	318 */
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	319 private static String formatTypeError(UnsupportedSpecializationException ex) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	320 StringBuilder result = new StringBuilder();
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	321 result.append("Type error");
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	322 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	323 SourceSection ss = ex.getNode().getSourceSection();
16514 247a6c2fc382 SL: update tests; error locations reported differently with source attribution change. Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 16512 diff changeset	324 if (ss != null && !(ss instanceof NullSourceSection)) {
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	325 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	326 }
13821 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 result.append(": operation");
18762 0ef23ff7d5a1 SL: make lookup of NodeInfo annotation more rebust. Christian Humer <christian.humer@gmail.com> parents: 18485 diff changeset	329 if (ex.getNode() != null) {
0ef23ff7d5a1 SL: make lookup of NodeInfo annotation more rebust. Christian Humer <christian.humer@gmail.com> parents: 18485 diff changeset	330 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	331 if (nodeInfo != null) {
0ef23ff7d5a1 SL: make lookup of NodeInfo annotation more rebust. Christian Humer <christian.humer@gmail.com> parents: 18485 diff changeset	332 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	333 }
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	334 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	335 result.append(" not defined for");
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	336
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	337 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	338 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	339 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	340 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	341 if (node != null) {
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	342 result.append(sep);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	343 sep = ", ";
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 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	346 result.append("Number ").append(value);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	347 } else if (value instanceof Boolean) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	348 result.append("Boolean ").append(value);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	349 } else if (value instanceof String) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	350 result.append("String \"").append(value).append("\"");
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	351 } else if (value instanceof SLFunction) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	352 result.append("Function ").append(value);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	353 } else if (value == SLNull.SINGLETON) {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	354 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	355 } 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	356 // 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	357 result.append("ANY");
13821 b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	358 } else {
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	359 result.append(value);
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	360 }
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 }
b16ec83edc73 Documentation and more refactoring of Simple Language Christian Wimmer <christian.wimmer@oracle.com> parents: 13761 diff changeset	363 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	364 }
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	365
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	366 @Override
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	367 protected Object eval(Source code) throws IOException {
21690 e59895e16377 TCK now checks behavior when parsing unparseable code Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21493 diff changeset	368 try {
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	369 context.evalSource(code);
21690 e59895e16377 TCK now checks behavior when parsing unparseable code Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21493 diff changeset	370 } catch (Exception e) {
e59895e16377 TCK now checks behavior when parsing unparseable code Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21493 diff changeset	371 throw new IOException(e);
e59895e16377 TCK now checks behavior when parsing unparseable code Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21493 diff changeset	372 }
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	373 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	374 }
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	375
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	376 @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	377 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	378 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	379 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	380 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	381 }
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	382 }
21468 99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	383 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	384 }
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	385
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	386 @Override
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	387 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	388 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	389 }
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	390
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	391 @Override
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	392 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	393 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	394 }
99942eac9c6d Introducing TruffleVM - a central place to invoke code in any registered TruffleLanguage. Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 20956 diff changeset	395
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	396 @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	397 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	398 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	399 }
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	400
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	401 @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	402 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	403 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	404 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	405 }
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	406 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	407 }
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	408
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	409 // 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	410 private static void setupToolDemos() {
21649 1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	411 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	412 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	413 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	414 // 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	415 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	416 }
21649 1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	417 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	418 if (nodeExecCounts) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	419 nodeExecCounter = new NodeExecCounter();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	420 nodeExecCounter.install();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	421 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	422
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	423 if (statementCounts) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	424 statementExecCounter = new NodeExecCounter(StandardSyntaxTag.STATEMENT);
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	425 statementExecCounter.install();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	426 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	427
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	428 if (coverage) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	429 coverageTracker = new CoverageTracker();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	430 coverageTracker.install();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	431 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	432 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	433
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	434 private static void reportToolDemos() {
21649 1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	435 if (nodeExecCounter != null) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	436 nodeExecCounter.print(System.out);
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	437 nodeExecCounter.dispose();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	438 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	439 if (statementExecCounter != null) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	440 statementExecCounter.print(System.out);
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	441 statementExecCounter.dispose();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	442 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	443 if (coverageTracker != null) {
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	444 coverageTracker.print(System.out);
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	445 coverageTracker.dispose();
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	446 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	447 }
1c76a5662753 Merge with 645f170013a451083414ff695412c465e9d2ebf0 Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 21578 diff changeset	448
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	449 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	450
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 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	452 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	453 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	454 // 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	455 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	456 }
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	457 }
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
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	459 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	460 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	461 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	462 }
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 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	464 }
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	465
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	466 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	467 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	468 // 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	469 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	470 }
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	471 }
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	472
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	473 public void run(Source source) 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	474 // TODO (mlvdv) fix to run properly in the current VM
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	475 try {
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	476 SLLanguage.run(source);
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	477 } catch (Exception e) {
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	478 throw new DebugSupportException(e);
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	479 }
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	480 }
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	481
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	482 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	483 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	484 }
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	485
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	486 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	487 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	488 }
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	489
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	490 }
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	491
7292 213c1297a814 Simple Language: A simple dynamic programming language to demonstrate Truffle features Christian Wimmer <christian.wimmer@oracle.com> parents: diff changeset	492 }

Mercurial > hg > truffle

annotate graal/com.oracle.truffle.sl/src/com/oracle/truffle/sl/SLLanguage.java @ 21890:894f82515e38