command ==>
cli-command |
mi-command
cli-command ==>
[
token ]
cli-command
nl
, where
cli-command is any existing GDB CLI command.
mi-command ==>
[
token ] "-"
operation ( " "
option )*
[ " --" ] ( " "
parameter )*
nl
token ==>
option ==>
"-"
parameter [ " "
parameter ]
parameter ==>
non-blank-sequence |
c-string
operation ==>
non-blank-sequence ==>
c-string ==>
"""
seven-bit-iso-c-string-content """
nl ==>
CR | CR-LF
Notes:
token
, when present, is passed back when the command
finishes.
-
(dash) and may be
followed by an optional argument parameter. Options occur first in the
parameter list and can be delimited from normal parameters using
--
(this is useful when some parameters begin with a dash).
Pragmatics: