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