Struct Postcondition

pub struct Postcondition { /* private fields */ }

Implementations

impl Postcondition

pub fn new<S: Into<String>>( name: S, expr: Expr, position: Option<Position>, ) -> Self

pub fn expr(&self) -> &Expr

pub fn resolve_resource( &mut self, map: &HashMap<String, ResourceId>, ) -> Result<(), RlError>

pub fn resolve_state( &mut self, map: &HashMap<String, StateId>, ) -> Result<(), RlError>

Trait Implementations

impl Clone for Postcondition

fn clone(&self) -> Postcondition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Postcondition

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

Formats the value using the given formatter.

impl Display for Postcondition

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

Formats the value using the given formatter.

impl Named<PostconditionId> for Postcondition

fn id(&self) -> PostconditionId

fn set_id(&mut self, id: PostconditionId)

fn name(&self) -> &str

fn position(&self) -> Option<Position>

fn naming(&self) -> Naming

impl ToLang for Postcondition

fn to_lang(&self, skillset: &Skillset) -> String