Trait ToLang

pub trait ToLang {
    // Required method
    fn to_lang(&self, skillset: &Skillset) -> String;
}

Required Methods

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

Implementors

impl ToLang for Expr

impl ToLang for Reference<ResourceId>

impl ToLang for Reference<TypeId>

impl ToLang for Reference<StateId>

impl ToLang for Transitions

impl ToLang for Data

impl ToLang for Effect

impl ToLang for Event

impl ToLang for Interrupt

impl ToLang for Invariant

impl ToLang for Postcondition

impl ToLang for Precondition

impl ToLang for Progress

impl ToLang for Resource

impl ToLang for Skill

impl ToLang for Transition

impl ToLang for Variable

impl<I: TerminateId> ToLang for Terminate<I>