• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
      • Apt
      • Zfc
      • Acre
      • Milawa
      • Smtlink
      • Abnf
        • Deftreeops
        • Defdefparse
        • Defgrammar
        • Tree-utilities
        • Notation
        • Grammar-parser
        • Meta-circular-validation
        • Parsing-primitives-defresult
        • Parsing-primitives-seq
        • Operations
          • In-terminal-set
          • Well-formedness
          • Closure
          • Plugging
          • Ambiguity
          • Renaming
            • Rule-rename-rule
            • Rulelist-rename-rule
            • Element-rename-rule
            • Concatenation-rename-rule
            • Alternation-rename-rule
            • Repetition-rename-rule
          • Numeric-range-retrieval
          • Rule-utilities
          • Removal
          • Character-value-retrieval
        • Examples
        • Differences-with-paper
        • Constructor-utilities
        • Grammar-printer
        • Parsing-tools
      • Vwsim
      • Isar
      • Wp-gen
      • Dimacs-reader
      • Pfcs
      • Legacy-defrstobj
      • Proof-checker-array
      • Soft
      • C
      • Farray
      • Rp-rewriter
      • Instant-runoff-voting
      • Imp-language
      • Sidekick
      • Leftist-trees
      • Java
      • Taspi
      • Bitcoin
      • Riscv
      • Des
      • Ethereum
      • X86isa
      • Sha-2
      • Yul
      • Zcash
      • Proof-checker-itp13
      • Regex
      • ACL2-programming-language
      • Json
      • Jfkr
      • Equational
      • Cryptography
      • Poseidon
      • Where-do-i-place-my-book
      • Axe
      • Bigmems
      • Builtins
      • Execloader
      • Aleo
      • Solidity
      • Paco
      • Concurrent-programs
      • Bls12-377-curves
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Operations

Renaming

Renaming of rules in ABNF grammars.

It is sometimes useful to systematically rename a rule in a grammar.

For example, the HTTP grammar specified in RFC 7230 includes a rule uri-host defined by a prose value notation that references the rule host from the URI grammar specified in RFC 3968. Prior to plugging the URI grammar rules into the HTTP grammar rules, the rule host in the URI grammar rules should be renamed to uri-host.

Subtopics

Rule-rename-rule
Rename all the occurrences of a rule name to a new rule name, both in the definiens of a rule and in the name of the rule itself.
Rulelist-rename-rule
Rename all the occurrences of a rule name to a new rule name, in all the rules in a list of rules.
Element-rename-rule
Rename all the occurrences of a rule name in an element to a new rule name.
Concatenation-rename-rule
Rename all the occurrences of a rule name in a conatenation to a new rule name.
Alternation-rename-rule
Rename all the occurrences of a rule name in an alternation to a new rule name.
Repetition-rename-rule
Rename all the occurrences of a rule name in a repetition to a new rule name.