Generate an XDOC topic for the input processing that is part of the implementation of an event macro.
This macro accepts additional pieces of XDOC text,
which are added at the end of the generated
Macro:
(defmacro xdoc::evmac-topic-input-processing (macro &rest additional) (declare (xargs :guard (symbolp macro))) (b* ((macro-name (string-downcase (symbol-name macro))) (macro-ref (concatenate 'string "@(tsee " macro-name ")")) (this-topic (add-suffix macro "-INPUT-PROCESSING")) (parent-topic (add-suffix macro "-IMPLEMENTATION")) (short (concatenate 'string "Input processing performed by " macro-ref ".")) (long (cons 'xdoc::topstring (cons '(xdoc::p "See " (xdoc::seetopic "acl2::event-macro-input-processing" "input processing") " for general background.") additional)))) (cons 'defxdoc+ (cons this-topic (cons ':parents (cons (cons parent-topic 'nil) (cons ':short (cons short (cons ':long (cons long '(:order-subtopics t :default-parent t)))))))))))