		Search-engine friendly clone of the ACL2 documentation.

Defdefparse-implementation

Defdefparse-event-generation

Event generation performed by defdefparse.

Subtopics

Defdefparse-gen-function-for-rulename: Generate a parsing function for a rule name.
Defdefparse-gen-code-for-alternation: Generate code to parse an instance of an ABNF alternation.
Defdefparse-gen-code-for-repetition: Generate code to parse an instance of an ABNF repetition.
Defdefparse-gen-function-for-group: Generate a parsing function for an ABNF group.
Defdefparse-function-spec: Fixtype of specifications of parsing functions.
Defdefparse-gen-code-for-element: Generate code to parse an instance of an ABNF element.
Defdefparse-gen-*-group-macro: Generate the defparse-name-*-group macro described in the defdefparse user documentation.
Defdefparse-gen-function-for-option: Generate a parsing function for an ABNF option.
Defdefparse-gen-option-macro: Generate the defparse-name-option macro described in the defdefparse user documentation.
Defdefparse-gen-group-macro: Generate the defparse-name-group macro described in the defdefparse user documentation.
Defdefparse-gen-code-for-concatenation: Generate code to parse an instance of an ABNF concatenation.
Defdefparse-gen-function-for-repetition: Generate a parsing function for an ABNF repetition.
Defdefparse-gen-*-rulename-macro: Generate the defparse-name-*-rulename macro described in the defdefparse user documentation.
Defdefparse-gen-rulename-macro: Generate the defparse-name-rulename macro described in the defdefparse user documentation.
Defdefparse-gen-repetition-alist: Generate an alist from alternations to symbols, used for the table of repetition parsing functions.
Defdefparse-gen-option-alist: Generate an alist from alternations to symbols, used for the table of option parsing functions.
Defdefparse-gen-group-alist: Generate an alist from alternations to symbols, used for the table of group parsing functions.
Defdefparse-gen-everything: Generate all the events.
Defdefparse-gen-repetition-table-macro: Generate the defparse-name-repetition-table described in the defdefparse user documentation.
Defdefparse-gen-option-table-macro: Generate the defparse-name-option-table described in the defdefparse user documentation.
Defdefparse-gen-group-table-macro: Generate the defparse-name-group-table described in the defdefparse user documentation.
Defdefparse-gen-function-for-spec: Generate a parsing function for a specification.
Defdefparse-gen-repetition-table: Generate the table of repetition parsing functions.
Defdefparse-gen-option-table: Generate the table of option parsing functions.
Defdefparse-gen-group-table: Generate the table of group parsing functions.
Defdefparse-reorder-alternation: Reorder the alternatives of an alternation.
Defdefparse-order-permutationp: Check if an order parameter is a valid permutation.
Defdefparse-gen-repetition-table-name: Generate the name of the constant whose value is the table of repetition parsing functions.
Defdefparse-gen-option-table-name: Generate the name of the constant whose value is the table of option parsing functions.
Defdefparse-gen-group-table-name: Generate the name of the constant whose value is the table of group parsing functions.
Defdefparse-alt-symbol-alist: Fixtype of alists from ABNF alternations to ACL2 symbols.
Defdefparse-rep-symbol-alist: Fixtype of alists from ABNF repetitions to ACL2 symbols.