//! Common macro elements for deriving parsers and encoders

use derive_deftly::{define_derive_deftly, define_derive_deftly_module};

define_derive_deftly! {

    /// Defines a constructor struct and method

    //

    // TODO maybe move this out of tor-netdoc, to a lower-level dependency

    ///

    /// "Constructor" is a more lightweight alternative to the builder pattern.

    ///

    /// # Comparison to builders

    ///

    ///  * Suitable for transparent, rather than opaque, structs.

    ///  * Missing fields during construction are detected at compile-time.

    ///  * Construction is infallible at runtime.

    ///  * Making a previously-required field optional is an API break.

    ///

    /// # Input

    ///

    ///  * `struct Thing`.  (enums and unions are not supported.)

    ///

    ///  * Each field must impl `Default` or be annotated `#[deftly(constructor)]`

    ///

    ///  * `Thing` should contain `#[doc(hidden)] __non_exhaustive: ()`

    ///    rather than being `#[non_exhaustive]`.

    ///    (Because struct literal syntax is not available otherwise.)

    ///

    /// # Generated items

    ///

    ///  * **`pub struct ThingConstructor`**:

    ///    contains all the required (non-optional) fields from `Thing`.

    ///    `ThingConstructor` is `exhaustive`.

    ///

    ///  * **`fn ThingConstructor::construct(self) -> Thing`**:

    ///    fills in all the default values.

    ///

    ///  * `impl From<ThingConstructor> for Thing`

    ///

    /// # Attributes

    ///

    /// ## Field attributes

    ///

    ///  * **`#[deftly(constructor)]`**:

    ///    Include this field in `ThingConstructor`.

    ///    The caller must provide a value.

    ///

    ///  * **`#[deftly(constructor(default = "EXPR"))]`**:

    ///    Instead of `Default::default()`, the default value is EXPR.

    ///    EXPR cannot refer to anything in `ThingConstructor`.

    //     If we want that we would need to invent a feature for it.

    ///

    /// # Example

    ///

    /// ```

    /// use derive_deftly::Deftly;

    /// use tor_netdoc::derive_deftly_template_Constructor;

    ///

    /// #[derive(Deftly, PartialEq, Debug)]

    /// #[derive_deftly(Constructor)]

    /// #[allow(clippy::manual_non_exhaustive)]

    /// pub struct Thing {

    ///     /// Required field

    ///     #[deftly(constructor)]

    ///     pub required: i32,

    ///

    ///     /// Optional field

    ///     pub optional: Option<i32>,

    ///

    ///     /// Optional field with fixed default

    ///     #[deftly(constructor(default = "7"))]

    ///     pub defaulted: i32,

    ///

    ///     #[doc(hidden)]

    ///     __non_exhaustive: (),

    /// }

    ///

    /// let thing = Thing {

    ///     optional: Some(23),

    ///     ..ThingConstructor {

    ///         required: 12,

    ///     }.construct()

    /// };

    ///

    /// assert_eq!(

    ///     thing,

    ///     Thing {

    ///         required: 12,

    ///         optional: Some(23),

    ///         defaulted: 7,

    ///         __non_exhaustive: (),

    ///     }

    /// );

    /// ```

    ///

    /// # Note

    export Constructor for struct, beta_deftly:

    ${define CONSTRUCTOR_NAME $<$tname Constructor>}

    ${define CONSTRUCTOR $<$ttype Constructor>}

    ${defcond F_DEFAULT_EXPR fmeta(constructor(default))}

    ${defcond F_DEFAULT_TRAIT not(fmeta(constructor))}

    ${defcond F_REQUIRED not(any(F_DEFAULT_EXPR, F_DEFAULT_TRAIT))}

    #[doc = ${concat "Constructor (required fields) for " $tname}]

    ///

    #[doc = ${concat "See [`" $tname "`]."}]

    ///

    /// This constructor struct contains precisely the required fields.

    #[doc = ${concat "You can make a `" $tname

              "` out of it with [`.construct()`](" $CONSTRUCTOR_NAME "::construct),"}]

    /// or the `From` impl,

    /// and use the result as a basis for further modifications.

    ///

    /// # Example

    ///

    /// ```rust,ignore

    #[doc = ${concat "let " ${snake_case $tname} " = " $tname "{"}]

    #[doc = ${concat ${for fields {

        ${if any(fmeta(constructor(default)), not(fmeta(constructor))) {

            "    " $fname ": /* optional field value */,\n"

        } else {

        }}

    }}}]

    #[doc = ${concat "    .." $CONSTRUCTOR_NAME " {"}]

    #[doc = ${concat ${for fields {

        ${if not(any(fmeta(constructor(default)), not(fmeta(constructor)))) {

            "        " $fname ": /* required field value */,\n"

        } else {

        }}

    }}}]

    #[doc = ${concat "    }.construct()"}]

    #[doc = ${concat "};"}]

    /// ```

    #[allow(clippy::exhaustive_structs)]

    $tvis struct $CONSTRUCTOR_NAME<$tdefgens> where $twheres { $(

        ${when F_REQUIRED}

        ${fattrs doc}

        $fdefvis $fname: $ftype,

    ) }

    impl<$tgens> $CONSTRUCTOR where $twheres {

        #[doc = ${concat "Construct a minimal [`" $tname "`]"}]

        ///

        #[doc = ${concat "In the returned " $tname ","}]

        /// optional fields all get the default values.

            $tname { $(

                $fname: ${select1

                    F_REQUIRED {

                        self.$fname

                    }

                    F_DEFAULT_TRAIT {

                        ::std::default::Default::default()

                    }

                    F_DEFAULT_EXPR {

                        ${fmeta(constructor(default)) as expr}

                    }

                },

            ) }

        }

    }

    impl<$tgens> From<$CONSTRUCTOR> for $ttype where $twheres {

            constructor.construct()

        }

    }

}

