Struct ResourceDefinition 

pub struct ResourceDefinition {
    pub name: String,
    pub kind: String,
    pub endpoint: String,
    pub capacity: Option<i64>,
    pub lifetime: String,
    pub certainty_floor: Option<f64>,
    pub shield_ref: String,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

resource Name { kind, endpoint, capacity, lifetime, certainty_floor, shield }

An infrastructure resource declared as a linear, affine, or persistent token. Linear/affine resources cannot be aliased across manifests (Separation Logic * disjointness).

Fields

name: String

kind: String

endpoint: String

capacity: Option<i64>

lifetime: String

certainty_floor: Option<f64>

shield_ref: String

loc: Loc

leading_trivia: Vec<Trivia>

Fase 14.b — leading comment trivia attached to this declaration (comments preceding the declaration’s first token, since the previous declaration or file start). Empty by default.

trailing_trivia: Vec<Trivia>

Fase 14.b — trailing comment trivia (same line as the declaration’s last effective token). Empty by default.

Trait Implementations

impl Debug for ResourceDefinition

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

Formats the value using the given formatter.

impl Default for ResourceDefinition

fn default() -> ResourceDefinition

Returns the “default value” for a type.