Module attr_parser 

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, ...).

ParsedRapxAttr

The parsed result of a #[rapx::requires(...)] attribute.

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_expr 🔒

Parse a property call expression into a ParsedProperty.

parse_rapx_attr

Parse a raw attribute string into a structured requires representation.