14.7.3 Command Line Parsing Classes

The constructor for Handler accepts the same arguments as the default constructor, but checks that args contains valid flags and that handler accepts the number of arguments implied by args.

class

class Flag(flag_strs :: List.of(String),

help :: maybe(String)):

nonfinal

extends Handler

class

class FinalFlag():

extends Flag

class

class Multi(choices :: List.of(Flag || Multi))

class

class OnceEach(choices :: List.of(Flag || OnceEach))

class

class OnceAny(choices :: List.of(Flag || OnceAny))

class

class Text(text :: String,

~placement: placement :: TextPlacement = #'inline)

enumeration

enum Content:

~is_a Flag

~is_a Multi

~is_a OnceEach

~is_a OnceAny

~is_a Text

enumeration

Flags, flag sets, and help text that can be part of a command-line parser constructed with cmdline.parser or Parser.

The constructor for Flag accepts the same arguments as the default constructor, but checks that flag_strs constaints valid flags.

function

fun make_builtin_flags(help :: Map -> Map) :~ List.of(Content)

Returns a list of Content corresponding to flags that are normally added to a command-line parser by default, unless ~no_builtin is used with cmdline.parser or ~add_builtin is supplied as #false to Parser.

1	Notation and Conventions
2	Implicits and Context
3	Names and Definitions
4	Functions and Operators
5	Comparison and Branching
6	Objects and Annotations
7	Basic Data
8	Collections and Iteration
9	Object Protocols
10	Higher-Order Control
11	Code as Data
12	String Formatting and Matching
13	Input and Output
14	Operating System
15	Threads and Concurrency
16	Reflection and Security
17	Runtime System

14.1	Paths
14.2	Cross-Platform Paths
14.3	Filesystem
14.4	Subprocesses
14.5	Networking
14.6	System Information and Control
14.7	Command Line Parsing

14.7.1	Command Line Parser Construction
14.7.2	Command Line Parser Parameters and Annotations
14.7.3	Command Line Parsing Classes