Trait Named

pub trait Named<I: Id> {
    // Required methods
    fn id(&self) -> I;
    fn set_id(&mut self, id: I);
    fn name(&self) -> &str;
    fn position(&self) -> Option<Position>;

    // Provided method
    fn naming(&self) -> Naming { ... }
}

Required Methods

fn id(&self) -> I

fn set_id(&mut self, id: I)

fn name(&self) -> &str

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

Provided Methods

fn naming(&self) -> Naming

Implementors

impl Named<DataId> for Data

impl Named<EventId> for Event

impl Named<InvariantId> for Invariant

impl Named<PostconditionId> for Postcondition

impl Named<PreconditionId> for Precondition

impl Named<ResourceId> for Resource

impl Named<TypeId> for RlType

impl Named<SkillId> for Skill

impl Named<StateId> for State

impl Named<FailureId> for Failure

impl Named<SuccessId> for Success