Command grammar
A command with a choice and an optional argument.
Scope: Grammar structure and bounded exploration only. Parse evidence requires an external engine.
Preview
Source
ebnf-command.puml
text/plain
@startebnf
title Command
command = ("get" | "put"), name, [ "--force" ];
name = letter, { letter | digit };
letter = ? alphabetic ?;
digit = ? decimal digit ?;
@endebnf