author | rfield |
Fri, 23 Sep 2016 14:37:03 -0700 | |
changeset 41162 | 5fc1d6a0d6ae |
parent 40598 | 821b945fc942 |
child 41248 | 2a3e74c5ad8a |
permissions | -rw-r--r-- |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
1 |
# |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
2 |
# Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved. |
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\ |
|
28 |
For an introduction type: /help intro\n |
|
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. |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
32 |
jshell.err.opt.startup.one = Only one --startup or --no-startup option may be used. |
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 |
||
53 |
jshell.err.no.such.command.or.snippet.id = No such command or snippet id: {0} |
|
54 |
jshell.err.command.ambiguous = Command: ''{0}'' is ambiguous: {1} |
|
55 |
jshell.err.set.editor.arg = The ''/set editor'' command requires a path argument |
|
56 |
jshell.msg.set.editor.set = Editor set to: {0} |
|
37007
6023a9a9d58a
8153716: JShell tool: should warn when failed to launch editor
rfield
parents:
36990
diff
changeset
|
57 |
jshell.err.cant.launch.editor = Cannot launch editor -- unexpected exception: {0} |
6023a9a9d58a
8153716: JShell tool: should warn when failed to launch editor
rfield
parents:
36990
diff
changeset
|
58 |
jshell.msg.try.set.editor = Try /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
|
59 |
jshell.msg.press.return.to.leave.edit.mode = Press return to leave edit mode. |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
60 |
jshell.err.wait.applies.to.external.editor = -wait applies to external editors, cannot be used with -default |
36990 | 61 |
|
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
62 |
jshell.msg.try.command.without.args = Try ''{0}'' without arguments. |
36990 | 63 |
jshell.msg.no.active = There are no active definitions. |
64 |
||
65 |
jshell.msg.resetting = Resetting... |
|
66 |
jshell.msg.resetting.state = Resetting state. |
|
67 |
||
68 |
jshell.err.reload.no.previous = No previous history to restore |
|
69 |
jshell.err.reload.restarting.previous.state = Restarting and restoring from previous state. |
|
70 |
jshell.err.reload.restarting.state = Restarting and restoring state. |
|
71 |
||
72 |
jshell.msg.vars.not.active = (not-active) |
|
73 |
||
74 |
jshell.err.out.of.range = Out of range |
|
75 |
||
76 |
jshell.msg.error = Error: |
|
77 |
jshell.msg.warning = Warning: |
|
78 |
||
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
79 |
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
|
80 |
jshell.err.sub.ambiguous = Ambiguous sub-command argument to ''{0}'': {1} |
36990 | 81 |
|
82 |
jshell.err.classpath.arg = The /classpath command requires a path argument. |
|
83 |
jshell.msg.classpath = Path ''{0}'' added to classpath |
|
84 |
||
85 |
jshell.err.help.arg = No commands or subjects start with the provided argument: {0} |
|
86 |
jshell.msg.help.begin =\ |
|
87 |
Type a Java language expression, statement, or declaration.\n\ |
|
88 |
Or type one of the following commands:\n |
|
89 |
jshell.msg.help.subject =\n\ |
|
90 |
For more information type ''/help'' followed by the name of command or a subject.\n\ |
|
91 |
For example ''/help /list'' or ''/help intro''. Subjects:\n |
|
92 |
||
93 |
jshell.err.drop.arg =\ |
|
94 |
In the /drop argument, please specify an import, variable, method, or class to drop.\n\ |
|
95 |
Specify by id or name. Use /list to see ids. Use /reset to reset all state. |
|
96 |
jshell.err.drop.ambiguous = The argument references more than one import, variable, method, or class. |
|
97 |
jshell.err.failed = Failed. |
|
98 |
jshell.msg.native.method = Native Method |
|
99 |
jshell.msg.unknown.source = Unknown Source |
|
100 |
jshell.msg.goodbye = Goodbye |
|
101 |
||
102 |
jshell.msg.help.for.help = Type /help for help. |
|
103 |
||
38539 | 104 |
jshell.err.mode.name = Expected a feedback mode name: {0} |
105 |
jshell.err.missing.mode = Missing the feedback mode -- {0} |
|
106 |
jshell.err.field.name = Expected a field name: {0} -- {1} |
|
107 |
jshell.err.missing.field = Missing the field name -- {0} |
|
108 |
jshell.err.mode.unknown = No feedback mode named: {0} -- {1} |
|
109 |
||
36990 | 110 |
jshell.err.feedback.does.not.match.mode = Does not match any current feedback mode: {0} -- {1} |
111 |
jshell.err.feedback.ambiguous.mode = Matches more then one current feedback mode: {0} -- {1} |
|
112 |
jshell.err.feedback.expected.format = Expected format missing -- {0} |
|
113 |
jshell.err.feedback.must.be.quoted = Format ''{0}'' must be quoted -- {1} |
|
114 |
jshell.err.feedback.not.a.valid.selector = Not a valid selector ''{0}'' in ''{1}'' -- {2} |
|
115 |
jshell.err.feedback.multiple.sections = Selector kind in multiple sections of selector list ''{0}'' in ''{1}'' -- {2} |
|
116 |
jshell.err.feedback.different.selector.kinds = Different selector kinds in same sections of selector list ''{0}'' in ''{1}'' -- {2} |
|
117 |
||
118 |
jshell.msg.feedback.new.mode = Created new feedback mode: {0} |
|
119 |
jshell.msg.feedback.mode = Feedback mode: {0} |
|
120 |
jshell.msg.feedback.mode.following = The feedback mode should be one of the following: |
|
121 |
||
38513 | 122 |
jshell.err.truncation.expected.length = Expected truncation length -- {0} |
123 |
jshell.err.truncation.length.not.integer = Truncation length must be an integer: {0} -- {1} |
|
124 |
||
38539 | 125 |
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
|
126 |
jshell.err.retained.feedback.mode.must.be.retained.or.predefined = \ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
127 |
''/retain feedback <mode>'' requires that <mode> is predefined or has been retained with ''/retain mode'' -- {0} |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
128 |
|
38539 | 129 |
jshell.err.unknown.option = Unknown option: {0} -- {1} |
130 |
jshell.err.default.option.or.program = Specify -default option or program, not both -- {0} |
|
131 |
jshell.err.option.or.filename = Specify either one option or a startup file name -- {0} |
|
132 |
jshell.err.unexpected.at.end = Unexpected arguments at end of command: {0} -- {1} |
|
133 |
jshell.err.conflicting.options = Conflicting options -- {0} |
|
134 |
jshell.err.cannot.delete.current.mode = The current feedback mode ''{0}'' cannot be deleted, use ''/set feedback'' first -- {1} |
|
135 |
jshell.err.cannot.delete.retained.mode = The retained feedback mode ''{0}'' cannot be deleted, use ''/retain feedback'' first -- {1} |
|
136 |
jshell.err.may.not.specify.options.and.snippets = Options and snippets must not both be used: {0} |
|
137 |
jshell.err.no.such.snippets = No such snippet: {0} |
|
138 |
jshell.err.the.snippet.cannot.be.used.with.this.command = This command does not accept the snippet ''{0}'' : {1} |
|
139 |
jshell.err.retained.mode.failure = Failure in retained modes (modes cleared) -- {0} {1} |
|
140 |
||
36990 | 141 |
jshell.console.see.more = <press tab to see more> |
142 |
jshell.console.do.nothing = Do nothing |
|
143 |
jshell.console.choice = Choice: \ |
|
144 |
||
145 |
jshell.console.create.variable = Create variable |
|
146 |
jshell.console.resolvable = \nThe identifier is resolvable in this context. |
|
147 |
jshell.console.no.candidate = \nNo candidate fully qualified names found to import. |
|
148 |
jshell.console.incomplete = \nResults may be incomplete; try again later for complete results. |
|
149 |
||
150 |
||
151 |
help.usage = \ |
|
152 |
Usage: jshell <options> <load files>\n\ |
|
37745
4b6b59f8e327
8150382: JShell API: Allow setting remote JVM arguments
rfield
parents:
37644
diff
changeset
|
153 |
where possible options include:\n\ |
40588
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
154 |
\ --class-path <path> Specify where to find user class files\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
155 |
\ --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
|
156 |
\ --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
|
157 |
\ --feedback <mode> Specify the initial feedback mode. The mode may be\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
158 |
\ predefined (silent, concise, normal, or verbose) or\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
159 |
\ previously user-defined\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
160 |
\ -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
|
161 |
\ -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
|
162 |
\ -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
|
163 |
\ -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
|
164 |
\ 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
|
165 |
\ -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
|
166 |
\ Use one -R for each remote flag or flag argument\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
167 |
\ --help Print this synopsis of standard options\n\ |
b5c32bfa9710
8160089: jshell tool: use new double-dash long-form command-line options
rfield
parents:
38615
diff
changeset
|
168 |
\ --version Version information\n |
36990 | 169 |
|
170 |
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
|
171 |
help.list.args = [<name or id>|-all|-start] |
36990 | 172 |
help.list =\ |
173 |
Show the source of snippets, prefaced with the snippet id.\n\ |
|
174 |
\n\ |
|
175 |
/list\n\t\ |
|
176 |
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
|
177 |
/list -start\n\t\ |
36990 | 178 |
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
|
179 |
/list -all\n\t\ |
36990 | 180 |
List all snippets including failed, overwritten, dropped, and start-up\n\n\ |
181 |
/list <name>\n\t\ |
|
182 |
List snippets with the specified name (preference for active snippets)\n\n\ |
|
183 |
/list <id>\n\t\ |
|
184 |
List the snippet with the specified snippet id |
|
185 |
||
186 |
help.edit.summary = edit a source entry referenced by name or id |
|
187 |
help.edit.args = <name or id> |
|
188 |
help.edit =\ |
|
189 |
Edit a snippet or snippets of source in an external editor.\n\ |
|
190 |
The editor to use is set with /set editor.\n\ |
|
191 |
If no editor has been set, a simple editor will be launched.\n\ |
|
192 |
\n\ |
|
193 |
/edit <name>\n\t\ |
|
194 |
Edit the snippet or snippets with the specified name (preference for active snippets)\n\n\ |
|
195 |
/edit <id>\n\t\ |
|
196 |
Edit the snippet with the specified snippet id\n\n\ |
|
197 |
/edit\n\t\ |
|
198 |
Edit the currently active snippets of code that you typed or read with /open |
|
199 |
||
200 |
help.drop.summary = delete a source entry referenced by name or id |
|
201 |
help.drop.args = <name or id> |
|
202 |
help.drop =\ |
|
203 |
Drop a snippet -- making it inactive.\n\ |
|
204 |
\n\ |
|
205 |
/drop <name>\n\t\ |
|
206 |
Drop the snippet with the specified name\n\n\ |
|
207 |
/drop <id>\n\t\ |
|
208 |
Drop the snippet with the specified snippet id |
|
209 |
||
210 |
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
|
211 |
help.save.args = [-all|-history|-start] <file> |
36990 | 212 |
help.save =\ |
213 |
Save the specified snippets and/or commands to the specified file.\n\ |
|
214 |
\n\ |
|
215 |
/save <file>\n\t\ |
|
216 |
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
|
217 |
/save -all <file>\n\t\ |
36990 | 218 |
Save the source of all snippets to the file.\n\t\ |
219 |
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
|
220 |
/save -history <file>\n\t\ |
36990 | 221 |
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
|
222 |
/save -start <file>\n\t\ |
36990 | 223 |
Save the default start-up definitions to the file. |
224 |
||
225 |
help.open.summary = open a file as source input |
|
226 |
help.open.args = <file> |
|
227 |
help.open =\ |
|
228 |
Open a file and read its contents as snippets and commands.\n\ |
|
229 |
\n\ |
|
230 |
/open <file>\n\t\ |
|
231 |
Read the specified file as jshell input. |
|
232 |
||
233 |
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
|
234 |
help.vars.args = [<name or id>|-all|-start] |
36990 | 235 |
help.vars =\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
236 |
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
|
237 |
\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
238 |
/vars\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
239 |
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
|
240 |
/vars <name>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
241 |
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
|
242 |
/vars <id>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
243 |
List the jshell variable with the specified snippet id\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
244 |
/vars -start\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
245 |
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
|
246 |
/vars -all\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
247 |
List all jshell variables including failed, overwritten, dropped, and start-up |
36990 | 248 |
|
249 |
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
|
250 |
help.methods.args = [<name or id>|-all|-start] |
36990 | 251 |
help.methods =\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
252 |
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
|
253 |
\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
254 |
/methods\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
255 |
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
|
256 |
/methods <name>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
257 |
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
|
258 |
/methods <id>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
259 |
List the jshell method with the specified snippet id\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
260 |
/methods -start\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
261 |
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
|
262 |
/methods -all\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
263 |
List all snippets including failed, overwritten, dropped, and start-up |
36990 | 264 |
|
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
265 |
help.types.summary = list the declared types |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
266 |
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
|
267 |
help.types =\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
268 |
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
|
269 |
\n\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
270 |
/types\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
271 |
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
|
272 |
/types <name>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
273 |
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
|
274 |
/types <id>\n\t\ |
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
275 |
List the jshell type with the specified snippet id\n\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
276 |
/types -start\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
277 |
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
|
278 |
/types -all\n\t\ |
38514
f7df9ab653b0
8153920: jshell tool: allow a parameter on the /vars /methods /classes commands
rfield
parents:
38513
diff
changeset
|
279 |
List all jshell types including failed, overwritten, dropped, and start-up |
36990 | 280 |
|
281 |
help.imports.summary = list the imported items |
|
282 |
help.imports.args = |
|
283 |
help.imports =\ |
|
284 |
List the current active jshell imports. |
|
285 |
||
286 |
help.exit.summary = exit jshell |
|
287 |
help.exit.args = |
|
288 |
help.exit =\ |
|
289 |
Leave the jshell tool. No work is saved.\n\ |
|
290 |
Save any work before using this command |
|
291 |
||
292 |
help.reset.summary = reset jshell |
|
293 |
help.reset.args = |
|
294 |
help.reset =\ |
|
295 |
Reset the jshell tool code and execution state:\n\t\ |
|
296 |
* All entered code is lost.\n\t\ |
|
297 |
* Start-up code is re-executed.\n\t\ |
|
298 |
* The execution state is restarted.\n\t\ |
|
299 |
* The classpath is cleared.\n\ |
|
300 |
Tool settings are maintained, as set with: /set ...\n\ |
|
301 |
Save any work before using this command |
|
302 |
||
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
303 |
help.reload.summary = reset and replay relevant history -- current or previous (-restore) |
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
304 |
help.reload.args = [-restore] [-quiet] |
36990 | 305 |
help.reload =\ |
306 |
Reset the jshell tool code and execution state then replay each\n\ |
|
307 |
jshell valid command and valid snippet in the order they were entered.\n\ |
|
308 |
\n\ |
|
309 |
/reload\n\t\ |
|
310 |
Reset and replay the valid history since jshell was entered, or\n\t\ |
|
311 |
a /reset, or /reload command was executed -- whichever is most\n\t\ |
|
312 |
recent.\n\n\ |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
313 |
/reload -restore\n\t\ |
36990 | 314 |
Reset and replay the valid history between the previous and most\n\t\ |
315 |
recent time that jshell was entered, or a /reset, or /reload\n\t\ |
|
316 |
command was executed. This can thus be used to restore a previous\n\t\ |
|
317 |
jshell tool sesson.\n\n\ |
|
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
318 |
/reload [-restore] -quiet\n\t\ |
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
319 |
With the '-quiet' argument the replay is not shown. Errors will display. |
36990 | 320 |
|
321 |
help.classpath.summary = add a path to the classpath |
|
322 |
help.classpath.args = <path> |
|
323 |
help.classpath =\ |
|
324 |
Append a additional path to the classpath. |
|
325 |
||
326 |
help.history.summary = history of what you have typed |
|
327 |
help.history.args = |
|
328 |
help.history =\ |
|
329 |
Display the history of snippet and command input since this jshell was launched. |
|
330 |
||
331 |
help.debug.summary = toggle debugging of the jshell |
|
332 |
help.debug.args = [0][r][g][f][c][d][e] |
|
333 |
help.debug =\ |
|
334 |
Display debugging information for the jshell implementation.\n\ |
|
335 |
0: Debugging off\n\ |
|
336 |
r: Tool level debugging on\n\ |
|
337 |
g: General debugging on\n\ |
|
338 |
f: File manager debugging on\n\ |
|
339 |
c: Completion analysis debugging on\n\ |
|
340 |
d: Dependency debugging on\n\ |
|
341 |
e: Event debugging on |
|
342 |
||
343 |
help.help.summary = get information about jshell |
|
344 |
help.help.args = [<command>|<subject>] |
|
345 |
help.help =\ |
|
346 |
Display information about jshell.\n\ |
|
347 |
/help\n\t\ |
|
348 |
List the jshell commands and help subjects.\n\n\ |
|
349 |
/help <command>\n\t\ |
|
350 |
Display information about the specified comand. The slash must be included.\n\t\ |
|
351 |
Only the first few letters of the command are needed -- if more than one\n\t\ |
|
352 |
each will be displayed. Example: /help /li\n\n\ |
|
353 |
/help <subject>\n\t\ |
|
354 |
Display information about the specified help subject. Example: /help intro |
|
355 |
||
356 |
help.set.summary = set jshell configuration information |
|
38539 | 357 |
help.set.args = editor|start|feedback|mode|prompt|truncation|format ... |
36990 | 358 |
help.set =\ |
359 |
Set jshell configuration information, including:\n\ |
|
360 |
the external editor to use, the start-up definitions to use, a new feedback mode,\n\ |
|
361 |
the command prompt, the feedback mode to use, or the format of output.\n\ |
|
362 |
\n\ |
|
40598
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
363 |
/set editor [-wait] <command> <optional-arg>...\n\t\ |
36990 | 364 |
Specify the command to launch for the /edit command.\n\t\ |
365 |
The <command> is an operating system dependent string.\n\n\ |
|
366 |
/set start <file>\n\t\ |
|
367 |
The contents of the specified <file> become the default start-up snippets and commands.\n\n\ |
|
368 |
/set feedback <mode>\n\t\ |
|
369 |
Set the feedback mode describing displayed feedback for entered snippets and commands.\n\n\ |
|
38539 | 370 |
/set mode <mode> [<old-mode>] [-command|-quiet|-delete]\n\t\ |
371 |
Create or update a user-defined feedback mode, optionally copying from an existing mode.\n\n\ |
|
36990 | 372 |
/set prompt <mode> "<prompt>" "<continuation-prompt>"\n\t\ |
373 |
Set the displayed prompts for a given feedback mode.\n\n\ |
|
38513 | 374 |
/set truncation <mode> <length> <selector>...\n\t\ |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
375 |
Set the maximum length of a displayed value\n\ |
36990 | 376 |
/set format <mode> <field> "<format>" <selector>...\n\t\ |
377 |
Configure a feedback mode by setting the format of a field when the selector matchs.\n\n\ |
|
378 |
To get more information about one of these forms, use /help with the form specified.\n\ |
|
379 |
For example: /help /set format |
|
380 |
||
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
381 |
help.retain.summary = retain jshell configuration information for subsequent sessions |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
382 |
help.retain.args = editor|start|feedback|mode |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
383 |
help.retain =\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
384 |
Retain jshell configuration information for future invocations of the jshell tool,\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
385 |
including: the external editor to use, the start-up definitions to use, the\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
386 |
configuration of a feedback mode, or the feedback mode to use.\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
387 |
\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
388 |
/retain editor [<command> <optional-arg>...]\n\t\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
389 |
Specify the command to launch for the /edit command.\n\t\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
390 |
The <command> is an operating system dependent string.\n\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
391 |
/retain start [<file>]\n\t\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
392 |
The contents of the specified <file> become the default start-up snippets and commands.\n\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
393 |
/retain feedback [<mode>]\n\t\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
394 |
Set the feedback mode describing displayed feedback for entered snippets and commands.\n\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
395 |
/retain mode <mode>\n\t\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
396 |
Create a user-defined feedback mode, optionally copying from an existing mode.\n\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
397 |
To get more information about one of these forms, use /help with the form specified.\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
398 |
For example: /help /retain feedback |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
399 |
|
36990 | 400 |
help.quest.summary = get information about jshell |
401 |
help.quest.args = [<command>|<subject>] |
|
402 |
help.quest =\ |
|
403 |
Display information about jshell (abbreviation for /help).\n\ |
|
404 |
/?\n\t\ |
|
405 |
Display list of commands and help subjects.\n\ |
|
406 |
/? <command>\n\t\ |
|
407 |
Display information about the specified comand. The slash must be included.\n\t\ |
|
408 |
Only the first few letters of the command are needed -- if more than one\n\t\ |
|
409 |
match, each will be displayed. Example: /? /li\n\ |
|
410 |
/? <subject>\n\t\ |
|
411 |
Display information about the specified help subject. Example: /? intro |
|
412 |
||
413 |
help.bang.summary = re-run last snippet |
|
414 |
help.bang.args = |
|
415 |
help.bang =\ |
|
416 |
Reevaluate the most recently entered snippet. |
|
417 |
||
418 |
help.id.summary = re-run snippet by id |
|
419 |
help.id.args = |
|
420 |
help.id =\ |
|
421 |
Reevaluate the snippet specified by the id. |
|
422 |
||
423 |
help.previous.summary = re-run n-th previous snippet |
|
424 |
help.previous.args = |
|
425 |
help.previous =\ |
|
426 |
Reevaluate the n-th most recently entered snippet. |
|
427 |
||
428 |
help.intro.summary = an introduction to the jshell tool |
|
429 |
help.intro =\ |
|
430 |
The jshell tool allows you to execute Java code, getting immediate results.\n\ |
|
431 |
You can enter a Java definition (variable, method, class, etc), like: int x = 8\n\ |
|
432 |
or a Java expression, like: x + x\n\ |
|
433 |
or a Java statement or import.\n\ |
|
434 |
These little chunks of Java code are called 'snippets'.\n\ |
|
435 |
\n\ |
|
436 |
There are also jshell commands that allow you to understand and\n\ |
|
437 |
control what you are doing, like: /list\n\ |
|
438 |
\n\ |
|
439 |
For a list of commands: /help |
|
440 |
||
441 |
help.shortcuts.summary = a description of shortcuts |
|
442 |
help.shortcuts =\ |
|
443 |
Supported shortcuts include:\n\ |
|
444 |
\n\ |
|
445 |
<tab>\n\t\t\ |
|
446 |
After entering the first few letters of a Java identifier,\n\t\t\ |
|
447 |
a jshell command, or, in some cases, a jshell command argument,\n\t\t\ |
|
448 |
press the <tab> key to complete the input.\n\t\t\ |
|
449 |
If there is more than one completion, show possible completions.\n\n\ |
|
450 |
Shift-<tab>\n\t\t\ |
|
451 |
After the name and open parenthesis of a method or constructor invocation,\n\t\t\ |
|
452 |
hold the <shift> key and press the <tab> to see a synopsis of all\n\t\t\ |
|
453 |
matching methods/constructors.\n\n\ |
|
454 |
<fix-shortcut> v\n\t\t\ |
|
455 |
After a complete expression, press "<fix-shortcut> v" to introduce a new variable\n\t\t\ |
|
456 |
whose type is based on the type of the expression.\n\t\t\ |
|
457 |
The "<fix-shortcut>" is either Alt-F1 or Alt-Enter, depending on the platform.\n\n\ |
|
458 |
<fix-shortcut> i\n\t\t\ |
|
459 |
After an unresolvable identifier, press "<fix-shortcut> i" and jshell will propose\n\t\t\ |
|
460 |
possible fully qualified names based on the content of the specified classpath.\n\t\t\ |
|
461 |
The "<fix-shortcut>" is either Alt-F1 or Alt-Enter, depending on the platform. |
|
462 |
||
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
463 |
help.set.format = \ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
464 |
Set the format for reporting a snippet event.\n\ |
36990 | 465 |
\n\t\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
466 |
/set format <mode> <field> "<format>" <selector>...\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
467 |
\n\ |
38539 | 468 |
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
|
469 |
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
|
470 |
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
|
471 |
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
|
472 |
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
|
473 |
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
|
474 |
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
|
475 |
{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
|
476 |
{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
|
477 |
parameter types of a method\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
478 |
{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
|
479 |
{unresolved} == The list of unresolved references\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
480 |
{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
|
481 |
"display" field only)\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
482 |
{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
|
483 |
"errorline" field only)\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
484 |
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
|
485 |
{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
|
486 |
{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
|
487 |
{pre} == The feedback prefix (begins command feedback)\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
488 |
{post} == The feedback postfix (ends command feedback)\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
489 |
{errorpre} == The error prefix (begins error feedback)\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
490 |
{errorpost} == The error postfix (ends error feedback)\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
491 |
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
|
492 |
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
|
493 |
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
|
494 |
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
|
495 |
A selector matches if each selector kind list matches; A selector kind list\n\ |
36990 | 496 |
matches if one of the values matches.\n\n\ |
497 |
The case selector kind describes the kind of snippet. The values are:\n\t\ |
|
498 |
import -- import declaration\n\t\ |
|
499 |
class -- class declaration\n\t\ |
|
500 |
interface -- interface declaration\n\t\ |
|
501 |
enum -- enum declaration\n\t\ |
|
502 |
annotation -- annotation interface declaration\n\t\ |
|
503 |
method -- method declaration -- note: {type}==parameter-types\n\t\ |
|
504 |
vardecl -- variable declaration without init\n\t\ |
|
505 |
varinit -- variable declaration with init\n\t\ |
|
506 |
expression -- expression -- note: {name}==scratch-variable-name\n\t\ |
|
507 |
varvalue -- variable value expression\n\t\ |
|
508 |
assignment -- assign variable\n\t\ |
|
509 |
statement -- statement\n\ |
|
510 |
The action selector kind describes what happened to the snippet. The values are:\n\t\ |
|
511 |
added -- snippet has been added\n\t\ |
|
512 |
modified -- an existing snippet has been modified\n\t\ |
|
513 |
replaced -- an existing snippet has been replaced with a new snippet\n\t\ |
|
514 |
overwrote -- an existing snippet has been overwritten\n\t\ |
|
515 |
dropped -- snippet has been dropped\n\t\ |
|
516 |
used -- snippet was used when it cannot be\n\ |
|
517 |
The when-did-it-occur selector kind describes if this is a direct or indirect action. The values are:\n\t\ |
|
518 |
primary -- the entered snippet\n\t\ |
|
519 |
update -- an update to a dependent snippet\n\ |
|
520 |
The resolution-state selector kind describes the state of resolution/definition of the snippet. The values are:\n\t\ |
|
521 |
ok -- resolved correctly\n\t\ |
|
522 |
defined -- defined despite recoverably unresolved references\n\t\ |
|
523 |
notdefined -- not defined because of recoverably unresolved references\n\ |
|
524 |
The unresolved-count selector kind describes the number of unresolved references. The values are:\n\t\ |
|
525 |
unresolved0 -- no names are unresolved\n\t\ |
|
526 |
unresolved1 -- one name is unresolved\n\t\ |
|
527 |
unresolved2 -- two or more names are unresolved\n\ |
|
528 |
The errors-count selector kind describes the number of errors. The values are:\n\t\ |
|
529 |
error0 -- no errors\n\t\ |
|
530 |
error1 -- one error\n\t\ |
|
531 |
error2 -- two or more errors\n\n\ |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
532 |
Examples:\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
533 |
/set format myformat action 'Created' added-primary\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
534 |
/set format myformat action 'Update replaced' replaced-update\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
535 |
/set format myformat display '{pre}{action} class {name}{post}' class-ok\n\t\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
536 |
/set format myformat display '{pre}{action} variable {name}, reset to null{post}' replaced-vardecl,varinit-ok-update\n\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
537 |
Note that subsequent selectors for a field may overwrite some or all of previous used selectors -- last one wins\n |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
538 |
|
38513 | 539 |
help.set.truncation = \ |
540 |
Set the max length a displayed value.\n\ |
|
541 |
\n\t\ |
|
542 |
/set truncation <mode> <length> <selector>...\n\ |
|
543 |
\n\ |
|
38539 | 544 |
Where <mode> is the name of a previously defined feedback mode -- see '/help /set mode'.\n\ |
38513 | 545 |
Where <length> is an unsigned integer representing a maximum length.\n\ |
546 |
Where <selector> is only needed if you wish to fine-tune value truncation length\n\ |
|
547 |
by context, <selector> is the context in which the truncation is applied.\n\ |
|
548 |
The structure of selector is a hyphen separated list of selector kind lists.\n\ |
|
549 |
A selector kind list is a comma separated list of values of one selector kind.\n\ |
|
550 |
A selector matches if each selector kind list matches; A selector kind list\n\ |
|
551 |
matches if one of the values matches.\n\n\ |
|
552 |
Below are the relevant selector kinds for truncation.\n\n\ |
|
553 |
The case selector kind describes the kind of snippet. The values are:\n\t\ |
|
554 |
vardecl -- variable declaration without init\n\t\ |
|
555 |
varinit -- variable declaration with init\n\t\ |
|
556 |
expression -- expression -- note: {name}==scratch-variable-name\n\t\ |
|
557 |
varvalue -- variable value expression\n\t\ |
|
558 |
assignment -- assign variable\n\t\ |
|
559 |
The action selector kind describes what happened to the snippet. The values are:\n\t\ |
|
560 |
added -- snippet has been added\n\t\ |
|
561 |
modified -- an existing snippet has been modified\n\t\ |
|
562 |
replaced -- an existing snippet has been replaced with a new snippet\n\ |
|
563 |
Examples:\n\t\ |
|
564 |
/set trunc mymode 80\n\t\ |
|
565 |
/set truncation mymode 45 expression\n\t\ |
|
566 |
/set truncation mymode 0 vardecl-modified,replaced\n\n\ |
|
567 |
Note that subsequent selectors for a field may overwrite some or all of previous used selectors -- last one wins\n |
|
568 |
||
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
569 |
help.set.feedback = \ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
570 |
Set the feedback mode describing displayed feedback for entered snippets and commands.\n\ |
36990 | 571 |
\n\t\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
572 |
/set feedback <mode>\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
573 |
\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
574 |
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
|
575 |
You may use just enough letters to make it unique.\n\ |
38539 | 576 |
User-defined modes can be added, see '/help /set mode'\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
577 |
Currently defined feedback modes:\n |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
578 |
|
38539 | 579 |
help.set.mode = \ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
580 |
Create a user-defined feedback mode, optionally copying from an existing mode.\n\ |
36990 | 581 |
\n\t\ |
38539 | 582 |
/set mode <mode> [<old-mode>] [-command|-quiet|-delete]\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
583 |
\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
584 |
Where <new-mode> is the name of a mode you wish to create.\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
585 |
Where <old-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
|
586 |
If <old-mode> is present, its settings are copied to the new mode.\n\ |
38520
17e72b872ffd
8157185: jshell tool: ambiguous format -- distinguished arguments should be options
rfield
parents:
38514
diff
changeset
|
587 |
'-command' vs '-quiet' determines if informative/verifying command feedback is displayed.\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
588 |
\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
589 |
Once the new mode is created, use '/set format' and '/set prompt' to configure it.\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
590 |
Use '/set feedback' to use the new mode.\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
591 |
|
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
592 |
help.set.prompt = \ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
593 |
Set the prompts. Both the normal prompt and the continuation-prompt must be set.\n\ |
36990 | 594 |
\n\t\ |
595 |
/set prompt <mode> \"<prompt>\" \"<continuation-prompt>\"\n\ |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
596 |
\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
597 |
Where <mode> is the name of a previously defined feedback mode.\n\ |
36990 | 598 |
Where <prompt> and <continuation-prompt> are quoted strings printed as input prompts;\n\ |
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
599 |
Both may optionally contain '%s' which will be substituted with the next snippet id --\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
600 |
note that what is entered may not be assigned that id, for example it may be an error or command.\n\ |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
601 |
The continuation-prompt is used on the second and subsequent lines of a multi-line snippet.\n |
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
602 |
|
36990 | 603 |
help.set.editor =\ |
604 |
Specify the command to launch for the /edit command.\n\ |
|
605 |
\n\t\ |
|
40598
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
606 |
/set editor [-wait] <command>|-default\n\ |
36990 | 607 |
\n\ |
608 |
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
|
609 |
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
|
610 |
If the -default option is specified, the built-in default editor will be used.\n\n\ |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
611 |
Otherwise an external editor should be specified in <command>. When <command>\n\ |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
612 |
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
|
613 |
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
|
614 |
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
|
615 |
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
|
616 |
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
|
617 |
Note: while in edit mode no command inputs are seen. After leaving edit mode changes\n\ |
821b945fc942
8158738: jshell tool: Save does not affect jshell if started from another editor
rfield
parents:
40588
diff
changeset
|
618 |
to the edited snippets are not seen. |
36990 | 619 |
|
620 |
help.set.start =\ |
|
621 |
Set the start-up configuration -- a sequence of snippets and commands read at start-up.\n\ |
|
622 |
\n\t\ |
|
38539 | 623 |
/set start <file>|-default|-none\n\ |
36990 | 624 |
\n\ |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
625 |
The contents of the specified <file> become the start-up snippets and commands used\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
626 |
when the /reset or /reload commands are used in this session.\n\ |
38539 | 627 |
If instead the -default option is specified, the predefined start-up snippets\n\ |
628 |
will be used.\n\ |
|
629 |
If the -none option is used, the start-up will be empty -- no start-up snippets\n\ |
|
630 |
or commands will be used.\n\ |
|
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
631 |
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
|
632 |
runs of the jshell tool use the command:\n\t\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
633 |
/retain start\n |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
634 |
|
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
635 |
help.retain.feedback = \ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
636 |
Retain which feedback mode to use for displayed feedback for entered snippets and commands.\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
637 |
This feedback mode will be used in this and future sessions of the jshell tool.\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
638 |
\n\t\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
639 |
/retain feedback [<mode>]\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
640 |
\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
641 |
Where <mode> is the name of a previously defined feedback mode.\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
642 |
You may use just enough letters to make it unique.\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
643 |
If the <mode> is not specified, this command retains the current mode (as set\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
644 |
with the most recent /set feedback or /retain feedback command.)\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
645 |
|
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
646 |
help.retain.mode = \ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
647 |
Retain the existence and configuration of a user-defined feedback mode.\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
648 |
This mode will be available in this and future sessions of the jshell tool. |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
649 |
\n\t\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
650 |
/retain mode <mode>\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
651 |
\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
652 |
Where <mode> is the name of a mode you wish to retain.\n\ |
38539 | 653 |
The <mode> must previously have been created with /set mode and\n\ |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
654 |
configured as desired with /set prompt, /set format, and /set truncation.\n |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
655 |
|
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
656 |
help.retain.editor =\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
657 |
Retain the command to launch for the /edit command. This command will be invoked when\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
658 |
the /edit command is used in this and future sessions of the jshell tool.\n\ |
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
659 |
\n\t\ |
38539 | 660 |
/retain editor [<command>|-default]\n\ |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
661 |
\n\ |
38539 | 662 |
If <command> is specified, it is an operating system dependent string which\n\ |
663 |
may include space-separated arguments (such as flags). When /edit is used, the\n\ |
|
664 |
temporary file to edit will be appended as the last argument.\n\ |
|
665 |
If instead the -default option is specified, the built-in default editor will be used.\n\ |
|
666 |
If neither is specified, the editor set in the last /set editor or /retain editor\n\ |
|
667 |
command will be used.\n\ |
|
668 |
The editor will be retained and used in this and future runs of the jshell tool. |
|
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
669 |
|
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
670 |
help.retain.start =\ |
38539 | 671 |
Retain the start-up configuration -- a sequence of snippets and commands read\n\ |
672 |
at start-up.\n\ |
|
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
673 |
\n\t\ |
38539 | 674 |
/retain start [<file>|-default|-none]\n\ |
38531
c449daa25b45
8157200: jshell tool: Add /retain command to persist settings
rfield
parents:
38520
diff
changeset
|
675 |
\n\ |
38539 | 676 |
If <file> is specified, the contents of the specified <file> become the\n\ |
677 |
start-up snippets\n\ |
|
678 |
and commands.\n\ |
|
679 |
If instead the -default option is specified, the predefined start-up snippets\n\ |
|
680 |
will be the start-up.\n\ |
|
681 |
If the -none option is used, the start-up will be empty -- no start-up snippets\n\ |
|
682 |
or commands will be used.\n\ |
|
683 |
If none of these is specified, the start-up is the last specified in a\n\ |
|
684 |
''/set start'' or ''/retain start'' command.\n\ |
|
685 |
The start-up will be retained and used when the jshell tool is started or reset |
|
36990 | 686 |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
687 |
startup.feedback = \ |
38539 | 688 |
/set mode verbose -command \n\ |
37389 | 689 |
\n\ |
690 |
/set prompt verbose '\\njshell> ' ' ...> ' \n\ |
|
691 |
\n\ |
|
692 |
/set format verbose pre '| ' \n\ |
|
693 |
/set format verbose post '%n' \n\ |
|
694 |
/set format verbose errorpre '| ' \n\ |
|
695 |
/set format verbose errorpost '%n' \n\ |
|
696 |
\n\ |
|
37644
33cf53901cac
8154485: JShell: infrastructure for multi-Snippet class wrappers
rfield
parents:
37389
diff
changeset
|
697 |
/set format verbose errorline '{post}{pre} {err}' \n\ |
37389 | 698 |
\n\ |
699 |
/set format verbose action 'created' added-primary \n\ |
|
700 |
/set format verbose action 'modified' modified-primary \n\ |
|
701 |
/set format verbose action 'replaced' replaced-primary \n\ |
|
702 |
/set format verbose action 'overwrote' overwrote-primary \n\ |
|
703 |
/set format verbose action 'dropped' dropped-primary \n\ |
|
704 |
/set format verbose action ' update created' added-update \n\ |
|
705 |
/set format verbose action ' update modified' modified-update \n\ |
|
706 |
/set format verbose action ' update replaced' replaced-update \n\ |
|
707 |
/set format verbose action ' update overwrote' overwrote-update \n\ |
|
708 |
/set format verbose action ' update dropped' dropped-update \n\ |
|
709 |
\n\ |
|
710 |
/set format verbose until ', however, it cannot be instanciated or its methods invoked until' defined-class-primary \n\ |
|
711 |
/set format verbose until ', however, its methods cannot be invoked until' defined-interface-primary \n\ |
|
712 |
/set format verbose until ', however, it cannot be used until' defined-enum,annotation-primary \n\ |
|
713 |
/set format verbose until ', however, it cannot be invoked until' defined-method-primary \n\ |
|
714 |
/set format verbose until ', however, it cannot be referenced until' notdefined-primary \n\ |
|
715 |
/set format verbose until ' which cannot be instanciated or its methods invoked until' defined-class-update \n\ |
|
716 |
/set format verbose until ' whose methods cannot be invoked until' defined-interface-update \n\ |
|
717 |
/set format verbose until ' which cannot be invoked until' defined-method-update \n\ |
|
718 |
/set format verbose until ' which cannot be referenced until' notdefined-update \n\ |
|
719 |
\n\ |
|
720 |
/set format verbose unrerr '{unresolved} is declared' unresolved1-error0 \n\ |
|
721 |
/set format verbose unrerr '{unresolved} are declared' unresolved2-error0 \n\ |
|
722 |
/set format verbose unrerr ' this error is corrected: {errors}' unresolved0-error1 \n\ |
|
723 |
/set format verbose unrerr '{unresolved} is declared and this error is corrected: {errors}' unresolved1-error1 \n\ |
|
724 |
/set format verbose unrerr '{unresolved} are declared and this error is corrected: {errors}' unresolved2-error1 \n\ |
|
725 |
/set format verbose unrerr ' these errors are corrected: {errors}' unresolved0-error2 \n\ |
|
726 |
/set format verbose unrerr '{unresolved} is declared and these errors are corrected: {errors}' unresolved1-error2 \n\ |
|
727 |
/set format verbose unrerr '{unresolved} are declared and these errors are corrected: {errors}' unresolved2-error2 \n\ |
|
728 |
\n\ |
|
729 |
/set format verbose resolve '{until}{unrerr}' added,modified,replaced,used \n\ |
|
730 |
\n\ |
|
731 |
/set format verbose typeKind 'class' class \n\ |
|
732 |
/set format verbose typeKind 'interface' interface \n\ |
|
733 |
/set format verbose typeKind 'enum' enum \n\ |
|
734 |
/set format verbose typeKind 'annotation interface' annotation \n\ |
|
735 |
\n\ |
|
736 |
/set format verbose result '{name} ==> {value}{post}' added,modified,replaced-ok-primary \n\ |
|
737 |
\n\ |
|
38539 | 738 |
/set format verbose display '{result}{pre}created scratch variable {name} : {type}{post}' expression-added,modified,replaced-primary \n\ |
37389 | 739 |
/set format verbose display '{result}{pre}value of {name} : {type}{post}' varvalue-primary \n\ |
740 |
/set format verbose display '{result}{pre}assigned to {name} : {type}{post}' assignment-primary \n\ |
|
741 |
/set format verbose display '{result}{pre}{action} variable {name} : {type}{resolve}{post}' varinit,vardecl \n\ |
|
742 |
/set format verbose display '{pre}{action} variable {name}{resolve}{post}' vardecl,varinit-notdefined \n\ |
|
38539 | 743 |
/set format verbose display '{pre}{action} variable {name}{post}' dropped-vardecl,varinit,expression \n\ |
37389 | 744 |
/set format verbose display '{pre}{action} variable {name}, reset to null{post}' replaced-vardecl,varinit-ok-update \n\ |
745 |
\n\ |
|
746 |
/set format verbose display '{pre}{action} {typeKind} {name}{resolve}{post}' class,interface,enum,annotation \n\ |
|
747 |
/set format verbose display '{pre}{action} method {name}({type}){resolve}{post}' method \n\ |
|
748 |
\n\ |
|
749 |
/set format verbose display '{pre}attempted to use {typeKind} {name}{resolve}{post}' used-class,interface,enum,annotation \n\ |
|
750 |
/set format verbose display '{pre}attempted to call method {name}({type}){resolve}{post}' used-method \n\ |
|
751 |
\n\ |
|
38513 | 752 |
/set truncation verbose 80\n\ |
38615
9221159d84fb
8157261: jshell tool: truncation for expressions is not consistent
rfield
parents:
38613
diff
changeset
|
753 |
/set truncation verbose 1000 varvalue,expression\n\ |
38513 | 754 |
\n\ |
38539 | 755 |
/set mode normal -command verbose \n\ |
37389 | 756 |
/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
|
757 |
/set format normal display '{pre}{action} variable {name}, reset to null{post}' replaced-vardecl,varinit-ok-update \n\ |
37389 | 758 |
/set format normal display '{result}' added,modified,replaced-expression,varvalue,assignment,varinit,vardecl-ok-primary \n\ |
38539 | 759 |
/set mode concise -quiet normal \n\ |
37389 | 760 |
\n\ |
761 |
/set prompt concise 'jshell> ' ' ...> ' \n\ |
|
762 |
\n\ |
|
763 |
/set format concise display '' class,interface,enum,annotation,method,assignment,varinit,vardecl-ok \n\ |
|
764 |
\n\ |
|
36718
bf40906bf49d
8151755: jshell tool: properly cover resolution issues in output configuration
rfield
parents:
diff
changeset
|
765 |
/set feedback normal \n\ |
37389 | 766 |
\n\ |
38539 | 767 |
/set mode silent -quiet \n\ |
37389 | 768 |
/set prompt silent '-> ' '>> ' \n\ |
769 |
/set format silent pre '| ' \n\ |
|
770 |
/set format silent post '%n' \n\ |
|
771 |
/set format silent errorpre '| ' \n\ |
|
772 |
/set format silent errorpost '%n' \n\ |
|
773 |
/set format silent display '' \n |