Struct AtomProperty 

pub(crate) struct AtomProperty<'tcx> {
    pub kind: PropertyKind,
    pub args: Vec<PropertyArg<'tcx>>,
    pub contract_kind: ContractKind,
    pub for_each: Option<ContractPlace<'tcx>>,
    pub origin: Option<ContractOrigin>,
}

Fields

kind: PropertyKind

args: Vec<PropertyArg<'tcx>>

contract_kind: ContractKind

for_each: Option<ContractPlace<'tcx>>

When set, this property must hold for every element of this container (e.g. Owning(buckets.iter())). The target place in args is already stripped of the ForEach projection and refers to a single element slot.

origin: Option<ContractOrigin>

Display metadata when this property was expanded from a compound property.

Trait Implementations

impl<'tcx> Clone for AtomProperty<'tcx>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for AtomProperty<'tcx>

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

Formats the value using the given formatter.