/// Macro to help check that netdoc items in a derive input are in the right order

///

/// Used only by the `NetdocParseable` derive-deftly macro.

#[doc(hidden)]

#[macro_export]

macro_rules! netdoc_ordering_check {

    { } => { compile_error!("netdoc must have an intro item so cannot be empty"); };

    // When we have   K0 P0 K1 P1 ...

    //   * Check that P0 and P1 have a consistent ordr

    //   * Continue with   K1 P1 ...

    // So we check each consecutive pair of fields.

    { $k0:ident $f0:ident $k1:ident $f1:ident $($rest:tt)* } => {

        $crate::netdoc_ordering_check! { <=? $k0 $k1 $f1 }

        $crate::netdoc_ordering_check! { $k1 $f1 $($rest)* }

    };

    { $k0:ident $f0:ident } => {}; // finished

    // Individual ordering checks for K0 <=? K1

    //

    // We write out each of the allowed this-kind next-kind combinations:

    { <=? intro     $any:ident $f1:ident } => {};

    { <=? normal    normal     $f1:ident } => {};

    { <=? normal    subdoc     $f1:ident } => {};

    { <=? subdoc    subdoc     $f1:ident } => {};

    // Not in the allowed list, must be an error:

    { <=? $k0:ident $k1:ident  $f1:ident } => {

        compile_error!(concat!(

            "in netdoc, ", stringify!($k1)," field ", stringify!($f1),

            " may not come after ", stringify!($k0),

        ));

    };

}

define_derive_deftly_module! {

    /// Common definitions for any netdoc derives

    NetdocDeriveAnyCommon beta_deftly:

    // Emit an eprintln with deftly(netdoc(debug)), just so that we don't get surprises

    // where someone leaves a (debug) in where it's not implemented, and we later implement it.

    ${define EMIT_DEBUG_PLACEHOLDER {

        ${if tmeta(netdoc(debug)) {

            // This messing about with std::io::stderr() mirrors netdoc_parseable_derive_debug.

            // (We could use eprintln! #[test] captures eprintln! but not io::stderr.)

            writeln!(

                std::io::stderr().lock(),

                ${concat "#[deftly(netdoc(debug))] applied to " $tname},

            ).expect("write to stderr failed");

        }}

    }}

    ${define DOC_DEBUG_PLACEHOLDER {

        /// * **`#[deftly(netdoc(debug))]`**:

        ///

        ///   Currently implemented only as a placeholde

        ///

        ///   The generated implementation may in future generate copious debug output

        ///   to the program's stderr when it is run.

        ///   Do not enable in production!

    }}

}

