Module attr 

Parsing utilities for #[rapx::requires(...)] outer attributes.

This module converts a raw #[rapx::requires(...)] attribute string into a structured representation that the verification analysis can consume without depending on syn expression details in later stages.

The currently supported shape is:

#[rapx::requires(property_call, kind = "...")]

where kind = "..." applies to the property in the same attribute.

Structs

AttrProperty 🔒

The raw syntactic form of a property call tag(arg0, arg1, ...) parsed from an attribute — the unevaluated stage, before semantic resolution into a Property.

RequireOuterAttribute 🔒

A thin wrapper that allows parsing exactly one outer attribute from a string.

Functions

is_expected_syn_rapx_attr 🔒

Check whether an attribute path is exactly rapx::<expected_name>.

parse_property_arg 🔒

Parse a single property argument as an Expr.

parse_property_head 🔒

Parse a property call head tag(arg0, arg1, ...).

parse_rapx_attr 🔒

Parse a raw attribute string into a structured requires property.

strip_lifetime_ticks 🔒

Strips the leading ' from Rust lifetime tokens so that syn can parse them as regular identifier expressions inside attribute arguments. For example, 'a becomes a, 'static becomes static.

type_to_arg_expr 🔒

Convert a parsed argument Type back into the Expr form expected by the property builder: plain paths stay Expr::Path, everything else (generics, arrays, tuples, references) becomes Expr::Verbatim.