author | rfield |
Sat, 21 May 2016 22:32:08 -0700 | |
changeset 38535 | 4a25025e0b0d |
parent 37745 | 4b6b59f8e327 |
child 38836 | b09d1cfbf28c |
permissions | -rw-r--r-- |
33362 | 1 |
/* |
2 |
* Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved. |
|
3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
|
4 |
* |
|
5 |
* This code is free software; you can redistribute it and/or modify it |
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
|
7 |
* published by the Free Software Foundation. Oracle designates this |
|
8 |
* particular file as subject to the "Classpath" exception as provided |
|
9 |
* by Oracle in the LICENSE file that accompanied this code. |
|
10 |
* |
|
11 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
12 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
13 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
14 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
15 |
* accompanied this code). |
|
16 |
* |
|
17 |
* You should have received a copy of the GNU General Public License version |
|
18 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
19 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
20 |
* |
|
21 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
22 |
* or visit www.oracle.com if you need additional information or have any |
|
23 |
* questions. |
|
24 |
*/ |
|
25 |
||
26 |
package jdk.jshell; |
|
27 |
||
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
28 |
import jdk.jshell.spi.ExecutionControl; |
33362 | 29 |
import java.io.ByteArrayInputStream; |
30 |
import java.io.InputStream; |
|
31 |
import java.io.PrintStream; |
|
36990 | 32 |
import java.text.MessageFormat; |
37745
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
33 |
import java.util.ArrayList; |
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
34 |
import java.util.Arrays; |
33362 | 35 |
import java.util.Collections; |
36 |
import java.util.HashMap; |
|
37 |
import java.util.List; |
|
38 |
import java.util.Map; |
|
36990 | 39 |
import java.util.MissingResourceException; |
33362 | 40 |
import java.util.Objects; |
36990 | 41 |
import java.util.ResourceBundle; |
33362 | 42 |
import java.util.function.BiFunction; |
43 |
import java.util.function.Consumer; |
|
44 |
||
45 |
import java.util.function.Supplier; |
|
46 |
import jdk.internal.jshell.debug.InternalDebugControl; |
|
47 |
import static java.util.stream.Collectors.collectingAndThen; |
|
48 |
import static java.util.stream.Collectors.toList; |
|
49 |
import static jdk.jshell.Util.expunge; |
|
50 |
import jdk.jshell.Snippet.Status; |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
51 |
import jdk.internal.jshell.jdi.JDIExecutionControl; |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
52 |
import jdk.jshell.spi.ExecutionEnv; |
33362 | 53 |
|
54 |
/** |
|
55 |
* The JShell evaluation state engine. This is the central class in the JShell |
|
56 |
* API. A <code>JShell</code> instance holds the evolving compilation and |
|
57 |
* execution state. The state is changed with the instance methods |
|
58 |
* {@link jdk.jshell.JShell#eval(java.lang.String) eval(String)}, |
|
59 |
* {@link jdk.jshell.JShell#drop(jdk.jshell.PersistentSnippet) drop(PersistentSnippet)} and |
|
60 |
* {@link jdk.jshell.JShell#addToClasspath(java.lang.String) addToClasspath(String)}. |
|
61 |
* The majority of methods query the state. |
|
62 |
* A <code>JShell</code> instance also allows registering for events with |
|
63 |
* {@link jdk.jshell.JShell#onSnippetEvent(java.util.function.Consumer) onSnippetEvent(Consumer)} |
|
64 |
* and {@link jdk.jshell.JShell#onShutdown(java.util.function.Consumer) onShutdown(Consumer)}, which |
|
65 |
* are unregistered with |
|
66 |
* {@link jdk.jshell.JShell#unsubscribe(jdk.jshell.JShell.Subscription) unsubscribe(Subscription)}. |
|
67 |
* Access to the source analysis utilities is via |
|
68 |
* {@link jdk.jshell.JShell#sourceCodeAnalysis()}. |
|
69 |
* When complete the instance should be closed to free resources -- |
|
70 |
* {@link jdk.jshell.JShell#close()}. |
|
71 |
* <p> |
|
72 |
* An instance of <code>JShell</code> is created with |
|
73 |
* <code>JShell.create()</code>. |
|
74 |
* <p> |
|
75 |
* This class is not thread safe, except as noted, all access should be through |
|
76 |
* a single thread. |
|
77 |
* @author Robert Field |
|
78 |
*/ |
|
79 |
public class JShell implements AutoCloseable { |
|
80 |
||
81 |
final SnippetMaps maps; |
|
82 |
final KeyMap keyMap; |
|
37644
33cf53901cac
8154485: JShell: infrastructure for multi-Snippet class wrappers
rfield
parents:
37004
diff
changeset
|
83 |
final OuterWrapMap outerMap; |
33362 | 84 |
final TaskFactory taskFactory; |
85 |
final InputStream in; |
|
86 |
final PrintStream out; |
|
87 |
final PrintStream err; |
|
88 |
final Supplier<String> tempVariableNameGenerator; |
|
89 |
final BiFunction<Snippet, Integer, String> idGenerator; |
|
37745
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
90 |
final List<String> extraRemoteVMOptions; |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
91 |
final ExecutionControl executionControl; |
33362 | 92 |
|
93 |
private int nextKeyIndex = 1; |
|
94 |
||
95 |
final Eval eval; |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
96 |
private final Map<String, byte[]> classnameToBytes = new HashMap<>(); |
33362 | 97 |
private final Map<Subscription, Consumer<JShell>> shutdownListeners = new HashMap<>(); |
98 |
private final Map<Subscription, Consumer<SnippetEvent>> keyStatusListeners = new HashMap<>(); |
|
99 |
private boolean closed = false; |
|
100 |
||
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
101 |
private boolean executionControlLaunched = false; |
33715
74b1bed86932
8141092: JShell: Completion hangs on identifier completion
jlahoda
parents:
33714
diff
changeset
|
102 |
private SourceCodeAnalysisImpl sourceCodeAnalysis = null; |
33362 | 103 |
|
36990 | 104 |
private static final String L10N_RB_NAME = "jdk.jshell.resources.l10n"; |
105 |
private static ResourceBundle outputRB = null; |
|
33362 | 106 |
|
107 |
JShell(Builder b) { |
|
108 |
this.in = b.in; |
|
109 |
this.out = b.out; |
|
110 |
this.err = b.err; |
|
111 |
this.tempVariableNameGenerator = b.tempVariableNameGenerator; |
|
112 |
this.idGenerator = b.idGenerator; |
|
37745
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
113 |
this.extraRemoteVMOptions = b.extraRemoteVMOptions; |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
114 |
this.executionControl = b.executionControl==null |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
115 |
? new JDIExecutionControl() |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
116 |
: b.executionControl; |
33362 | 117 |
|
118 |
this.maps = new SnippetMaps(this); |
|
119 |
this.keyMap = new KeyMap(this); |
|
37644
33cf53901cac
8154485: JShell: infrastructure for multi-Snippet class wrappers
rfield
parents:
37004
diff
changeset
|
120 |
this.outerMap = new OuterWrapMap(this); |
33362 | 121 |
this.taskFactory = new TaskFactory(this); |
122 |
this.eval = new Eval(this); |
|
123 |
} |
|
124 |
||
125 |
/** |
|
126 |
* Builder for <code>JShell</code> instances. |
|
127 |
* Create custom instances of <code>JShell</code> by using the setter |
|
128 |
* methods on this class. After zero or more of these, use the |
|
129 |
* {@link #build()} method to create a <code>JShell</code> instance. |
|
130 |
* These can all be chained. For example, setting the remote output and |
|
131 |
* error streams: |
|
132 |
* <pre> |
|
133 |
* <code> |
|
134 |
* JShell myShell = |
|
135 |
* JShell.builder() |
|
136 |
* .out(myOutStream) |
|
137 |
* .err(myErrStream) |
|
138 |
* .build(); </code> </pre> |
|
139 |
* If no special set-up is needed, just use |
|
140 |
* <code>JShell.builder().build()</code> or the short-cut equivalent |
|
141 |
* <code>JShell.create()</code>. |
|
142 |
*/ |
|
143 |
public static class Builder { |
|
144 |
||
145 |
InputStream in = new ByteArrayInputStream(new byte[0]); |
|
146 |
PrintStream out = System.out; |
|
147 |
PrintStream err = System.err; |
|
148 |
Supplier<String> tempVariableNameGenerator = null; |
|
149 |
BiFunction<Snippet, Integer, String> idGenerator = null; |
|
37745
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
150 |
List<String> extraRemoteVMOptions = new ArrayList<>(); |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
151 |
ExecutionControl executionControl; |
33362 | 152 |
|
153 |
Builder() { } |
|
154 |
||
155 |
/** |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
156 |
* Sets the input for the running evaluation (it's {@code System.in}). Note: |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
157 |
* applications that use {@code System.in} for snippet or other |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
158 |
* user input cannot use {@code System.in} as the input stream for |
33362 | 159 |
* the remote process. |
160 |
* <p> |
|
161 |
* The default, if this is not set, is to provide an empty input stream |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
162 |
* -- {@code new ByteArrayInputStream(new byte[0])}. |
33362 | 163 |
* |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
164 |
* @param in the {@code InputStream} to be channelled to |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
165 |
* {@code System.in} in the remote execution process |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
166 |
* @return the {@code Builder} instance (for use in chained |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
167 |
* initialization) |
33362 | 168 |
*/ |
169 |
public Builder in(InputStream in) { |
|
170 |
this.in = in; |
|
171 |
return this; |
|
172 |
} |
|
173 |
||
174 |
/** |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
175 |
* Sets the output for the running evaluation (it's {@code System.out}). |
33362 | 176 |
* The controlling process and |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
177 |
* the remote process can share {@code System.out}. |
33362 | 178 |
* <p> |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
179 |
* The default, if this is not set, is {@code System.out}. |
33362 | 180 |
* |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
181 |
* @param out the {@code PrintStream} to be channelled to |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
182 |
* {@code System.out} in the remote execution process |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
183 |
* @return the {@code Builder} instance (for use in chained |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
184 |
* initialization) |
33362 | 185 |
*/ |
186 |
public Builder out(PrintStream out) { |
|
187 |
this.out = out; |
|
188 |
return this; |
|
189 |
} |
|
190 |
||
191 |
/** |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
192 |
* Sets the error output for the running evaluation (it's |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
193 |
* {@code System.err}). The controlling process and the remote |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
194 |
* process can share {@code System.err}. |
33362 | 195 |
* <p> |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
196 |
* The default, if this is not set, is {@code System.err}. |
33362 | 197 |
* |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
198 |
* @param err the {@code PrintStream} to be channelled to |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
199 |
* {@code System.err} in the remote execution process |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
200 |
* @return the {@code Builder} instance (for use in chained |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
201 |
* initialization) |
33362 | 202 |
*/ |
203 |
public Builder err(PrintStream err) { |
|
204 |
this.err = err; |
|
205 |
return this; |
|
206 |
} |
|
207 |
||
208 |
/** |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
209 |
* Sets a generator of temp variable names for |
33362 | 210 |
* {@link jdk.jshell.VarSnippet} of |
211 |
* {@link jdk.jshell.Snippet.SubKind#TEMP_VAR_EXPRESSION_SUBKIND}. |
|
212 |
* <p> |
|
213 |
* Do not use this method unless you have explicit need for it. |
|
214 |
* <p> |
|
215 |
* The generator will be used for newly created VarSnippet |
|
216 |
* instances. The name of a variable is queried with |
|
217 |
* {@link jdk.jshell.VarSnippet#name()}. |
|
218 |
* <p> |
|
219 |
* The callback is sent during the processing of the snippet, the |
|
220 |
* JShell state is not stable. No calls whatsoever on the |
|
221 |
* <code>JShell</code> instance may be made from the callback. |
|
222 |
* <p> |
|
223 |
* The generated name must be unique within active snippets. |
|
224 |
* <p> |
|
225 |
* The default behavior (if this is not set or <code>generator</code> |
|
226 |
* is null) is to generate the name as a sequential number with a |
|
227 |
* prefixing dollar sign ("$"). |
|
228 |
* |
|
229 |
* @param generator the <code>Supplier</code> to generate the temporary |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
230 |
* variable name string or <code>null</code> |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
231 |
* @return the {@code Builder} instance (for use in chained |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
232 |
* initialization) |
33362 | 233 |
*/ |
234 |
public Builder tempVariableNameGenerator(Supplier<String> generator) { |
|
235 |
this.tempVariableNameGenerator = generator; |
|
236 |
return this; |
|
237 |
} |
|
238 |
||
239 |
/** |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
240 |
* Sets the generator of identifying names for Snippets. |
33362 | 241 |
* <p> |
242 |
* Do not use this method unless you have explicit need for it. |
|
243 |
* <p> |
|
244 |
* The generator will be used for newly created Snippet instances. The |
|
245 |
* identifying name (id) is accessed with |
|
246 |
* {@link jdk.jshell.Snippet#id()} and can be seen in the |
|
247 |
* <code>StackTraceElement.getFileName()</code> for a |
|
248 |
* {@link jdk.jshell.EvalException} and |
|
249 |
* {@link jdk.jshell.UnresolvedReferenceException}. |
|
250 |
* <p> |
|
251 |
* The inputs to the generator are the {@link jdk.jshell.Snippet} and an |
|
252 |
* integer. The integer will be the same for two Snippets which would |
|
253 |
* overwrite one-another, but otherwise is unique. |
|
254 |
* <p> |
|
255 |
* The callback is sent during the processing of the snippet and the |
|
256 |
* Snippet and the state as a whole are not stable. No calls to change |
|
257 |
* system state (including Snippet state) should be made. Queries of |
|
258 |
* Snippet may be made except to {@link jdk.jshell.Snippet#id()}. No |
|
259 |
* calls on the <code>JShell</code> instance may be made from the |
|
260 |
* callback, except to |
|
261 |
* {@link #status(jdk.jshell.Snippet) status(Snippet)}. |
|
262 |
* <p> |
|
263 |
* The default behavior (if this is not set or <code>generator</code> |
|
264 |
* is null) is to generate the id as the integer converted to a string. |
|
265 |
* |
|
266 |
* @param generator the <code>BiFunction</code> to generate the id |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
267 |
* string or <code>null</code> |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
268 |
* @return the {@code Builder} instance (for use in chained |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
269 |
* initialization) |
33362 | 270 |
*/ |
271 |
public Builder idGenerator(BiFunction<Snippet, Integer, String> generator) { |
|
272 |
this.idGenerator = generator; |
|
273 |
return this; |
|
274 |
} |
|
275 |
||
276 |
/** |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
277 |
* Sets additional VM options for launching the VM. |
37745
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
278 |
* |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
279 |
* @param options The options for the remote VM |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
280 |
* @return the {@code Builder} instance (for use in chained |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
281 |
* initialization) |
37745
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
282 |
*/ |
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
283 |
public Builder remoteVMOptions(String... options) { |
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
284 |
this.extraRemoteVMOptions.addAll(Arrays.asList(options)); |
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
285 |
return this; |
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
286 |
} |
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
287 |
|
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
288 |
/** |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
289 |
* Sets the custom engine for execution. Snippet execution will be |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
290 |
* provided by the specified {@link ExecutionControl} instance. |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
291 |
* |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
292 |
* @param execEngine the execution engine |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
293 |
* @return the {@code Builder} instance (for use in chained |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
294 |
* initialization) |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
295 |
*/ |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
296 |
public Builder executionEngine(ExecutionControl execEngine) { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
297 |
this.executionControl = execEngine; |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
298 |
return this; |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
299 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
300 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
301 |
/** |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
302 |
* Builds a JShell state engine. This is the entry-point to all JShell |
33362 | 303 |
* functionality. This creates a remote process for execution. It is |
304 |
* thus important to close the returned instance. |
|
305 |
* |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
306 |
* @return the state engine |
33362 | 307 |
*/ |
308 |
public JShell build() { |
|
309 |
return new JShell(this); |
|
310 |
} |
|
311 |
} |
|
312 |
||
313 |
// --- public API --- |
|
314 |
||
315 |
/** |
|
316 |
* Create a new JShell state engine. |
|
317 |
* That is, create an instance of <code>JShell</code>. |
|
318 |
* <p> |
|
319 |
* Equivalent to {@link JShell#builder() JShell.builder()}{@link JShell.Builder#build() .build()}. |
|
320 |
* @return an instance of <code>JShell</code>. |
|
321 |
*/ |
|
322 |
public static JShell create() { |
|
323 |
return builder().build(); |
|
324 |
} |
|
325 |
||
326 |
/** |
|
327 |
* Factory method for <code>JShell.Builder</code> which, in-turn, is used |
|
328 |
* for creating instances of <code>JShell</code>. |
|
329 |
* Create a default instance of <code>JShell</code> with |
|
330 |
* <code>JShell.builder().build()</code>. For more construction options |
|
331 |
* see {@link jdk.jshell.JShell.Builder}. |
|
332 |
* @return an instance of <code>Builder</code>. |
|
333 |
* @see jdk.jshell.JShell.Builder |
|
334 |
*/ |
|
335 |
public static Builder builder() { |
|
336 |
return new Builder(); |
|
337 |
} |
|
338 |
||
339 |
/** |
|
340 |
* Access to source code analysis functionality. |
|
341 |
* An instance of <code>JShell</code> will always return the same |
|
342 |
* <code>SourceCodeAnalysis</code> instance from |
|
343 |
* <code>sourceCodeAnalysis()</code>. |
|
344 |
* @return an instance of {@link SourceCodeAnalysis SourceCodeAnalysis} |
|
345 |
* which can be used for source analysis such as completion detection and |
|
346 |
* completion suggestions. |
|
347 |
*/ |
|
348 |
public SourceCodeAnalysis sourceCodeAnalysis() { |
|
349 |
if (sourceCodeAnalysis == null) { |
|
350 |
sourceCodeAnalysis = new SourceCodeAnalysisImpl(this); |
|
351 |
} |
|
352 |
return sourceCodeAnalysis; |
|
353 |
} |
|
354 |
||
355 |
/** |
|
356 |
* Evaluate the input String, including definition and/or execution, if |
|
357 |
* applicable. The input is checked for errors, unless the errors can be |
|
358 |
* deferred (as is the case with some unresolvedDependencies references), |
|
359 |
* errors will abort evaluation. The input should be |
|
360 |
* exactly one complete snippet of source code, that is, one expression, |
|
361 |
* statement, variable declaration, method declaration, class declaration, |
|
362 |
* or import. |
|
363 |
* To break arbitrary input into individual complete snippets, use |
|
364 |
* {@link SourceCodeAnalysis#analyzeCompletion(String)}. |
|
365 |
* <p> |
|
366 |
* For imports, the import is added. Classes, interfaces. methods, |
|
367 |
* and variables are defined. The initializer of variables, statements, |
|
368 |
* and expressions are executed. |
|
369 |
* The modifiers public, protected, private, static, and final are not |
|
370 |
* allowed on op-level declarations and are ignored with a warning. |
|
371 |
* Synchronized, native, abstract, and default top-level methods are not |
|
372 |
* allowed and are errors. |
|
373 |
* If a previous definition of a declaration is overwritten then there will |
|
374 |
* be an event showing its status changed to OVERWRITTEN, this will not |
|
375 |
* occur for dropped, rejected, or already overwritten declarations. |
|
376 |
* <p> |
|
377 |
* The execution environment is out of process. If the evaluated code |
|
378 |
* causes the execution environment to terminate, this <code>JShell</code> |
|
379 |
* instance will be closed but the calling process and VM remain valid. |
|
380 |
* @param input The input String to evaluate |
|
381 |
* @return the list of events directly or indirectly caused by this evaluation. |
|
382 |
* @throws IllegalStateException if this <code>JShell</code> instance is closed. |
|
383 |
* @see SourceCodeAnalysis#analyzeCompletion(String) |
|
384 |
* @see JShell#onShutdown(java.util.function.Consumer) |
|
385 |
*/ |
|
386 |
public List<SnippetEvent> eval(String input) throws IllegalStateException { |
|
36160
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
387 |
SourceCodeAnalysisImpl a = sourceCodeAnalysis; |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
388 |
if (a != null) { |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
389 |
a.suspendIndexing(); |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
390 |
} |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
391 |
try { |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
392 |
checkIfAlive(); |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
393 |
List<SnippetEvent> events = eval.eval(input); |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
394 |
events.forEach(this::notifyKeyStatusEvent); |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
395 |
return Collections.unmodifiableList(events); |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
396 |
} finally { |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
397 |
if (a != null) { |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
398 |
a.resumeIndexing(); |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
399 |
} |
f42d362d0d17
8131027: JShell API/tool: suggest imports for a class
jlahoda
parents:
33715
diff
changeset
|
400 |
} |
33362 | 401 |
} |
402 |
||
403 |
/** |
|
404 |
* Remove a declaration from the state. |
|
405 |
* @param snippet The snippet to remove |
|
406 |
* @return The list of events from updating declarations dependent on the |
|
407 |
* dropped snippet. |
|
408 |
* @throws IllegalStateException if this <code>JShell</code> instance is closed. |
|
409 |
* @throws IllegalArgumentException if the snippet is not associated with |
|
410 |
* this <code>JShell</code> instance. |
|
411 |
*/ |
|
412 |
public List<SnippetEvent> drop(PersistentSnippet snippet) throws IllegalStateException { |
|
413 |
checkIfAlive(); |
|
414 |
checkValidSnippet(snippet); |
|
415 |
List<SnippetEvent> events = eval.drop(snippet); |
|
416 |
events.forEach(this::notifyKeyStatusEvent); |
|
417 |
return Collections.unmodifiableList(events); |
|
418 |
} |
|
419 |
||
420 |
/** |
|
421 |
* The specified path is added to the end of the classpath used in eval(). |
|
422 |
* Note that the unnamed package is not accessible from the package in which |
|
37004
ff77b7986967
8153243: make docs should generate JShell API docs
jlahoda
parents:
36990
diff
changeset
|
423 |
* {@link JShell#eval(String)} code is placed. |
33362 | 424 |
* @param path the path to add to the classpath. |
425 |
*/ |
|
426 |
public void addToClasspath(String path) { |
|
427 |
taskFactory.addToClasspath(path); // Compiler |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
428 |
executionControl().addToClasspath(path); // Runtime |
33715
74b1bed86932
8141092: JShell: Completion hangs on identifier completion
jlahoda
parents:
33714
diff
changeset
|
429 |
if (sourceCodeAnalysis != null) { |
74b1bed86932
8141092: JShell: Completion hangs on identifier completion
jlahoda
parents:
33714
diff
changeset
|
430 |
sourceCodeAnalysis.classpathChanged(); |
74b1bed86932
8141092: JShell: Completion hangs on identifier completion
jlahoda
parents:
33714
diff
changeset
|
431 |
} |
33362 | 432 |
} |
433 |
||
434 |
/** |
|
435 |
* Attempt to stop currently running evaluation. When called while |
|
436 |
* the {@link #eval(java.lang.String) } method is running and the |
|
437 |
* user's code being executed, an attempt will be made to stop user's code. |
|
438 |
* Note that typically this method needs to be called from a different thread |
|
439 |
* than the one running the {@code eval} method. |
|
440 |
* <p> |
|
441 |
* If the {@link #eval(java.lang.String) } method is not running, does nothing. |
|
442 |
* <p> |
|
443 |
* The attempt to stop the user's code may fail in some case, which may include |
|
444 |
* when the execution is blocked on an I/O operation, or when the user's code is |
|
445 |
* catching the {@link ThreadDeath} exception. |
|
446 |
*/ |
|
447 |
public void stop() { |
|
448 |
if (executionControl != null) |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
449 |
executionControl.stop(); |
33362 | 450 |
} |
451 |
||
452 |
/** |
|
453 |
* Close this state engine. Frees resources. Should be called when this |
|
454 |
* state engine is no longer needed. |
|
455 |
*/ |
|
456 |
@Override |
|
457 |
public void close() { |
|
458 |
if (!closed) { |
|
459 |
closeDown(); |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
460 |
executionControl().close(); |
33362 | 461 |
} |
462 |
} |
|
463 |
||
464 |
/** |
|
465 |
* Return all snippets. |
|
466 |
* @return the snippets for all current snippets in id order. |
|
467 |
* @throws IllegalStateException if this JShell instance is closed. |
|
468 |
*/ |
|
469 |
public List<Snippet> snippets() throws IllegalStateException { |
|
470 |
checkIfAlive(); |
|
471 |
return Collections.unmodifiableList(maps.snippetList()); |
|
472 |
} |
|
473 |
||
474 |
/** |
|
475 |
* Returns the active variable snippets. |
|
476 |
* This convenience method is equivalent to <code>snippets()</code> filtered for |
|
477 |
* {@link jdk.jshell.Snippet.Status#isActive status(snippet).isActive} |
|
478 |
* <code>&& snippet.kind() == Kind.VARIABLE</code> |
|
479 |
* and cast to <code>VarSnippet</code>. |
|
480 |
* @return the active declared variables. |
|
481 |
* @throws IllegalStateException if this JShell instance is closed. |
|
482 |
*/ |
|
483 |
public List<VarSnippet> variables() throws IllegalStateException { |
|
484 |
return snippets().stream() |
|
485 |
.filter(sn -> status(sn).isActive && sn.kind() == Snippet.Kind.VAR) |
|
486 |
.map(sn -> (VarSnippet) sn) |
|
487 |
.collect(collectingAndThen(toList(), Collections::unmodifiableList)); |
|
488 |
} |
|
489 |
||
490 |
/** |
|
491 |
* Returns the active method snippets. |
|
492 |
* This convenience method is equivalent to <code>snippets()</code> filtered for |
|
493 |
* {@link jdk.jshell.Snippet.Status#isActive status(snippet).isActive} |
|
494 |
* <code>&& snippet.kind() == Kind.METHOD</code> |
|
495 |
* and cast to MethodSnippet. |
|
496 |
* @return the active declared methods. |
|
497 |
* @throws IllegalStateException if this JShell instance is closed. |
|
498 |
*/ |
|
499 |
public List<MethodSnippet> methods() throws IllegalStateException { |
|
500 |
return snippets().stream() |
|
501 |
.filter(sn -> status(sn).isActive && sn.kind() == Snippet.Kind.METHOD) |
|
502 |
.map(sn -> (MethodSnippet)sn) |
|
503 |
.collect(collectingAndThen(toList(), Collections::unmodifiableList)); |
|
504 |
} |
|
505 |
||
506 |
/** |
|
507 |
* Returns the active type declaration (class, interface, annotation type, and enum) snippets. |
|
508 |
* This convenience method is equivalent to <code>snippets()</code> filtered for |
|
509 |
* {@link jdk.jshell.Snippet.Status#isActive status(snippet).isActive} |
|
510 |
* <code>&& snippet.kind() == Kind.TYPE_DECL</code> |
|
511 |
* and cast to TypeDeclSnippet. |
|
512 |
* @return the active declared type declarations. |
|
513 |
* @throws IllegalStateException if this JShell instance is closed. |
|
514 |
*/ |
|
515 |
public List<TypeDeclSnippet> types() throws IllegalStateException { |
|
516 |
return snippets().stream() |
|
517 |
.filter(sn -> status(sn).isActive && sn.kind() == Snippet.Kind.TYPE_DECL) |
|
518 |
.map(sn -> (TypeDeclSnippet) sn) |
|
519 |
.collect(collectingAndThen(toList(), Collections::unmodifiableList)); |
|
520 |
} |
|
521 |
||
522 |
/** |
|
33714
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
523 |
* Returns the active import snippets. |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
524 |
* This convenience method is equivalent to <code>snippets()</code> filtered for |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
525 |
* {@link jdk.jshell.Snippet.Status#isActive status(snippet).isActive} |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
526 |
* <code>&& snippet.kind() == Kind.IMPORT</code> |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
527 |
* and cast to ImportSnippet. |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
528 |
* @return the active declared import declarations. |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
529 |
* @throws IllegalStateException if this JShell instance is closed. |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
530 |
*/ |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
531 |
public List<ImportSnippet> imports() throws IllegalStateException { |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
532 |
return snippets().stream() |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
533 |
.filter(sn -> status(sn).isActive && sn.kind() == Snippet.Kind.IMPORT) |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
534 |
.map(sn -> (ImportSnippet) sn) |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
535 |
.collect(collectingAndThen(toList(), Collections::unmodifiableList)); |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
536 |
} |
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
537 |
|
8064f484590e
8142384: JShell tool: New command: /imports, /i which show the list of imported packages or classes, etc...
shinyafox
parents:
33362
diff
changeset
|
538 |
/** |
33362 | 539 |
* Return the status of the snippet. |
540 |
* This is updated either because of an explicit <code>eval()</code> call or |
|
541 |
* an automatic update triggered by a dependency. |
|
542 |
* @param snippet the <code>Snippet</code> to look up |
|
543 |
* @return the status corresponding to this snippet |
|
544 |
* @throws IllegalStateException if this <code>JShell</code> instance is closed. |
|
545 |
* @throws IllegalArgumentException if the snippet is not associated with |
|
546 |
* this <code>JShell</code> instance. |
|
547 |
*/ |
|
548 |
public Status status(Snippet snippet) { |
|
549 |
return checkValidSnippet(snippet).status(); |
|
550 |
} |
|
551 |
||
552 |
/** |
|
553 |
* Return the diagnostics of the most recent evaluation of the snippet. |
|
554 |
* The evaluation can either because of an explicit <code>eval()</code> call or |
|
555 |
* an automatic update triggered by a dependency. |
|
556 |
* @param snippet the <code>Snippet</code> to look up |
|
557 |
* @return the diagnostics corresponding to this snippet. This does not |
|
558 |
* include unresolvedDependencies references reported in <code>unresolvedDependencies()</code>. |
|
559 |
* @throws IllegalStateException if this <code>JShell</code> instance is closed. |
|
560 |
* @throws IllegalArgumentException if the snippet is not associated with |
|
561 |
* this <code>JShell</code> instance. |
|
562 |
*/ |
|
563 |
public List<Diag> diagnostics(Snippet snippet) { |
|
564 |
return Collections.unmodifiableList(checkValidSnippet(snippet).diagnostics()); |
|
565 |
} |
|
566 |
||
567 |
/** |
|
568 |
* For {@link jdk.jshell.Snippet.Status#RECOVERABLE_DEFINED RECOVERABLE_DEFINED} or |
|
569 |
* {@link jdk.jshell.Snippet.Status#RECOVERABLE_NOT_DEFINED RECOVERABLE_NOT_DEFINED} |
|
570 |
* declarations, the names of current unresolved dependencies for |
|
571 |
* the snippet. |
|
572 |
* The returned value of this method, for a given method may change when an |
|
573 |
* <code>eval()</code> or <code>drop()</code> of another snippet causes |
|
574 |
* an update of a dependency. |
|
575 |
* @param snippet the declaration <code>Snippet</code> to look up |
|
576 |
* @return the list of symbol names that are currently unresolvedDependencies. |
|
577 |
* @throws IllegalStateException if this <code>JShell</code> instance is closed. |
|
578 |
* @throws IllegalArgumentException if the snippet is not associated with |
|
579 |
* this <code>JShell</code> instance. |
|
580 |
*/ |
|
581 |
public List<String> unresolvedDependencies(DeclarationSnippet snippet) { |
|
582 |
return Collections.unmodifiableList(checkValidSnippet(snippet).unresolved()); |
|
583 |
} |
|
584 |
||
585 |
/** |
|
586 |
* Get the current value of a variable. |
|
587 |
* @param snippet the variable Snippet whose value is queried. |
|
588 |
* @return the current value of the variable referenced by snippet. |
|
589 |
* @throws IllegalStateException if this <code>JShell</code> instance is closed. |
|
590 |
* @throws IllegalArgumentException if the snippet is not associated with |
|
591 |
* this <code>JShell</code> instance. |
|
592 |
* @throws IllegalArgumentException if the variable's status is anything but |
|
593 |
* {@link jdk.jshell.Snippet.Status#VALID}. |
|
594 |
*/ |
|
595 |
public String varValue(VarSnippet snippet) throws IllegalStateException { |
|
596 |
checkIfAlive(); |
|
597 |
checkValidSnippet(snippet); |
|
598 |
if (snippet.status() != Status.VALID) { |
|
36990 | 599 |
throw new IllegalArgumentException( |
600 |
messageFormat("jshell.exc.var.not.valid", snippet, snippet.status())); |
|
33362 | 601 |
} |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
602 |
String value = executionControl().varValue(snippet.classFullName(), snippet.name()); |
33362 | 603 |
return expunge(value); |
604 |
} |
|
605 |
||
606 |
/** |
|
607 |
* Register a callback to be called when the Status of a snippet changes. |
|
608 |
* Each call adds a new subscription. |
|
609 |
* @param listener Action to perform when the Status changes. |
|
610 |
* @return A token which can be used to {@linkplain JShell#unsubscribe unsubscribe} this subscription. |
|
611 |
* @throws IllegalStateException if this <code>JShell</code> instance is closed. |
|
612 |
*/ |
|
613 |
public Subscription onSnippetEvent(Consumer<SnippetEvent> listener) |
|
614 |
throws IllegalStateException { |
|
615 |
return onX(keyStatusListeners, listener); |
|
616 |
} |
|
617 |
||
618 |
/** |
|
619 |
* Register a callback to be called when this JShell instance terminates. |
|
620 |
* This occurs either because the client process has ended (e.g. called System.exit(0)) |
|
621 |
* or the connection has been shutdown, as by close(). |
|
622 |
* Each call adds a new subscription. |
|
623 |
* @param listener Action to perform when the state terminates. |
|
624 |
* @return A token which can be used to {@linkplain JShell#unsubscribe unsubscribe} this subscription. |
|
625 |
* @throws IllegalStateException if this JShell instance is closed |
|
626 |
*/ |
|
627 |
public Subscription onShutdown(Consumer<JShell> listener) |
|
628 |
throws IllegalStateException { |
|
629 |
return onX(shutdownListeners, listener); |
|
630 |
} |
|
631 |
||
632 |
/** |
|
633 |
* Cancel a callback subscription. |
|
634 |
* @param token The token corresponding to the subscription to be unsubscribed. |
|
635 |
*/ |
|
636 |
public void unsubscribe(Subscription token) { |
|
637 |
synchronized (this) { |
|
638 |
token.remover.accept(token); |
|
639 |
} |
|
640 |
} |
|
641 |
||
642 |
/** |
|
643 |
* Subscription is a token for referring to subscriptions so they can |
|
644 |
* be {@linkplain JShell#unsubscribe unsubscribed}. |
|
645 |
*/ |
|
646 |
public class Subscription { |
|
647 |
||
648 |
Consumer<Subscription> remover; |
|
649 |
||
650 |
Subscription(Consumer<Subscription> remover) { |
|
651 |
this.remover = remover; |
|
652 |
} |
|
653 |
} |
|
654 |
||
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
655 |
/** |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
656 |
* Provide the environment for a execution engine. |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
657 |
*/ |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
658 |
class ExecutionEnvImpl implements ExecutionEnv { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
659 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
660 |
@Override |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
661 |
public InputStream userIn() { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
662 |
return in; |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
663 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
664 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
665 |
@Override |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
666 |
public PrintStream userOut() { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
667 |
return out; |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
668 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
669 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
670 |
@Override |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
671 |
public PrintStream userErr() { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
672 |
return err; |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
673 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
674 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
675 |
@Override |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
676 |
public JShell state() { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
677 |
return JShell.this; |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
678 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
679 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
680 |
@Override |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
681 |
public List<String> extraRemoteVMOptions() { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
682 |
return extraRemoteVMOptions; |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
683 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
684 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
685 |
@Override |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
686 |
public byte[] getClassBytes(String classname) { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
687 |
return classnameToBytes.get(classname); |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
688 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
689 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
690 |
@Override |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
691 |
public EvalException createEvalException(String message, String exceptionClass, StackTraceElement[] stackElements) { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
692 |
return new EvalException(message, exceptionClass, stackElements); |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
693 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
694 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
695 |
@Override |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
696 |
public UnresolvedReferenceException createUnresolvedReferenceException(int id, StackTraceElement[] stackElements) { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
697 |
DeclarationSnippet sn = (DeclarationSnippet) maps.getSnippetDeadOrAlive(id); |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
698 |
return new UnresolvedReferenceException(sn, stackElements); |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
699 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
700 |
|
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
701 |
@Override |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
702 |
public void closeDown() { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
703 |
JShell.this.closeDown(); |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
704 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
705 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
706 |
|
33362 | 707 |
// --- private / package-private implementation support --- |
708 |
ExecutionControl executionControl() { |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
709 |
if (!executionControlLaunched) { |
33362 | 710 |
try { |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
711 |
executionControlLaunched = true; |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
712 |
executionControl.start(new ExecutionEnvImpl()); |
37745
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
713 |
} catch (Throwable ex) { |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
714 |
throw new InternalError("Launching execution engine threw: " + ex.getMessage(), ex); |
33362 | 715 |
} |
716 |
} |
|
717 |
return executionControl; |
|
718 |
} |
|
719 |
||
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
720 |
void setClassnameToBytes(String classname, byte[] bytes) { |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
721 |
classnameToBytes.put(classname, bytes); |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
722 |
} |
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
723 |
|
33362 | 724 |
void debug(int flags, String format, Object... args) { |
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
725 |
InternalDebugControl.debug(this, err, flags, format, args); |
33362 | 726 |
} |
727 |
||
728 |
void debug(Exception ex, String where) { |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
729 |
InternalDebugControl.debug(this, err, ex, where); |
33362 | 730 |
} |
731 |
||
732 |
/** |
|
733 |
* Generate the next key index, indicating a unique snippet signature. |
|
38535
4a25025e0b0d
8156101: JShell SPI: Provide a pluggable execution control SPI
rfield
parents:
37745
diff
changeset
|
734 |
* |
33362 | 735 |
* @return the next key index |
736 |
*/ |
|
737 |
int nextKeyIndex() { |
|
738 |
return nextKeyIndex++; |
|
739 |
} |
|
740 |
||
741 |
private synchronized <T> Subscription onX(Map<Subscription, Consumer<T>> map, Consumer<T> listener) |
|
742 |
throws IllegalStateException { |
|
743 |
Objects.requireNonNull(listener); |
|
744 |
checkIfAlive(); |
|
745 |
Subscription token = new Subscription(map::remove); |
|
746 |
map.put(token, listener); |
|
747 |
return token; |
|
748 |
} |
|
749 |
||
750 |
private synchronized void notifyKeyStatusEvent(SnippetEvent event) { |
|
751 |
keyStatusListeners.values().forEach(l -> l.accept(event)); |
|
752 |
} |
|
753 |
||
754 |
private synchronized void notifyShutdownEvent(JShell state) { |
|
755 |
shutdownListeners.values().forEach(l -> l.accept(state)); |
|
756 |
} |
|
757 |
||
758 |
void closeDown() { |
|
759 |
if (!closed) { |
|
760 |
// Send only once |
|
761 |
closed = true; |
|
762 |
notifyShutdownEvent(this); |
|
763 |
} |
|
764 |
} |
|
765 |
||
766 |
/** |
|
767 |
* Check if this JShell has been closed |
|
768 |
* @throws IllegalStateException if it is closed |
|
769 |
*/ |
|
770 |
private void checkIfAlive() throws IllegalStateException { |
|
771 |
if (closed) { |
|
36990 | 772 |
throw new IllegalStateException(messageFormat("jshell.exc.closed", this)); |
33362 | 773 |
} |
774 |
} |
|
775 |
||
776 |
/** |
|
777 |
* Check a Snippet parameter coming from the API user |
|
778 |
* @param sn the Snippet to check |
|
779 |
* @throws NullPointerException if Snippet parameter is null |
|
780 |
* @throws IllegalArgumentException if Snippet is not from this JShell |
|
781 |
* @return the input Snippet (for chained calls) |
|
782 |
*/ |
|
783 |
private Snippet checkValidSnippet(Snippet sn) { |
|
784 |
if (sn == null) { |
|
36990 | 785 |
throw new NullPointerException(messageFormat("jshell.exc.null")); |
33362 | 786 |
} else { |
787 |
if (sn.key().state() != this) { |
|
36990 | 788 |
throw new IllegalArgumentException(messageFormat("jshell.exc.alien")); |
33362 | 789 |
} |
790 |
return sn; |
|
791 |
} |
|
792 |
} |
|
793 |
||
36990 | 794 |
/** |
795 |
* Format using resource bundle look-up using MessageFormat |
|
796 |
* |
|
797 |
* @param key the resource key |
|
798 |
* @param args |
|
799 |
*/ |
|
800 |
String messageFormat(String key, Object... args) { |
|
801 |
if (outputRB == null) { |
|
802 |
try { |
|
803 |
outputRB = ResourceBundle.getBundle(L10N_RB_NAME); |
|
804 |
} catch (MissingResourceException mre) { |
|
805 |
throw new InternalError("Cannot find ResourceBundle: " + L10N_RB_NAME); |
|
806 |
} |
|
807 |
} |
|
808 |
String s; |
|
809 |
try { |
|
810 |
s = outputRB.getString(key); |
|
811 |
} catch (MissingResourceException mre) { |
|
812 |
throw new InternalError("Missing resource: " + key + " in " + L10N_RB_NAME); |
|
813 |
} |
|
814 |
return MessageFormat.format(s, args); |
|
815 |
} |
|
816 |
||
33362 | 817 |
} |