define_derive_deftly_module! {

    /// Common definitions for derives of structs containing items

    ///

    /// Used by `NetdocParseable`, `NetdocParseableFields`,

    /// `NetdocEncodable` and `NetdocEncodableFields`.

    ///

    /// Importing template must define these:

    ///

    ///  * **`F_INTRO`**, **`F_SUBDOC`**, **`F_SIGNATURE`**

    ///    conditions for the fundamental field kinds which aren't supported everywhere.

    ///

    ///    The `F_FLATTEN`, `F_SKIP`, `F_NORMAL` field type conditions are defined here.

    ///

    /// Importer must also import `NetdocDeriveAnyCommon`.

    //

    // We have the call sites import the other modules, rather than using them here, because:

    //  - This avoids the human reader having to chase breadcrumbs

    //    to find out what a particular template is using.

    //  - The dependency graph is not a tree, so some things would be included twice

    //    and derive-deftly cannot deduplicate them.

    NetdocSomeItemsDeriveCommon beta_deftly:

    // Is this field `flatten`?

    ${defcond F_FLATTEN fmeta(netdoc(flatten))}

    // Is this field `skip`?

    ${defcond F_SKIP fmeta(netdoc(skip))}

    // Is this field normal (non-structural)?

    ${defcond F_NORMAL not(any(F_SIGNATURE, F_INTRO, F_FLATTEN, F_SUBDOC, F_SKIP))}

    // Field keyword as `&str`

    ${define F_KEYWORD_STR { ${concat

        ${if any(F_FLATTEN, F_SUBDOC, F_SKIP) {

          ${if F_INTRO {

            ${error "#[deftly(netdoc(subdoc))] (flatten) and (skip) not supported for intro items"}

          } else {

            // Sub-documents and flattened fields have their keywords inside;

            // if we ask for the field-based keyword name for one of those then that's a bug.

            ${error "internal error, subdoc or skip KeywordRef"}

          }}

        }}

        ${fmeta(netdoc(keyword)) as str,

          default ${concat ${kebab_case $fname}}}

    }}}

    // Field keyword as `&str` for debugging and error reporting

    ${define F_KEYWORD_REPORT ${concat

        ${if any(F_FLATTEN, F_SUBDOC, F_SKIP) { $fname }

             else { $F_KEYWORD_STR }}

    }}

    // Field keyword as `KeywordRef`

    ${define F_KEYWORD { (KeywordRef::new_const($F_KEYWORD_STR)) }}

}

define_derive_deftly_module! {

    /// Common definitions for derives of whole network documents

    ///

    /// Used by `NetdocParseable` and `NetdocEncodable`.

    ///

    /// Importer must also import `NetdocSomeItemsDeriveCommon` and `NetdocDeriveAnyCommon`.

    NetdocEntireDeriveCommon beta_deftly:

    // Predicate for the toplevel

    ${defcond T_SIGNATURES tmeta(netdoc(signatures))}

    // Predicates for the field kinds

    ${defcond F_INTRO all(not(T_SIGNATURES), approx_equal($findex, 0))}

    ${defcond F_SUBDOC fmeta(netdoc(subdoc))}

    ${defcond F_SIGNATURE T_SIGNATURES} // signatures section documents have only signature fields

    // compile-time check that fields are in the right order in the struct

    ${define FIELD_ORDERING_CHECK {

        ${if not(T_SIGNATURES) { // signatures structs have only signature fields

          netdoc_ordering_check! {

            $(

                ${when not(F_SKIP)}

                ${select1

                  F_INTRO     { intro     }

                  F_NORMAL    { normal    }

                  F_FLATTEN   { normal    }

                  F_SUBDOC    { subdoc    }

                }

                $fname

            )

          }

        }}

    }}

}

define_derive_deftly_module! {

    /// Common definitions for derives of flattenable network document fields structs

    ///

    /// Used by `NetdocParseableFields` and `NetdocEncodableFields`.

    ///

    /// Importer must also import `NetdocSomeItemsDeriveCommon` and `NetdocDeriveAnyCommon`.

    NetdocFieldsDeriveCommon beta_deftly:

    // Predicates for the field kinds, used by NetdocSomeItemsDeriveCommon etc.

    ${defcond F_INTRO false}

    ${defcond F_SUBDOC false}

    ${defcond F_SIGNATURE false}

    ${define DOC_NETDOC_FIELDS_DERIVE_SUPPORTED {

        ///  * The input struct can contain only normal non-structural items

        ///    (so it's not a sub-document with an intro item).

        ///  * The only attributes supported are the field attributes

        ///    `#[deftly(netdoc(keyword = STR))]`

        ///    `#[deftly(netdoc(default))]`

        ///    `#[deftly(netdoc(single_arg))]`

        ///    `#[deftly(netdoc(with = "MODULE"))]`

        ///    `#[deftly(netdoc(flatten))]`

        ///    `#[deftly(netdoc(skip))]`

    }}

}

define_derive_deftly_module! {

    /// Common definitions for derives of network document item value structs

    ///

    /// Used by `ItemValueParseable` and `ItemValueEncodable`.

    ///

    /// Importer must also import `NetdocDeriveAnyCommon`.

    NetdocItemDeriveCommon beta_deftly:

    ${defcond F_REST fmeta(netdoc(rest))}

    ${defcond F_OBJECT fmeta(netdoc(object))}

    ${defcond F_SIG_HASH fmeta(netdoc(sig_hash))}

    ${defcond F_NORMAL not(any(F_REST, F_OBJECT, F_SIG_HASH))}

    ${defcond T_IS_SIGNATURE not(approx_equal(${for fields { ${when F_SIG_HASH} 1 }}, {}))}

}