author | rfield |
Tue, 13 Jun 2017 12:31:28 -0700 | |
changeset 45501 | a13e5e2ee35e |
parent 45215 | c9477e22877f |
child 46185 | f4c981fc7818 |
permissions | -rw-r--r-- |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
1 |
# |
44569
b1accf8b2aed
8178013: Finetuning of merged tab and shift tab completion
jlahoda
parents:
44459
diff
changeset
|
2 |
# Copyright (c) 2016, 2017, Oracle and/or its affiliates. All rights reserved. |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
3 |
# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
4 |
# |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
5 |
# This code is free software; you can redistribute it and/or modify it |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
6 |
# under the terms of the GNU General Public License version 2 only, as |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
7 |
# published by the Free Software Foundation. Oracle designates this |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
8 |
# particular file as subject to the "Classpath" exception as provided |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
9 |
# by Oracle in the LICENSE file that accompanied this code. |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
10 |
# |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
11 |
# This code is distributed in the hope that it will be useful, but WITHOUT |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
12 |
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
13 |
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
14 |
# version 2 for more details (a copy is included in the LICENSE file that |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
15 |
# accompanied this code). |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
16 |
# |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
17 |
# You should have received a copy of the GNU General Public License version |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
18 |
# 2 along with this work; if not, write to the Free Software Foundation, |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
19 |
# Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
20 |
# |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
21 |
# Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
22 |
# or visit www.oracle.com if you need additional information or have any |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
23 |
# questions. |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
24 |
# |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
25 |
|
36990 | 26 |
jshell.msg.welcome =\ |
27 |
Welcome to JShell -- Version {0}\n\ |
|
42412
ca6f4f1914b2
8169828: jdk/jshell/ExternalEditorTest.java testStatementMush() fails frequently on all platform
rfield
parents:
41937
diff
changeset
|
28 |
For an introduction type: /help intro |
40588
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
29 |
jshell.err.opt.arg = Argument to {0} missing. |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
30 |
jshell.err.opt.invalid = Invalid options: {0}. |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
31 |
jshell.err.opt.one = Only one {0} option may be used. |
42972
47ca49eee534
8172102: jshell tool: remove print method forwarding to System.out from default startup
rfield
parents:
42971
diff
changeset
|
32 |
jshell.err.opt.startup.conflict = Conflicting options: both --startup and --no-startup were used. |
40588
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
33 |
jshell.err.opt.feedback.one = Only one feedback option (--feedback, -q, -s, or -v) may be used. |
36990 | 34 |
jshell.err.opt.unknown = Unknown option: {0} |
35 |
||
36 |
jshell.msg.terminated =\ |
|
37 |
State engine terminated.\n\ |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
38 |
Restore definitions with: /reload -restore |
36990 | 39 |
|
40 |
jshell.msg.use.one.of = Use one of: {0} |
|
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
41 |
jshell.msg.see.classes.etc = See /types, /methods, /vars, or /list |
36990 | 42 |
jshell.err.arg = Invalid ''{0}'' argument: {1} |
43 |
jshell.msg.see = See {0} for help. |
|
44 |
||
45 |
jshell.err.file.not.accessible = File ''{1}'' for ''{0}'' is not accessible: {2} |
|
37389 | 46 |
jshell.err.file.not.found = File ''{1}'' for ''{0}'' is not found. |
36990 | 47 |
jshell.err.file.exception = File ''{1}'' for ''{0}'' threw exception: {2} |
48 |
jshell.err.file.filename = ''{0}'' requires a filename argument. |
|
49 |
||
50 |
jshell.err.startup.unexpected.exception = Unexpected exception reading start-up: {0} |
|
51 |
jshell.err.unexpected.exception = Unexpected exception: {0} |
|
52 |
||
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
53 |
jshell.err.invalid.command = Invalid command: {0} |
36990 | 54 |
jshell.err.command.ambiguous = Command: ''{0}'' is ambiguous: {1} |
43038 | 55 |
jshell.msg.set.restore = Setting new options and restoring state. |
36990 | 56 |
jshell.msg.set.editor.set = Editor set to: {0} |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
57 |
jshell.msg.set.editor.retain = Editor setting retained: {0} |
41934
a4da50688dc7
8167636: jshell tool: Edit Pad should be in its own module
rfield
parents:
41865
diff
changeset
|
58 |
jshell.err.no.builtin.editor = Built-in editor not available. |
a4da50688dc7
8167636: jshell tool: Edit Pad should be in its own module
rfield
parents:
41865
diff
changeset
|
59 |
jshell.err.cant.launch.editor = Cannot launch built-in editor -- unexpected exception: {0} |
a4da50688dc7
8167636: jshell tool: Edit Pad should be in its own module
rfield
parents:
41865
diff
changeset
|
60 |
jshell.msg.try.set.editor = See ''/help /set editor'' to use external editor. |
40598
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
61 |
jshell.msg.press.return.to.leave.edit.mode = Press return to leave edit mode. |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
62 |
jshell.err.wait.applies.to.external.editor = -wait applies to external editors |
41934
a4da50688dc7
8167636: jshell tool: Edit Pad should be in its own module
rfield
parents:
41865
diff
changeset
|
63 |
jshell.label.editpad = JShell Edit Pad |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
64 |
|
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
65 |
jshell.err.setting.to.retain.must.be.specified = The setting to retain must be specified -- {0} |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
66 |
jshell.msg.set.show.mode.settings = \nTo show mode settings use ''/set prompt'', ''/set truncation'', ...\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
67 |
or use ''/set mode'' followed by the feedback mode name. |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
68 |
jshell.err.continuation.prompt.required = Continuation prompt required -- {0} |
36990 | 69 |
|
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
70 |
jshell.msg.try.command.without.args = Try ''{0}'' without arguments. |
36990 | 71 |
jshell.msg.no.active = There are no active definitions. |
72 |
||
73 |
jshell.msg.resetting = Resetting... |
|
74 |
jshell.msg.resetting.state = Resetting state. |
|
75 |
||
76 |
jshell.err.reload.no.previous = No previous history to restore |
|
77 |
jshell.err.reload.restarting.previous.state = Restarting and restoring from previous state. |
|
78 |
jshell.err.reload.restarting.state = Restarting and restoring state. |
|
79 |
||
44683
610dc2b48954
8178023: jshell tool: crash with ugly message on attempt to add non-existant module path
rfield
parents:
44569
diff
changeset
|
80 |
jshell.err.restart.failed = Restart failed: {0}\n\n\ |
610dc2b48954
8178023: jshell tool: crash with ugly message on attempt to add non-existant module path
rfield
parents:
44569
diff
changeset
|
81 |
Reverting to previous settings and restarting... |
610dc2b48954
8178023: jshell tool: crash with ugly message on attempt to add non-existant module path
rfield
parents:
44569
diff
changeset
|
82 |
|
36990 | 83 |
jshell.msg.vars.not.active = (not-active) |
84 |
||
85 |
jshell.err.out.of.range = Out of range |
|
86 |
||
87 |
jshell.msg.error = Error: |
|
88 |
jshell.msg.warning = Warning: |
|
89 |
||
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
90 |
jshell.err.sub.arg = The ''{0}'' command requires a sub-command. See: ''/help {0}'' |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
91 |
jshell.err.sub.ambiguous = Ambiguous sub-command argument to ''{0}'': {1} |
36990 | 92 |
|
93 |
jshell.err.classpath.arg = The /classpath command requires a path argument. |
|
94 |
jshell.msg.classpath = Path ''{0}'' added to classpath |
|
95 |
||
96 |
jshell.err.help.arg = No commands or subjects start with the provided argument: {0} |
|
97 |
jshell.msg.help.begin =\ |
|
98 |
Type a Java language expression, statement, or declaration.\n\ |
|
99 |
Or type one of the following commands:\n |
|
100 |
jshell.msg.help.subject =\n\ |
|
42412
ca6f4f1914b2
8169828: jdk/jshell/ExternalEditorTest.java testStatementMush() fails frequently on all platform
rfield
parents:
41937
diff
changeset
|
101 |
For more information type ''/help'' followed by the name of a\n\ |
ca6f4f1914b2
8169828: jdk/jshell/ExternalEditorTest.java testStatementMush() fails frequently on all platform
rfield
parents:
41937
diff
changeset
|
102 |
command or a subject.\n\ |
44456
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
103 |
For example ''/help /list'' or ''/help intro''.\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
104 |
\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
105 |
Subjects:\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
106 |
\n |
36990 | 107 |
|
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
108 |
jshell.err.no.snippet.with.id = No snippet with id: {0} |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
109 |
jshell.err.end.snippet.range.less.than.start = End of snippet range less than start: {0} - {1} |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
110 |
jshell.err.range.requires.id = Snippet ranges require snippet ids: {0} |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
111 |
|
36990 | 112 |
jshell.err.drop.arg =\ |
113 |
In the /drop argument, please specify an import, variable, method, or class to drop.\n\ |
|
114 |
Specify by id or name. Use /list to see ids. Use /reset to reset all state. |
|
115 |
jshell.err.failed = Failed. |
|
116 |
jshell.msg.native.method = Native Method |
|
117 |
jshell.msg.unknown.source = Unknown Source |
|
118 |
jshell.msg.goodbye = Goodbye |
|
119 |
||
120 |
jshell.msg.help.for.help = Type /help for help. |
|
121 |
||
38539 | 122 |
jshell.err.mode.name = Expected a feedback mode name: {0} |
123 |
jshell.err.missing.mode = Missing the feedback mode -- {0} |
|
124 |
jshell.err.field.name = Expected a field name: {0} -- {1} |
|
125 |
jshell.err.mode.unknown = No feedback mode named: {0} -- {1} |
|
126 |
||
36990 | 127 |
jshell.err.feedback.does.not.match.mode = Does not match any current feedback mode: {0} -- {1} |
128 |
jshell.err.feedback.ambiguous.mode = Matches more then one current feedback mode: {0} -- {1} |
|
129 |
jshell.err.feedback.must.be.quoted = Format ''{0}'' must be quoted -- {1} |
|
130 |
jshell.err.feedback.not.a.valid.selector = Not a valid selector ''{0}'' in ''{1}'' -- {2} |
|
131 |
jshell.err.feedback.multiple.sections = Selector kind in multiple sections of selector list ''{0}'' in ''{1}'' -- {2} |
|
132 |
jshell.err.feedback.different.selector.kinds = Different selector kinds in same sections of selector list ''{0}'' in ''{1}'' -- {2} |
|
133 |
||
134 |
jshell.msg.feedback.new.mode = Created new feedback mode: {0} |
|
135 |
jshell.msg.feedback.mode = Feedback mode: {0} |
|
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
136 |
jshell.msg.feedback.mode.following = Available feedback modes: |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
137 |
jshell.msg.feedback.retained.mode.following = Retained feedback modes: |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
138 |
jshell.err.mode.creation = To create a new mode either the -command or the -quiet option must be used -- {0} |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
139 |
jshell.err.mode.exists = Mode to be created already exists: {0} -- {1} |
36990 | 140 |
|
38513 | 141 |
jshell.err.truncation.expected.length = Expected truncation length -- {0} |
142 |
jshell.err.truncation.length.not.integer = Truncation length must be an integer: {0} -- {1} |
|
143 |
||
38539 | 144 |
jshell.err.not.valid.with.predefined.mode = Not valid with a predefined mode: {0} -- {1} |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
145 |
jshell.err.retained.feedback.mode.must.be.retained.or.predefined = \ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
146 |
''/set feedback -retain <mode>'' requires that <mode> is predefined or has been retained with ''/set mode -retain'' -- {0} |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
147 |
|
38539 | 148 |
jshell.err.unknown.option = Unknown option: {0} -- {1} |
41641
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
149 |
jshell.err.default.option.or.program = Specify -default option, -delete option, or program -- {0} |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
150 |
jshell.err.option.or.filename = Specify no more than one of -default, -none, or a startup file name -- {0} |
38539 | 151 |
jshell.err.unexpected.at.end = Unexpected arguments at end of command: {0} -- {1} |
152 |
jshell.err.conflicting.options = Conflicting options -- {0} |
|
153 |
jshell.err.cannot.delete.current.mode = The current feedback mode ''{0}'' cannot be deleted, use ''/set feedback'' first -- {1} |
|
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
154 |
jshell.err.cannot.delete.retained.mode = The retained feedback mode ''{0}'' cannot be deleted, use ''/set feedback -retain'' first -- {1} |
38539 | 155 |
jshell.err.may.not.specify.options.and.snippets = Options and snippets must not both be used: {0} |
156 |
jshell.err.no.such.snippets = No such snippet: {0} |
|
157 |
jshell.err.the.snippet.cannot.be.used.with.this.command = This command does not accept the snippet ''{0}'' : {1} |
|
158 |
jshell.err.retained.mode.failure = Failure in retained modes (modes cleared) -- {0} {1} |
|
159 |
||
43263
ca999fb7b46d
8172179: jshell tool: builtin startup settings should be by reference not content
rfield
parents:
43038
diff
changeset
|
160 |
jshell.err.corrupted.stored.startup = Corrupted stored startup, using default -- {0} |
ca999fb7b46d
8172179: jshell tool: builtin startup settings should be by reference not content
rfield
parents:
43038
diff
changeset
|
161 |
|
44459 | 162 |
jshell.console.see.synopsis = <press tab again to see synopsis> |
163 |
jshell.console.see.full.documentation = <press tab again to see full documentation> |
|
164 |
jshell.console.see.documentation = <press tab again to see documentation> |
|
165 |
jshell.console.see.next.page = <press tab again to see next page> |
|
166 |
jshell.console.see.next.javadoc = <press tab to see next documentation> |
|
167 |
jshell.console.see.next.command.doc = <press tab to see next command> |
|
168 |
jshell.console.no.such.command = No such command |
|
169 |
jshell.console.completion.current.signatures = Signatures: |
|
170 |
jshell.console.completion.all.completions.number = <press tab again to see all possible completions; total possible completions: {0}> |
|
171 |
jshell.console.completion.all.completions = <press tab again to see all possible completions> |
|
172 |
jshell.console.no.javadoc = <no documentation found> |
|
36990 | 173 |
jshell.console.do.nothing = Do nothing |
174 |
jshell.console.choice = Choice: \ |
|
175 |
||
176 |
jshell.console.create.variable = Create variable |
|
177 |
jshell.console.resolvable = \nThe identifier is resolvable in this context. |
|
178 |
jshell.console.no.candidate = \nNo candidate fully qualified names found to import. |
|
179 |
jshell.console.incomplete = \nResults may be incomplete; try again later for complete results. |
|
180 |
||
181 |
||
182 |
help.usage = \ |
|
183 |
Usage: jshell <options> <load files>\n\ |
|
37745
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
184 |
where possible options include:\n\ |
40588
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
185 |
\ --class-path <path> Specify where to find user class files\n\ |
41852
448273b190ad
8166649: jshell tool: missing --add-modules and --module-path
rfield
parents:
41641
diff
changeset
|
186 |
\ --module-path <path> Specify where to find application modules\n\ |
448273b190ad
8166649: jshell tool: missing --add-modules and --module-path
rfield
parents:
41641
diff
changeset
|
187 |
\ --add-modules <module>(,<module>)*\n\ |
448273b190ad
8166649: jshell tool: missing --add-modules and --module-path
rfield
parents:
41641
diff
changeset
|
188 |
\ Specify modules to resolve, or all modules on the\n\ |
42969
a48d4f74d322
8168615: JShell API: jdk.jshell.spi should be a pluggable ServiceLoader SPI
rfield
parents:
42412
diff
changeset
|
189 |
\ module path if <module> is ALL-MODULE-PATHs\n\ |
40588
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
190 |
\ --startup <file> One run replacement for the start-up definitions\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
191 |
\ --no-startup Do not run the start-up definitions\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
192 |
\ --feedback <mode> Specify the initial feedback mode. The mode may be\n\ |
42969
a48d4f74d322
8168615: JShell API: jdk.jshell.spi should be a pluggable ServiceLoader SPI
rfield
parents:
42412
diff
changeset
|
193 |
\ predefined (silent, concise, normal, or verbose) or\n\ |
a48d4f74d322
8168615: JShell API: jdk.jshell.spi should be a pluggable ServiceLoader SPI
rfield
parents:
42412
diff
changeset
|
194 |
\ previously user-defined\n\ |
40588
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
195 |
\ -q Quiet feedback. Same as: --feedback concise\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
196 |
\ -s Really quiet feedback. Same as: --feedback silent\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
197 |
\ -v Verbose feedback. Same as: --feedback verbose\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
198 |
\ -J<flag> Pass <flag> directly to the runtime system.\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
199 |
\ Use one -J for each runtime flag or flag argument\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
200 |
\ -R<flag> Pass <flag> to the remote runtime system.\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
201 |
\ Use one -R for each remote flag or flag argument\n\ |
41248 | 202 |
\ -C<flag> Pass <flag> to the compiler.\n\ |
203 |
\ Use one -C for each compiler flag or flag argument\n\ |
|
43367
7797472a9ed5
8171343: jshell tool: missing options: --help-extra --show-version
rfield
parents:
43263
diff
changeset
|
204 |
\ --version Print version information and exit\n\ |
7797472a9ed5
8171343: jshell tool: missing options: --help-extra --show-version
rfield
parents:
43263
diff
changeset
|
205 |
\ --show-version Print version information and continue\n\ |
7797472a9ed5
8171343: jshell tool: missing options: --help-extra --show-version
rfield
parents:
43263
diff
changeset
|
206 |
\ --help Print this synopsis of standard options and exit\n\ |
7797472a9ed5
8171343: jshell tool: missing options: --help-extra --show-version
rfield
parents:
43263
diff
changeset
|
207 |
\ --help-extra, -X Print help on non-standard options and exit\n |
41248 | 208 |
help.usage.x = \ |
209 |
\ --add-exports <module>/<package> Export specified module-private package to snippets\n\ |
|
42969
a48d4f74d322
8168615: JShell API: jdk.jshell.spi should be a pluggable ServiceLoader SPI
rfield
parents:
42412
diff
changeset
|
210 |
\ --execution <spec> Specify an alternate execution engine.\n\ |
a48d4f74d322
8168615: JShell API: jdk.jshell.spi should be a pluggable ServiceLoader SPI
rfield
parents:
42412
diff
changeset
|
211 |
\ Where <spec> is an ExecutionControl spec.\n\ |
a48d4f74d322
8168615: JShell API: jdk.jshell.spi should be a pluggable ServiceLoader SPI
rfield
parents:
42412
diff
changeset
|
212 |
\ See the documentation of the package\n\ |
a48d4f74d322
8168615: JShell API: jdk.jshell.spi should be a pluggable ServiceLoader SPI
rfield
parents:
42412
diff
changeset
|
213 |
\ jdk.jshell.spi for the syntax of the spec\n\ |
41248 | 214 |
\ \n\ |
215 |
\These options are non-standard and subject to change without notice.\n |
|
36990 | 216 |
|
217 |
help.list.summary = list the source you have typed |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
218 |
help.list.args = [<name or id>|-all|-start] |
36990 | 219 |
help.list =\ |
220 |
Show the source of snippets, prefaced with the snippet id.\n\ |
|
221 |
\n\ |
|
222 |
/list\n\t\ |
|
223 |
List the currently active snippets of code that you typed or read with /open\n\n\ |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
224 |
/list -start\n\t\ |
36990 | 225 |
List the automatically evaluated start-up snippets\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
226 |
/list -all\n\t\ |
36990 | 227 |
List all snippets including failed, overwritten, dropped, and start-up\n\n\ |
228 |
/list <name>\n\t\ |
|
229 |
List snippets with the specified name (preference for active snippets)\n\n\ |
|
230 |
/list <id>\n\t\ |
|
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
231 |
List the snippet with the specified snippet id\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
232 |
/list <id> <id>...\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
233 |
List the snippets with the specified snippet ids\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
234 |
/list <id>-<id>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
235 |
List the snippets within the range of snippet ids |
36990 | 236 |
|
237 |
help.edit.summary = edit a source entry referenced by name or id |
|
238 |
help.edit.args = <name or id> |
|
239 |
help.edit =\ |
|
240 |
Edit a snippet or snippets of source in an external editor.\n\ |
|
241 |
The editor to use is set with /set editor.\n\ |
|
242 |
If no editor has been set, a simple editor will be launched.\n\ |
|
243 |
\n\ |
|
244 |
/edit <name>\n\t\ |
|
245 |
Edit the snippet or snippets with the specified name (preference for active snippets)\n\n\ |
|
246 |
/edit <id>\n\t\ |
|
247 |
Edit the snippet with the specified snippet id\n\n\ |
|
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
248 |
/edit <id> <id>...\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
249 |
Edit the snippets with the specified snippet ids\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
250 |
/edit <id>-<id>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
251 |
Edit the snippets within the range of snippet ids\n\n\ |
45501
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
252 |
/edit -start\n\t\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
253 |
Edit the automatically evaluated start-up snippets. Any changes are in this\n\t\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
254 |
session, and do not affect the start-up setting\n\n\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
255 |
/edit -all\n\t\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
256 |
Edit all snippets including failed, overwritten, dropped, and start-up\n\n\ |
36990 | 257 |
/edit\n\t\ |
258 |
Edit the currently active snippets of code that you typed or read with /open |
|
259 |
||
260 |
help.drop.summary = delete a source entry referenced by name or id |
|
261 |
help.drop.args = <name or id> |
|
262 |
help.drop =\ |
|
263 |
Drop a snippet -- making it inactive.\n\ |
|
264 |
\n\ |
|
265 |
/drop <name>\n\t\ |
|
266 |
Drop the snippet with the specified name\n\n\ |
|
267 |
/drop <id>\n\t\ |
|
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
268 |
Drop the snippet with the specified snippet id\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
269 |
/drop <id> <id>...\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
270 |
Drop the snippets with the specified snippet ids\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
271 |
/drop <id>-<id>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
272 |
Drop the snippets within the range of snippet ids |
36990 | 273 |
|
274 |
help.save.summary = Save snippet source to a file. |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
275 |
help.save.args = [-all|-history|-start] <file> |
36990 | 276 |
help.save =\ |
277 |
Save the specified snippets and/or commands to the specified file.\n\ |
|
278 |
\n\ |
|
279 |
/save <file>\n\t\ |
|
280 |
Save the source of current active snippets to the file.\n\n\ |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
281 |
/save -all <file>\n\t\ |
36990 | 282 |
Save the source of all snippets to the file.\n\t\ |
283 |
Includes source including overwritten, failed, and start-up code.\n\n\ |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
284 |
/save -history <file>\n\t\ |
36990 | 285 |
Save the sequential history of all commands and snippets entered since jshell was launched.\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
286 |
/save -start <file>\n\t\ |
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
287 |
Save the current start-up definitions to the file.\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
288 |
/save <id> <file>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
289 |
Save the snippet with the specified snippet id\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
290 |
/save <id> <id>... <file>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
291 |
Save the snippets with the specified snippet ids\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
292 |
/save <id>-<id> <file>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
293 |
Save the snippets within the range of snippet ids |
36990 | 294 |
|
295 |
help.open.summary = open a file as source input |
|
296 |
help.open.args = <file> |
|
297 |
help.open =\ |
|
298 |
Open a file and read its contents as snippets and commands.\n\ |
|
299 |
\n\ |
|
300 |
/open <file>\n\t\ |
|
301 |
Read the specified file as jshell input. |
|
302 |
||
303 |
help.vars.summary = list the declared variables and their values |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
304 |
help.vars.args = [<name or id>|-all|-start] |
36990 | 305 |
help.vars =\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
306 |
List the type, name, and value of jshell variables.\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
307 |
\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
308 |
/vars\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
309 |
List the type, name, and value of the current active jshell variables\n\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
310 |
/vars <name>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
311 |
List jshell variables with the specified name (preference for active variables)\n\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
312 |
/vars <id>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
313 |
List the jshell variable with the specified snippet id\n\n\ |
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
314 |
/vars <id> <id>... <file>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
315 |
List the jshell variables with the specified snippet ids\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
316 |
/vars <id>-<id> <file>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
317 |
List the jshell variables within the range of snippet ids\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
318 |
/vars -start\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
319 |
List the automatically added start-up jshell variables\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
320 |
/vars -all\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
321 |
List all jshell variables including failed, overwritten, dropped, and start-up |
36990 | 322 |
|
323 |
help.methods.summary = list the declared methods and their signatures |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
324 |
help.methods.args = [<name or id>|-all|-start] |
36990 | 325 |
help.methods =\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
326 |
List the name, parameter types, and return type of jshell methods.\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
327 |
\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
328 |
/methods\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
329 |
List the name, parameter types, and return type of the current active jshell methods\n\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
330 |
/methods <name>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
331 |
List jshell methods with the specified name (preference for active methods)\n\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
332 |
/methods <id>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
333 |
List the jshell method with the specified snippet id\n\n\ |
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
334 |
/methods <id> <id>... <file>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
335 |
List jshell methods with the specified snippet ids\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
336 |
/methods <id>-<id> <file>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
337 |
List jshell methods within the range of snippet ids\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
338 |
/methods -start\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
339 |
List the automatically added start-up jshell methods\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
340 |
/methods -all\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
341 |
List all snippets including failed, overwritten, dropped, and start-up |
36990 | 342 |
|
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
343 |
help.types.summary = list the declared types |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
344 |
help.types.args =[<name or id>|-all|-start] |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
345 |
help.types =\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
346 |
List jshell classes, interfaces, and enums.\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
347 |
\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
348 |
/types\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
349 |
List the current active jshell classes, interfaces, and enums.\n\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
350 |
/types <name>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
351 |
List jshell types with the specified name (preference for active types)\n\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
352 |
/types <id>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
353 |
List the jshell type with the specified snippet id\n\n\ |
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
354 |
/types <id> <id>... <file>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
355 |
List jshell types with the specified snippet ids\n\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
356 |
/types <id>-<id> <file>\n\t\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
357 |
List jshell types within the range of snippet ids\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
358 |
/types -start\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
359 |
List the automatically added start-up jshell types\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
360 |
/types -all\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
361 |
List all jshell types including failed, overwritten, dropped, and start-up |
36990 | 362 |
|
363 |
help.imports.summary = list the imported items |
|
364 |
help.imports.args = |
|
365 |
help.imports =\ |
|
366 |
List the current active jshell imports. |
|
367 |
||
368 |
help.exit.summary = exit jshell |
|
369 |
help.exit.args = |
|
370 |
help.exit =\ |
|
371 |
Leave the jshell tool. No work is saved.\n\ |
|
372 |
Save any work before using this command |
|
373 |
||
374 |
help.reset.summary = reset jshell |
|
43038 | 375 |
help.reset.args = \ |
376 |
[-class-path <path>] [-module-path <path>] [-add-modules <modules>]... |
|
36990 | 377 |
help.reset =\ |
378 |
Reset the jshell tool code and execution state:\n\t\ |
|
379 |
* All entered code is lost.\n\t\ |
|
380 |
* Start-up code is re-executed.\n\t\ |
|
381 |
* The execution state is restarted.\n\t\ |
|
382 |
Tool settings are maintained, as set with: /set ...\n\ |
|
43038 | 383 |
Save any work before using this command.\n\ |
384 |
The /reset command accepts context options, see:\n\n\t\ |
|
385 |
/help context\n\ |
|
386 |
||
36990 | 387 |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
388 |
help.reload.summary = reset and replay relevant history -- current or previous (-restore) |
43038 | 389 |
help.reload.args = \ |
390 |
[-restore] [-quiet] [-class-path <path>] [-module-path <path>]... |
|
36990 | 391 |
help.reload =\ |
41852
448273b190ad
8166649: jshell tool: missing --add-modules and --module-path
rfield
parents:
41641
diff
changeset
|
392 |
Reset the jshell tool code and execution state then replay each valid snippet\n\ |
43038 | 393 |
and any /drop commands in the order they were entered.\n\ |
36990 | 394 |
\n\ |
395 |
/reload\n\t\ |
|
396 |
Reset and replay the valid history since jshell was entered, or\n\t\ |
|
397 |
a /reset, or /reload command was executed -- whichever is most\n\t\ |
|
398 |
recent.\n\n\ |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
399 |
/reload -restore\n\t\ |
36990 | 400 |
Reset and replay the valid history between the previous and most\n\t\ |
45501
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
401 |
recent time that jshell was entered, or a /reset, /reload, or /env\n\t\ |
36990 | 402 |
command was executed. This can thus be used to restore a previous\n\t\ |
41937
1313399705e9
8161969: jshell tool: /var value is not truncated per feedback setting
rfield
parents:
41934
diff
changeset
|
403 |
jshell tool session.\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
404 |
/reload [-restore] -quiet\n\t\ |
43038 | 405 |
With the '-quiet' argument the replay is not shown. Errors will display.\n\ |
406 |
\n\ |
|
407 |
Each of the above accepts context options, see:\n\n\t\ |
|
408 |
/help context\n\ |
|
409 |
\n\ |
|
410 |
For example:\n\n\t\ |
|
411 |
/reload -add-modules com.greetings -restore |
|
36990 | 412 |
|
43038 | 413 |
help.env.summary = view or change the evaluation context |
414 |
help.env.args = \ |
|
415 |
[-class-path <path>] [-module-path <path>] [-add-modules <modules>] ... |
|
416 |
help.env =\ |
|
417 |
View or change the evaluation context. The evaluation context is the class path,\n\ |
|
418 |
module path, etc.\n\ |
|
419 |
/env\n\t\ |
|
420 |
Show the evaluation context displayed as context options.\n\n\ |
|
421 |
/env [-class-path <path>] [-module-path <path>] [-add-modules <modules>] ...\n\t\ |
|
422 |
With at least one option set, sets the evaluation context. If snippets\n\t\ |
|
423 |
have been defined, the execution state is reset with the new\n\t\ |
|
424 |
evaluation context and the snippets will be replayed -- the replay is not\n\t\ |
|
425 |
shown, however, errors will display. This is equivalent to: /reload -quiet\n\t\ |
|
426 |
For details of context options, see:\n\n\t\t\ |
|
427 |
/help context\n\n\t\ |
|
428 |
For example:\n\n\t\t\ |
|
429 |
/env -add-modules com.greetings |
|
36990 | 430 |
|
431 |
help.history.summary = history of what you have typed |
|
432 |
help.history.args = |
|
433 |
help.history =\ |
|
434 |
Display the history of snippet and command input since this jshell was launched. |
|
435 |
||
436 |
help.debug.summary = toggle debugging of the jshell |
|
437 |
help.debug.args = [0][r][g][f][c][d][e] |
|
438 |
help.debug =\ |
|
439 |
Display debugging information for the jshell implementation.\n\ |
|
440 |
0: Debugging off\n\ |
|
441 |
r: Tool level debugging on\n\ |
|
442 |
g: General debugging on\n\ |
|
443 |
f: File manager debugging on\n\ |
|
444 |
c: Completion analysis debugging on\n\ |
|
445 |
d: Dependency debugging on\n\ |
|
446 |
e: Event debugging on |
|
447 |
||
448 |
help.help.summary = get information about jshell |
|
449 |
help.help.args = [<command>|<subject>] |
|
450 |
help.help =\ |
|
451 |
Display information about jshell.\n\ |
|
452 |
/help\n\t\ |
|
453 |
List the jshell commands and help subjects.\n\n\ |
|
454 |
/help <command>\n\t\ |
|
44456
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
455 |
Display information about the specified command. The slash must be included.\n\t\ |
36990 | 456 |
Only the first few letters of the command are needed -- if more than one\n\t\ |
457 |
each will be displayed. Example: /help /li\n\n\ |
|
458 |
/help <subject>\n\t\ |
|
459 |
Display information about the specified help subject. Example: /help intro |
|
460 |
||
461 |
help.set.summary = set jshell configuration information |
|
38539 | 462 |
help.set.args = editor|start|feedback|mode|prompt|truncation|format ... |
36990 | 463 |
help.set =\ |
464 |
Set jshell configuration information, including:\n\ |
|
465 |
the external editor to use, the start-up definitions to use, a new feedback mode,\n\ |
|
466 |
the command prompt, the feedback mode to use, or the format of output.\n\ |
|
467 |
\n\ |
|
40598
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
468 |
/set editor [-wait] <command> <optional-arg>...\n\t\ |
36990 | 469 |
Specify the command to launch for the /edit command.\n\t\ |
470 |
The <command> is an operating system dependent string.\n\n\ |
|
471 |
/set start <file>\n\t\ |
|
472 |
The contents of the specified <file> become the default start-up snippets and commands.\n\n\ |
|
473 |
/set feedback <mode>\n\t\ |
|
474 |
Set the feedback mode describing displayed feedback for entered snippets and commands.\n\n\ |
|
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
475 |
/set mode <mode> [<old-mode>] -command|-quiet|-delete\n\t\ |
38539 | 476 |
Create or update a user-defined feedback mode, optionally copying from an existing mode.\n\n\ |
36990 | 477 |
/set prompt <mode> "<prompt>" "<continuation-prompt>"\n\t\ |
478 |
Set the displayed prompts for a given feedback mode.\n\n\ |
|
38513 | 479 |
/set truncation <mode> <length> <selector>...\n\t\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
480 |
Set the maximum length of a displayed value.\n\n\ |
36990 | 481 |
/set format <mode> <field> "<format>" <selector>...\n\t\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
482 |
Configure a feedback mode by setting the format of a field when the selector matches.\n\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
483 |
/set\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
484 |
Show editor, start, and feedback settings as /set commands.\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
485 |
To show the settings of any of the above, omit the set value.\n\n\ |
36990 | 486 |
To get more information about one of these forms, use /help with the form specified.\n\ |
487 |
For example: /help /set format |
|
488 |
||
489 |
help.quest.summary = get information about jshell |
|
490 |
help.quest.args = [<command>|<subject>] |
|
491 |
help.quest =\ |
|
492 |
Display information about jshell (abbreviation for /help).\n\ |
|
493 |
/?\n\t\ |
|
494 |
Display list of commands and help subjects.\n\ |
|
495 |
/? <command>\n\t\ |
|
44456
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
496 |
Display information about the specified command. The slash must be included.\n\t\ |
36990 | 497 |
Only the first few letters of the command are needed -- if more than one\n\t\ |
498 |
match, each will be displayed. Example: /? /li\n\ |
|
499 |
/? <subject>\n\t\ |
|
500 |
Display information about the specified help subject. Example: /? intro |
|
501 |
||
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
502 |
help.bang.summary = rerun last snippet -- see /help rerun |
36990 | 503 |
help.bang.args = |
504 |
help.bang =\ |
|
505 |
Reevaluate the most recently entered snippet. |
|
506 |
||
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
507 |
help.id.summary = rerun snippets by id or id range -- see /help rerun |
36990 | 508 |
help.id.args = |
509 |
help.id =\ |
|
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
510 |
/<id> <id> <id>\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
511 |
\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
512 |
/<id>-<id>\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
513 |
\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
514 |
Reevaluate the snippets specified by the id or id range.\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
515 |
An id range is represented as a two ids separated by a hyphen, e.g.: 3-17\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
516 |
Start-up and error snippets maybe used, e.g.: s3-s9 or e1-e4\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
517 |
Any number of ids or id ranges may be used, e.g.: /3-7 s4 14-16 e2 |
36990 | 518 |
|
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
519 |
help.previous.summary = rerun n-th previous snippet -- see /help rerun |
36990 | 520 |
help.previous.args = |
521 |
help.previous =\ |
|
522 |
Reevaluate the n-th most recently entered snippet. |
|
523 |
||
524 |
help.intro.summary = an introduction to the jshell tool |
|
525 |
help.intro =\ |
|
526 |
The jshell tool allows you to execute Java code, getting immediate results.\n\ |
|
527 |
You can enter a Java definition (variable, method, class, etc), like: int x = 8\n\ |
|
528 |
or a Java expression, like: x + x\n\ |
|
529 |
or a Java statement or import.\n\ |
|
530 |
These little chunks of Java code are called 'snippets'.\n\ |
|
531 |
\n\ |
|
532 |
There are also jshell commands that allow you to understand and\n\ |
|
533 |
control what you are doing, like: /list\n\ |
|
534 |
\n\ |
|
535 |
For a list of commands: /help |
|
536 |
||
44456
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
537 |
help.shortcuts.summary = a description of keystrokes for snippet and command completion,\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
538 |
information access, and automatic code generation |
36990 | 539 |
help.shortcuts =\ |
540 |
Supported shortcuts include:\n\ |
|
541 |
\n\ |
|
542 |
<tab>\n\t\t\ |
|
543 |
After entering the first few letters of a Java identifier,\n\t\t\ |
|
544 |
a jshell command, or, in some cases, a jshell command argument,\n\t\t\ |
|
545 |
press the <tab> key to complete the input.\n\t\t\ |
|
44459 | 546 |
If there is more than one completion, then possible completions will be shown.\n\t\t\ |
547 |
Will show documentation if available and appropriate.\n\n\ |
|
548 |
Shift-<tab> v\n\t\t\ |
|
549 |
After a complete expression, hold down <shift> while pressing <tab>,\n\t\t\ |
|
550 |
then release and press "v", the expression will be converted to\n\t\t\ |
|
44569
b1accf8b2aed
8178013: Finetuning of merged tab and shift tab completion
jlahoda
parents:
44459
diff
changeset
|
551 |
a variable declaration whose type is based on the type of the expression.\n\n\ |
44459 | 552 |
Shift-<tab> i\n\t\t\ |
553 |
After an unresolvable identifier, hold down <shift> while pressing <tab>,\n\t\t\ |
|
554 |
then release and press "i", and jshell will propose possible imports\n\t\t\ |
|
44569
b1accf8b2aed
8178013: Finetuning of merged tab and shift tab completion
jlahoda
parents:
44459
diff
changeset
|
555 |
which will resolve the identifier based on the content of the specified classpath. |
36990 | 556 |
|
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
557 |
help.context.summary = a description of the evaluation context options for /env /reload and /reset |
43038 | 558 |
help.context =\ |
559 |
These options configure the evaluation context, they can be specified when\n\ |
|
560 |
jshell is started: on the command-line, or restarted with the commands /env,\n\ |
|
561 |
/reload, or /reset.\n\ |
|
562 |
\n\ |
|
563 |
They are:\n\t\ |
|
564 |
--class-path <class search path of directories and zip/jar files>\n\t\t\ |
|
565 |
A list of directories, JAR archives,\n\t\t\ |
|
566 |
and ZIP archives to search for class files.\n\t\t\ |
|
567 |
The list is separated with the path separator\n\t\t\ |
|
568 |
(a : on unix/linux/mac, and ; on windows).\n\t\ |
|
569 |
--module-path <module path>...\n\t\t\ |
|
570 |
A list of directories, each directory\n\t\t\ |
|
571 |
is a directory of modules.\n\t\t\ |
|
572 |
The list is separated with the path separator\n\t\t\ |
|
573 |
(a : on unix/linux/mac, and ; on windows).\n\t\ |
|
574 |
--add-modules <modulename>[,<modulename>...]\n\t\t\ |
|
575 |
root modules to resolve in addition to the initial module.\n\t\t\ |
|
576 |
<modulename> can also be ALL-DEFAULT, ALL-SYSTEM,\n\t\t\ |
|
577 |
ALL-MODULE-PATH.\n\t\ |
|
578 |
--add-exports <module>/<package>=<target-module>(,<target-module>)*\n\t\t\ |
|
579 |
updates <module> to export <package> to <target-module>,\n\t\t\ |
|
580 |
regardless of module declaration.\n\t\t\ |
|
581 |
<target-module> can be ALL-UNNAMED to export to all\n\t\t\ |
|
582 |
unnamed modules. In jshell, if the <target-module> is not\n\t\t\ |
|
583 |
specified (no =) then ALL-UNNAMED is used.\n\ |
|
584 |
\n\ |
|
585 |
On the command-line these options must have two dashes, e.g.: --module-path\n\ |
|
586 |
On jshell commands they can have one or two dashes, e.g.: -module-path\n\ |
|
587 |
||
45215
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
588 |
help.rerun.summary = a description of ways to re-evaluate previously entered snippets |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
589 |
help.rerun =\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
590 |
There are four ways to re-evaluate previously entered snippets.\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
591 |
The last snippet can be re-evaluated using: /!\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
592 |
The n-th previous snippet can be re-evaluated by slash-minus and the digits of n, e.g.: /-4\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
593 |
For example:\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
594 |
\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
595 |
\tjshell> 2 + 2\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
596 |
\t$1 ==> 4\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
597 |
\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
598 |
\tjshell> /!\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
599 |
\t2 + 2\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
600 |
\t$2 ==> 4\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
601 |
\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
602 |
\tjshell> int z\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
603 |
\tz ==> 0\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
604 |
\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
605 |
\tjshell> /-1\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
606 |
\tint z;\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
607 |
\tz ==> 0\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
608 |
\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
609 |
\tjshell> /-4\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
610 |
\t2 + 2\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
611 |
\t$5 ==> 4\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
612 |
\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
613 |
The snippets to re-evaluate may be specified by snippet id or id range.\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
614 |
An id range is represented as a two ids separated by a hyphen, e.g.: 3-17\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
615 |
Start-up and error snippets maybe used, e.g.: s3-s9 or e1-e4\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
616 |
Any number of ids or id ranges may be used, e.g.: /3-7 s4 14-16 e2\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
617 |
\n\ |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
618 |
Finally, you can search backwards through history by entering ctrl-R followed by the string to search for. |
c9477e22877f
8167554: jshell tool: re-execute a range and/or sequence of snippets
rfield
parents:
44818
diff
changeset
|
619 |
|
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
620 |
help.set._retain = \ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
621 |
The '-retain' option saves a setting so that it is used in future sessions.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
622 |
The -retain option can be used on the following forms of /set:\n\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
623 |
/set editor -retain\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
624 |
/set start -retain\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
625 |
/set feedback -retain\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
626 |
/set mode -retain\n\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
627 |
See these commands for more detail -- for example /help /set editor |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
628 |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
629 |
help.set.format = \ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
630 |
Set the format for reporting a snippet event:\n\ |
36990 | 631 |
\n\t\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
632 |
/set format <mode> <field> "<format>" <selector>...\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
633 |
\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
634 |
Show the format settings:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
635 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
636 |
/set format [<mode> [<field>]]\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
637 |
\n\ |
38539 | 638 |
Where <mode> is the name of a previously defined feedback mode -- see '/help /set mode'.\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
639 |
Where <field> is the name of context-specific format to define.\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
640 |
Where <format> is a quoted string which will be the value of the field if one of\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
641 |
the selectors matches (or there are no selectors). When the format is used,\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
642 |
field names enclosed in braces are replaced with the value of the field at that\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
643 |
time. These fields may have been previously defined with this command or may be\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
644 |
one of these predefined fields specific to the context:\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
645 |
{name} == The name, e.g.: the variable name, ...\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
646 |
{type} == The type name. The type of a variable or expression, the\n\t\t\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
647 |
parameter types of a method\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
648 |
{value} == The result value of an expression or variable initialization\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
649 |
{unresolved} == The list of unresolved references\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
650 |
{errors} == The list of recoverable errors (during the processing of the\n\t\t\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
651 |
"display" field only)\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
652 |
{err} == An unformatted error line (during the processing of the\n\t\t\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
653 |
"errorline" field only)\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
654 |
The following fields are accessed by the tool to determine the displayed feedback:\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
655 |
{display} == The displayed message for a snippet event\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
656 |
{errorline} == The format of one error line within the "errors" field\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
657 |
{pre} == The feedback prefix (begins command feedback)\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
658 |
{post} == The feedback postfix (ends command feedback)\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
659 |
{errorpre} == The error prefix (begins error feedback)\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
660 |
{errorpost} == The error postfix (ends error feedback)\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
661 |
These fields have default settings (which may be overwritten).\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
662 |
Where <selector> is the context in which the format is applied.\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
663 |
The structure of selector is a hyphen separated list of selector kind lists.\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
664 |
A selector kind list is a comma separated list of values of one selector kind.\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
665 |
A selector matches if each selector kind list matches; A selector kind list\n\ |
36990 | 666 |
matches if one of the values matches.\n\n\ |
667 |
The case selector kind describes the kind of snippet. The values are:\n\t\ |
|
668 |
import -- import declaration\n\t\ |
|
669 |
class -- class declaration\n\t\ |
|
670 |
interface -- interface declaration\n\t\ |
|
671 |
enum -- enum declaration\n\t\ |
|
672 |
annotation -- annotation interface declaration\n\t\ |
|
673 |
method -- method declaration -- note: {type}==parameter-types\n\t\ |
|
674 |
vardecl -- variable declaration without init\n\t\ |
|
675 |
varinit -- variable declaration with init\n\t\ |
|
676 |
expression -- expression -- note: {name}==scratch-variable-name\n\t\ |
|
677 |
varvalue -- variable value expression\n\t\ |
|
678 |
assignment -- assign variable\n\t\ |
|
679 |
statement -- statement\n\ |
|
680 |
The action selector kind describes what happened to the snippet. The values are:\n\t\ |
|
681 |
added -- snippet has been added\n\t\ |
|
682 |
modified -- an existing snippet has been modified\n\t\ |
|
683 |
replaced -- an existing snippet has been replaced with a new snippet\n\t\ |
|
684 |
overwrote -- an existing snippet has been overwritten\n\t\ |
|
685 |
dropped -- snippet has been dropped\n\t\ |
|
686 |
used -- snippet was used when it cannot be\n\ |
|
687 |
The when-did-it-occur selector kind describes if this is a direct or indirect action. The values are:\n\t\ |
|
688 |
primary -- the entered snippet\n\t\ |
|
689 |
update -- an update to a dependent snippet\n\ |
|
690 |
The resolution-state selector kind describes the state of resolution/definition of the snippet. The values are:\n\t\ |
|
691 |
ok -- resolved correctly\n\t\ |
|
692 |
defined -- defined despite recoverably unresolved references\n\t\ |
|
693 |
notdefined -- not defined because of recoverably unresolved references\n\ |
|
694 |
The unresolved-count selector kind describes the number of unresolved references. The values are:\n\t\ |
|
695 |
unresolved0 -- no names are unresolved\n\t\ |
|
696 |
unresolved1 -- one name is unresolved\n\t\ |
|
697 |
unresolved2 -- two or more names are unresolved\n\ |
|
698 |
The errors-count selector kind describes the number of errors. The values are:\n\t\ |
|
699 |
error0 -- no errors\n\t\ |
|
700 |
error1 -- one error\n\t\ |
|
701 |
error2 -- two or more errors\n\n\ |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
702 |
Examples:\n\t\ |
45501
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
703 |
/set format mymode action 'Created' added-primary\n\t\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
704 |
/set format mymode action 'Update replaced' replaced-update\n\t\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
705 |
/set format mymode display '{pre}{action} class {name}{post}' class-ok\n\t\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
706 |
/set format mymode display '{pre}{action} variable {name}, reset to null{post}' replaced-vardecl,varinit-ok-update\n\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
707 |
Note that subsequent selectors for a field may overwrite some or all of previous used selectors -- last one wins\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
708 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
709 |
The form without <format> shows the current format settings.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
710 |
When the <mode> is specified only the format settings for that mode are shown.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
711 |
When both the <mode> and <field> are specified only the format settings for that\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
712 |
mode and field are shown. Example:\n\t\ |
45501
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
713 |
/set format mymode\n\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
714 |
shows the format settings for the mode mymode\n |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
715 |
|
38513 | 716 |
help.set.truncation = \ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
717 |
Set the max length of a displayed value:\n\ |
38513 | 718 |
\n\t\ |
719 |
/set truncation <mode> <length> <selector>...\n\ |
|
720 |
\n\ |
|
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
721 |
Show the current truncation settings:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
722 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
723 |
/set truncation [<mode>]\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
724 |
\n\ |
38539 | 725 |
Where <mode> is the name of a previously defined feedback mode -- see '/help /set mode'.\n\ |
38513 | 726 |
Where <length> is an unsigned integer representing a maximum length.\n\ |
727 |
Where <selector> is only needed if you wish to fine-tune value truncation length\n\ |
|
728 |
by context, <selector> is the context in which the truncation is applied.\n\ |
|
729 |
The structure of selector is a hyphen separated list of selector kind lists.\n\ |
|
730 |
A selector kind list is a comma separated list of values of one selector kind.\n\ |
|
731 |
A selector matches if each selector kind list matches; A selector kind list\n\ |
|
732 |
matches if one of the values matches.\n\n\ |
|
733 |
Below are the relevant selector kinds for truncation.\n\n\ |
|
734 |
The case selector kind describes the kind of snippet. The values are:\n\t\ |
|
735 |
vardecl -- variable declaration without init\n\t\ |
|
736 |
varinit -- variable declaration with init\n\t\ |
|
737 |
expression -- expression -- note: {name}==scratch-variable-name\n\t\ |
|
738 |
varvalue -- variable value expression\n\t\ |
|
43859
a65da3fbe6ba
8174857: jshell tool: /help /set truncation -- confusing indentation
rfield
parents:
43766
diff
changeset
|
739 |
assignment -- assign variable\n\ |
38513 | 740 |
The action selector kind describes what happened to the snippet. The values are:\n\t\ |
741 |
added -- snippet has been added\n\t\ |
|
742 |
modified -- an existing snippet has been modified\n\t\ |
|
743 |
replaced -- an existing snippet has been replaced with a new snippet\n\ |
|
744 |
Examples:\n\t\ |
|
745 |
/set trunc mymode 80\n\t\ |
|
746 |
/set truncation mymode 45 expression\n\t\ |
|
747 |
/set truncation mymode 0 vardecl-modified,replaced\n\n\ |
|
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
748 |
Note that subsequent selectors for a field may overwrite some or all of previous used selectors -- last one wins\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
749 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
750 |
The form without <length> shows the truncation settings.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
751 |
When the <mode> is specified only the truncation settings for that mode are shown.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
752 |
Example:\n\t\ |
45501
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
753 |
/set truncation mymode\n\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
754 |
shows the truncation settings for the mode mymode\n |
38513 | 755 |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
756 |
help.set.feedback = \ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
757 |
Set the feedback mode describing displayed feedback for entered snippets and commands:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
758 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
759 |
/set feedback [-retain] <mode>\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
760 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
761 |
Retain the current feedback mode for future sessions:\n\ |
36990 | 762 |
\n\t\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
763 |
/set feedback -retain\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
764 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
765 |
Show the feedback mode and list available modes:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
766 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
767 |
/set feedback\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
768 |
\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
769 |
Where <mode> is the name of a previously defined feedback mode.\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
770 |
You may use just enough letters to make it unique.\n\ |
38539 | 771 |
User-defined modes can be added, see '/help /set mode'\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
772 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
773 |
When the -retain option is used, the setting will be used in this and future\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
774 |
runs of the jshell tool.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
775 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
776 |
The form without <mode> or -retain displays the current feedback mode and available modes.\n |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
777 |
|
38539 | 778 |
help.set.mode = \ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
779 |
Create a user-defined feedback mode, optionally copying from an existing mode:\n\ |
36990 | 780 |
\n\t\ |
44818
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
781 |
/set mode <new-mode> [<old-mode>] (-command|-quiet)\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
782 |
\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
783 |
Retain a user-defined feedback mode for future sessions:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
784 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
785 |
/set mode -retain <mode>\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
786 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
787 |
Delete a user-defined feedback mode:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
788 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
789 |
/set mode -delete [-retain] <mode>\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
790 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
791 |
Show feedback mode settings:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
792 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
793 |
/set mode [<mode>]\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
794 |
\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
795 |
Where <new-mode> is the name of a mode you wish to create.\n\ |
44818
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
796 |
Where <old-mode> is the name of a existing feedback mode.\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
797 |
Where <mode> is the name of a existing feedback mode.\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
798 |
\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
799 |
If <old-mode> is present, its settings are copied to the new mode.\n\ |
44818
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
800 |
\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
801 |
The feedback that a mode provides for entered snippets is determined by the\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
802 |
'/set format' settings. However, for entered commands, feedback is either on or off,\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
803 |
as determined by the option used when creating the mode; Either the option '-command'\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
804 |
or the option '-quiet' must be specified. If '-command' is used, informative and\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
805 |
verifying command feedback is displayed when in the new mode. If '-quiet' is used,\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
806 |
commands give only essential feedback (e.g., errors).\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
807 |
\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
808 |
Once the new mode is created, use '/set format', '/set prompt' and '/set truncation'\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
809 |
to configure it. Use '/set feedback' to use the new mode.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
810 |
\n\ |
44818
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
811 |
When the '-retain' option is used (without the '-delete' option), the mode (including\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
812 |
its current prompt, format, and truncation settings) will be stored for use in\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
813 |
future runs of the jshell tool. If retain is not used, the mode is only defined in\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
814 |
the current session. After updating the mode's settings, retain the mode again to\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
815 |
preserve the updates across sessions.\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
816 |
\n\ |
44818
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
817 |
When only the '-delete' option is used, the mode is deleted from the current session.\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
818 |
When both '-retain' and '-delete' are used, the mode is deleted from the current and\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
819 |
future sessions.\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
820 |
\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
821 |
When the form without options is used, the mode settings are displayed.\n\ |
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
822 |
When the <mode> is specified, only the mode settings for that mode are shown.\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
823 |
Note: the settings for the mode include the settings for prompt, format, and\n\ |
44818
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
824 |
truncation.\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
825 |
Example:\n\t\ |
45501
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
826 |
/set mode mymode\n\ |
44818
64c233e1e181
8178992: jshell tool: missing references in /help /set mode
rfield
parents:
44687
diff
changeset
|
827 |
\n\ |
45501
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
828 |
shows the mode, prompt, format, and truncation settings for the mode mymode |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
829 |
|
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
830 |
help.set.prompt = \ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
831 |
Set the prompts. Both the normal prompt and the continuation-prompt must be set:\n\ |
36990 | 832 |
\n\t\ |
833 |
/set prompt <mode> \"<prompt>\" \"<continuation-prompt>\"\n\ |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
834 |
\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
835 |
Show the normal prompt and the continuation-prompts:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
836 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
837 |
/set prompt [<mode>]\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
838 |
\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
839 |
Where <mode> is the name of a previously defined feedback mode.\n\ |
36990 | 840 |
Where <prompt> and <continuation-prompt> are quoted strings printed as input prompts;\n\ |
42412
ca6f4f1914b2
8169828: jdk/jshell/ExternalEditorTest.java testStatementMush() fails frequently on all platform
rfield
parents:
41937
diff
changeset
|
841 |
Both may optionally contain '%%s' which will be substituted with the next snippet id --\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
842 |
note that what is entered may not be assigned that id, for example it may be an error or command.\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
843 |
The continuation-prompt is used on the second and subsequent lines of a multi-line snippet.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
844 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
845 |
The form without <prompt> shows the currently set prompts.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
846 |
When the <mode> is specified only the prompts for that mode are shown.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
847 |
Example:\n\t\ |
45501
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
848 |
/set prompt mymode\n\ |
a13e5e2ee35e
8180306: jshell tool: /help -- confusing identifier in feedback mode examples
rfield
parents:
45215
diff
changeset
|
849 |
shows the prompts set for the mode mymode\n |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
850 |
|
36990 | 851 |
help.set.editor =\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
852 |
Specify the command to launch for the /edit command:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
853 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
854 |
/set editor [-retain] [-wait] <command>\n\ |
36990 | 855 |
\n\t\ |
41641
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
856 |
/set editor [-retain] -default\n\ |
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
857 |
\n\t\ |
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
858 |
/set editor [-retain] -delete\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
859 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
860 |
Retain the current editor setting for future sessions:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
861 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
862 |
/set editor -retain\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
863 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
864 |
Show the command to launch for the /edit command:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
865 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
866 |
/set editor\n\ |
36990 | 867 |
\n\ |
868 |
The <command> is an operating system dependent string.\n\ |
|
40598
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
869 |
The <command> may include space-separated arguments (such as flags)\n\n\ |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
870 |
If the -default option is specified, the built-in default editor will be used.\n\n\ |
41641
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
871 |
If the -delete option is specified, previous settings are ignored -- the editor\n\ |
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
872 |
settings are initialized as when starting the jshell tool. Specifically, if there\n\ |
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
873 |
is a retained setting it is used (unless both -retain and -delete are specified --\n\ |
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
874 |
which deletes the retained setting), if one of these environment variables is set\n\ |
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
875 |
it will be used: JSHELLEDITOR, VISUAL, or EDITOR (in that order). Otherwise the\n\ |
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
876 |
built-in default editor will be used.\n\n\ |
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
877 |
If <command> is specified, it will be used as the external editor. The <command>\n\ |
a628785b9dd9
8167637: jshell tool: /edit should use EDITOR setting
rfield
parents:
41635
diff
changeset
|
878 |
consists of the program and zero or more program arguments. When <command>\n\ |
40598
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
879 |
is used, the temporary file to edit will be appended as the last argument.\n\ |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
880 |
Normally, edit mode will last until the external editor exits. Some external editors\n\ |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
881 |
will exit immediately (for example, if the edit window exists) either external editor\n\ |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
882 |
flags should be used to prevent immediate exit, or the -wait option should be used to\n\ |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
883 |
prompt the user to indicate when edit mode should end.\n\n\ |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
884 |
Note: while in edit mode no command inputs are seen. After leaving edit mode changes\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
885 |
to the edited snippets are not seen.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
886 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
887 |
When the -retain option is used, the setting will be used in this and future\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
888 |
runs of the jshell tool.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
889 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
890 |
The form without <command> or options shows the editor setting.\n |
36990 | 891 |
|
892 |
help.set.start =\ |
|
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
893 |
Set the start-up configuration -- a sequence of snippets and commands read at start-up:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
894 |
\n\t\ |
44456
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
895 |
/set start [-retain] <file>...\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
896 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
897 |
/set start [-retain] -default\n\ |
36990 | 898 |
\n\t\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
899 |
/set start [-retain] -none\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
900 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
901 |
Retain the start-up configuration for future sessions:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
902 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
903 |
/set start -retain\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
904 |
\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
905 |
Show the start-up setting:\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
906 |
\n\t\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
907 |
/set start\n\ |
36990 | 908 |
\n\ |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
909 |
The contents of the specified <file> become the start-up snippets and commands used\n\ |
44456
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
910 |
when the /reset, /reload, or /env commands are used in this session.\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
911 |
If instead the -default option is specified, the predefined start-up import\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
912 |
snippets will be used.\n\ |
38539 | 913 |
If the -none option is used, the start-up will be empty -- no start-up snippets\n\ |
914 |
or commands will be used.\n\ |
|
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
915 |
This command is good for testing the start-up settings. To retain them for future\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
916 |
runs of the jshell tool use the command:\n\t\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
917 |
/set start -retain\n\ |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
918 |
\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
919 |
When the -retain option is used, the setting will be used in this and future\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
920 |
runs of the jshell tool.\n\ |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
921 |
\n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
922 |
The form without <file> or options shows the start-up setting.\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
923 |
Note: if the start-up was last set from a file, this is shown with the\n\ |
44456
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
924 |
'set start' command followed by the contents of the file.\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
925 |
\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
926 |
The <file> may be an operating system file name, or one of the predefined\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
927 |
startup file names: DEFAULT, PRINTING, or JAVASE.\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
928 |
These are respectively: the default import snippets (as used by -default),\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
929 |
definitions of print(), println(), and printf() method snippets, or\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
930 |
imports of all Java SE packages.\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
931 |
More than one <file> may be specified, for example:\n\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
932 |
\n\t\ |
a3c153b95812
8177078: jshell tool: fix documentation of /help shortcuts
rfield
parents:
43859
diff
changeset
|
933 |
/set start -retain DEFAULT PRINTING |
36990 | 934 |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
935 |
startup.feedback = \ |
38539 | 936 |
/set mode verbose -command \n\ |
37389 | 937 |
\n\ |
938 |
/set prompt verbose '\\njshell> ' ' ...> ' \n\ |
|
939 |
\n\ |
|
940 |
/set format verbose pre '| ' \n\ |
|
941 |
/set format verbose post '%n' \n\ |
|
942 |
/set format verbose errorpre '| ' \n\ |
|
943 |
/set format verbose errorpost '%n' \n\ |
|
944 |
\n\ |
|
37644
33cf53901cac
8154485: JShell: infrastructure for multi-Snippet class wrappers
rfield
parents:
37389
diff
changeset
|
945 |
/set format verbose errorline '{post}{pre} {err}' \n\ |
37389 | 946 |
\n\ |
947 |
/set format verbose action 'created' added-primary \n\ |
|
948 |
/set format verbose action 'modified' modified-primary \n\ |
|
949 |
/set format verbose action 'replaced' replaced-primary \n\ |
|
950 |
/set format verbose action 'overwrote' overwrote-primary \n\ |
|
951 |
/set format verbose action 'dropped' dropped-primary \n\ |
|
952 |
/set format verbose action ' update created' added-update \n\ |
|
953 |
/set format verbose action ' update modified' modified-update \n\ |
|
954 |
/set format verbose action ' update replaced' replaced-update \n\ |
|
955 |
/set format verbose action ' update overwrote' overwrote-update \n\ |
|
956 |
/set format verbose action ' update dropped' dropped-update \n\ |
|
957 |
\n\ |
|
43766
498b07dcf851
8174262: Error message misspelling: "instanciated"
rfield
parents:
43367
diff
changeset
|
958 |
/set format verbose until ', however, it cannot be instantiated or its methods invoked until' defined-class-primary \n\ |
37389 | 959 |
/set format verbose until ', however, its methods cannot be invoked until' defined-interface-primary \n\ |
960 |
/set format verbose until ', however, it cannot be used until' defined-enum,annotation-primary \n\ |
|
961 |
/set format verbose until ', however, it cannot be invoked until' defined-method-primary \n\ |
|
962 |
/set format verbose until ', however, it cannot be referenced until' notdefined-primary \n\ |
|
43766
498b07dcf851
8174262: Error message misspelling: "instanciated"
rfield
parents:
43367
diff
changeset
|
963 |
/set format verbose until ' which cannot be instantiated or its methods invoked until' defined-class-update \n\ |
37389 | 964 |
/set format verbose until ' whose methods cannot be invoked until' defined-interface-update \n\ |
965 |
/set format verbose until ' which cannot be invoked until' defined-method-update \n\ |
|
966 |
/set format verbose until ' which cannot be referenced until' notdefined-update \n\ |
|
967 |
\n\ |
|
968 |
/set format verbose unrerr '{unresolved} is declared' unresolved1-error0 \n\ |
|
969 |
/set format verbose unrerr '{unresolved} are declared' unresolved2-error0 \n\ |
|
970 |
/set format verbose unrerr ' this error is corrected: {errors}' unresolved0-error1 \n\ |
|
971 |
/set format verbose unrerr '{unresolved} is declared and this error is corrected: {errors}' unresolved1-error1 \n\ |
|
972 |
/set format verbose unrerr '{unresolved} are declared and this error is corrected: {errors}' unresolved2-error1 \n\ |
|
973 |
/set format verbose unrerr ' these errors are corrected: {errors}' unresolved0-error2 \n\ |
|
974 |
/set format verbose unrerr '{unresolved} is declared and these errors are corrected: {errors}' unresolved1-error2 \n\ |
|
975 |
/set format verbose unrerr '{unresolved} are declared and these errors are corrected: {errors}' unresolved2-error2 \n\ |
|
976 |
\n\ |
|
41858
5843b57ce3a6
8167643: JShell: silently ignore access modifiers (as semantically irrelevant)
rfield
parents:
41852
diff
changeset
|
977 |
/set format verbose resolve '{until}{unrerr}' defined,notdefined-added,modified,replaced,used \n\ |
37389 | 978 |
\n\ |
979 |
/set format verbose typeKind 'class' class \n\ |
|
980 |
/set format verbose typeKind 'interface' interface \n\ |
|
981 |
/set format verbose typeKind 'enum' enum \n\ |
|
982 |
/set format verbose typeKind 'annotation interface' annotation \n\ |
|
983 |
\n\ |
|
984 |
/set format verbose result '{name} ==> {value}{post}' added,modified,replaced-ok-primary \n\ |
|
985 |
\n\ |
|
38539 | 986 |
/set format verbose display '{result}{pre}created scratch variable {name} : {type}{post}' expression-added,modified,replaced-primary \n\ |
41514
a75c2b869d8d
8167128: JShell: /drop of statement gives confusing output
rfield
parents:
41248
diff
changeset
|
987 |
/set format verbose display '{result}{pre}value of {name} : {type}{post}' varvalue-added,modified,replaced-primary \n\ |
37389 | 988 |
/set format verbose display '{result}{pre}assigned to {name} : {type}{post}' assignment-primary \n\ |
989 |
/set format verbose display '{result}{pre}{action} variable {name} : {type}{resolve}{post}' varinit,vardecl \n\ |
|
990 |
/set format verbose display '{pre}{action} variable {name}{resolve}{post}' vardecl,varinit-notdefined \n\ |
|
38539 | 991 |
/set format verbose display '{pre}{action} variable {name}{post}' dropped-vardecl,varinit,expression \n\ |
37389 | 992 |
/set format verbose display '{pre}{action} variable {name}, reset to null{post}' replaced-vardecl,varinit-ok-update \n\ |
993 |
\n\ |
|
994 |
/set format verbose display '{pre}{action} {typeKind} {name}{resolve}{post}' class,interface,enum,annotation \n\ |
|
995 |
/set format verbose display '{pre}{action} method {name}({type}){resolve}{post}' method \n\ |
|
996 |
\n\ |
|
997 |
/set format verbose display '{pre}attempted to use {typeKind} {name}{resolve}{post}' used-class,interface,enum,annotation \n\ |
|
998 |
/set format verbose display '{pre}attempted to call method {name}({type}){resolve}{post}' used-method \n\ |
|
999 |
\n\ |
|
38513 | 1000 |
/set truncation verbose 80\n\ |
38615
9221159d84fb
8157261: jshell tool: truncation for expressions is not consistent
rfield
parents:
38613
diff
changeset
|
1001 |
/set truncation verbose 1000 varvalue,expression\n\ |
38513 | 1002 |
\n\ |
38539 | 1003 |
/set mode normal -command verbose \n\ |
37389 | 1004 |
/set format normal display '' added,modified,replaced,overwrote,dropped-update \n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
1005 |
/set format normal display '{pre}{action} variable {name}, reset to null{post}' replaced-vardecl,varinit-ok-update \n\ |
37389 | 1006 |
/set format normal display '{result}' added,modified,replaced-expression,varvalue,assignment,varinit,vardecl-ok-primary \n\ |
38539 | 1007 |
/set mode concise -quiet normal \n\ |
37389 | 1008 |
\n\ |
1009 |
/set prompt concise 'jshell> ' ' ...> ' \n\ |
|
1010 |
\n\ |
|
1011 |
/set format concise display '' class,interface,enum,annotation,method,assignment,varinit,vardecl-ok \n\ |
|
1012 |
\n\ |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
1013 |
/set feedback normal \n\ |
37389 | 1014 |
\n\ |
38539 | 1015 |
/set mode silent -quiet \n\ |
37389 | 1016 |
/set prompt silent '-> ' '>> ' \n\ |
41635
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
1017 |
/set truncation silent 80\n\ |
cb3d04878117
8163840: jshell tool: provide way to display configuration settings
rfield
parents:
41514
diff
changeset
|
1018 |
/set truncation silent 1000 varvalue,expression\n\ |
37389 | 1019 |
/set format silent pre '| ' \n\ |
1020 |
/set format silent post '%n' \n\ |
|
1021 |
/set format silent errorpre '| ' \n\ |
|
1022 |
/set format silent errorpost '%n' \n\ |
|
1023 |
/set format silent display '' \n |
|
44459 | 1024 |
|
1025 |
jshell.fix.wrong.shortcut =\ |
|
44569
b1accf8b2aed
8178013: Finetuning of merged tab and shift tab completion
jlahoda
parents:
44459
diff
changeset
|
1026 |
Unexpected character after Shift-Tab. Use "i" for auto-import or "v" for variable creation. For more information see:\n\ |
44459 | 1027 |
/help shortcuts |