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

ParsedProperty

A parsed requires property in the form tag(arg0, arg1, ...).

RequireOuterAttribute 🔒

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

Statics

LIFETIME_TICK_RE 🔒

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.

Functions

is_expected_syn_rapx_attr 🔒

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

parse_property_expr 🔒

Parse a property call expression into a ParsedProperty.

parse_rapx_attr

Parse a raw attribute string into a structured requires property.

strip_lifetime_ticks 🔒