1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242


#[macro_export]
macro_rules! derive_less {

    // PRE-PROCESSING

    // (Struct + Enum)
    {
        $(#[$smeta:meta])* $($svis:ident)? struct ... { $(#[$fmeta:meta])? $($fvis:ident)? ... }
        $(#[$emeta:meta])* $($evis:ident)? enum   ... { $(#[$vmeta:meta])?                   ... }
        $($rest:tt)*
    } => {
        derive_less! {
            ($($smeta)*) ($($svis)?)
            ($($fmeta)?) ($($fvis)?)
            ($($emeta)*) ($($evis)?)
            ($($vmeta)?)
            $($rest)*
        }
    };

    // (Enum + Struct)
    {
        $(#[$emeta:meta])* $($evis:ident)? enum   ... { $(#[$vmeta:meta])?                 ... }
        $(#[$smeta:meta])* $($svis:ident)? struct ... { $(#[$fmeta:meta])? $($fvis:ident)? ... }
        $($rest:tt)*
    } => {
        derive_less! {
            ($($smeta)*) ($($svis)?)
            ($($fmeta)?) ($($fvis)?)
            ($($emeta)*) ($($evis)?)
            ($($vmeta)?)
            $($rest)*
        }
    };

    // Struct
    {
        $(#[$smeta:meta])* $($svis:ident)? struct ... { $(#[$fmeta:meta])? $($fvis:ident)? ... }
        $($rest:tt)*
    } => {
        derive_less! {
            ($($smeta)*) ($($svis)?)
            ($($fmeta)?) ($($fvis)?)
            (          ) (         )
            (          )
            $($rest)*
        }
    };

    // Enum
    {
        $(#[$emeta:meta])* $($evis:ident)? enum   ... { $(#[$vmeta:meta])?                   ... }
        $($rest:tt)*
    } => {
        derive_less! {
            (          ) (         )
            (          ) (         )
            ($($emeta)*) ($($evis)?)
            ($($vmeta)?)
            $($rest)*
        }
    };

    // TRANSFORMATION

    // Tuple struct (With both meta and pub)
    {
        ($($smeta:meta)*) ($($svis:ident)?)
        (  $fmeta:meta  ) (  $fvis:ident  )
        ($($emeta:meta)*) ($($evis:ident)?)
        ($($vmeta:meta)?)

        $(#[$current_smeta:meta])*
        struct $name:ident $(< $($generic:tt),* >)* (
            $( $(#[$current_fmeta:meta])* $field:ty),* $(,)*
        );

        $($rest:tt)*
    } => {
        $(#[$current_smeta])*
        $(#[$smeta])*
        $($svis)?
        struct $name $(< $($generic),* >)* (
            $(
                #[$fmeta]
                $(#[$current_fmeta:meta])*
                $fvis
                $field
            ),*
        );
        derive_less! {
            ($($smeta)*) ($($svis)?)
            (  $fmeta  ) (  $fvis  )
            ($($emeta)*) ($($evis)?)
            ($($vmeta)?)
            $($rest)*
        }
    };

    // Tuple struct (With only meta)
    {
        ($($smeta:meta)*) ($($svis:ident)?)
        (  $fmeta:meta  ) (               )
        ($($emeta:meta)*) ($($evis:ident)?)
        ($($vmeta:meta)?)

        $(#[$current_smeta:meta])*
        struct $name:ident $(< $($generic:tt),* >)* (
            $( $(#[$current_fmeta:meta])* $field:ty),* $(,)*
        );

        $($rest:tt)*
    } => {
        $(#[$current_smeta])*
        $(#[$smeta])*
        $($svis)?
        struct $name $(< $($generic),* >)* (
            $(
                #[$fmeta]
                $(#[$current_fmeta:meta])*
                $field
            ),*
        );
        derive_less! {
            ($($smeta)*) ($($svis)?)
            (  $fmeta  ) (         )
            ($($emeta)*) ($($evis)?)
            ($($vmeta)?)
            $($rest)*
        }
    };

    // Tuple struct (With only pub)
    {
        ($($smeta:meta)*) ($($svis:ident)?)
        (               ) (  $fvis:ident  )
        ($($emeta:meta)*) ($($evis:ident)?)
        ($($vmeta:meta)?)

        $(#[$current_smeta:meta])*
        struct $name:ident $(< $($generic:tt),* >)* (
            $( $(#[$current_fmeta:meta])* $field:ty),* $(,)*
        );

        $($rest:tt)*
    } => {
        $(#[$current_smeta])*
        $(#[$smeta])*
        $($svis)?
        struct $name $(< $($generic),* >)* (
            $(
                $(#[$current_fmeta:meta])*
                $fvis
                $field
            ),*
        );
        derive_less! {
            ($($smeta)*) ($($svis)?)
            (          ) (  $fvis  )
            ($($emeta)*) ($($evis)?)
            ($($vmeta)?)
            $($rest)*
        }
    };

    // Enum (With meta)
    {
        ($($smeta:meta)*) ($($svis:ident)?)
        ($($fmeta:meta)?) ($($fvis:ident)?)
        ($($emeta:meta)*) ($($evis:ident)?)
        (  $vmeta:meta  )

        $(#[$current_emeta:meta])*
        enum $name:ident $(< $($generic:tt),* >)* {
            $( $(#[$current_vmeta:meta])* $variant:ident($($field:ty),*)),* $(,)*
        }

        $($rest:tt)*
    } => {
        $(#[$emeta])*
        $(#[$current_emeta])*
        $($evis)?
        enum $name $(< $($generic),* >)* {
            $(
                #[$vmeta]
                $(#[$current_vmeta])*
                $variant($($field),*)
            ),*
        }
        derive_less! {
            ($($smeta)*) ($($svis)?)
            ($($fmeta)?) ($($fvis)?)
            ($($emeta)*) ($($evis)?)
            (  $vmeta  )
            $($rest)*
        }
    };

    // Enum (Without meta)
    {
        ($($smeta:meta)*) ($($svis:ident)?)
        ($($fmeta:meta)?) ($($fvis:ident)?)
        ($($emeta:meta)*) ($($evis:ident)?)
        (               )

        $(#[$current_emeta:meta])*
        enum $name:ident $(< $($generic:tt),* $(,)* >)* {
            $( $(#[$current_vmeta:meta])* $variant:ident($($field:ty),*)),* $(,)*
        }

        $($rest:tt)*
    } => {
        $(#[$emeta])?
        $(#[$current_emeta])*
        $($evis)?
        enum $name $(< $($generic),* >)* {
            $(
                $(#[$current_vmeta])*
                $variant($($field),*)
            ),*
        }
        derive_less! {
            ($($smeta)*) ($($svis)?)
            ($($fmeta)?) ($($fvis)?)
            ($($emeta)*) ($($evis)?)
            (          )
            $($rest)*
        }
    };

    // Exhausted
    {
        ($($smeta:meta)*) ($($svis:ident)?)
        ($($fmeta:meta)?) ($($fvis:ident)?)
        ($($emeta:meta)*) ($($evis:ident)?)
        ($($vmeta:meta)?)
        $($rest:tt)*
    } => {
        $($rest)*
    }
}