Struct move_ir_types::ast::StructDefinition_

pub struct StructDefinition_ {
    pub abilities: BTreeSet<Ability>,
    pub name: StructName,
    pub type_formals: Vec<StructTypeParameter>,
    pub fields: StructDefinitionFields,
    pub invariants: Vec<Invariant>,
}

A Move struct

Fields

abilities: BTreeSet<Ability>

The declared abilities for the struct

name: StructName

Human-readable name for the struct that also serves as a nominal type

type_formals: Vec<StructTypeParameter>

The list of formal type arguments

fields: StructDefinitionFields

the fields each instance has

invariants: Vec<Invariant>

the invariants for this struct

Implementations

impl StructDefinition_

pub fn move_declared(
    abilities: BTreeSet<Ability>,
    name: Symbol,
    type_formals: Vec<StructTypeParameter>,
    fields: Fields<Type>,
    invariants: Vec<Invariant>
) -> Self

Creates a new StructDefinition from the abilities, the string representation of the name, and the user specified fields, a map from their names to their types Does not verify the correctness of any internal properties, e.g. doesn’t check that the fields do not have reference types

pub fn native(
    abilities: BTreeSet<Ability>,
    name: Symbol,
    type_formals: Vec<StructTypeParameter>
) -> Self

Creates a new StructDefinition from the abilities, the string representation of the name, and the user specified fields, a map from their names to their types

Trait Implementations

impl Clone for StructDefinition_

fn clone(&self) -> StructDefinition_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StructDefinition_

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

Formats the value using the given formatter.

impl Display for StructDefinition_

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

Formats the value using the given formatter.

impl PartialEq<StructDefinition_> for StructDefinition_

fn eq(&self, other: &StructDefinition_) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &StructDefinition_) -> bool

This method tests for !=.

impl StructuralPartialEq for StructDefinition_