Struct Query 

pub struct Query {
    pub list: ContList,
    pub state: TokenStream,
}

The query a check receives: @announce_format "1" @__announce_attrs [ THIS!, NEXT!, .. ] { STATE }. The prefix is optional when parsing (a query written by hand), and always written by answer.

Answer it with answer. The module docs have the protocol. check does this for a proc-macro check.

Fields

list: ContList

The macro being called (the head, the check itself), then the elements still to be called, in order. The last one is finish!.

state: TokenStream

The state that travels along. Opaque: pass it on unchanged.

Implementations

impl Query

pub fn answer(&self, owned: &OwnedAttrs) -> TokenStream

The call that answers the query for a check that owns owned. It calls the element after the head, with the prefix @announce_format "1", the list from there on and the state plus attrs(..) (the state unchanged if owned is empty). A reserved name gives a compile_error!, and so does a list that is empty or has no element after its head.

Trait Implementations

impl Clone for Query

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Query

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Parse for Query

fn parse(input: ParseStream<'_>) -> Result<Self>