Struct Method

pub struct Method<T: Id> { /* private fields */ }

Implementations

impl<T: Id> Method<T>

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

pub fn add_parameter(&mut self, parameter: Parameter)

pub fn parameters(&self) -> &Vec<Parameter>

pub fn parameters_type(&self) -> Vec<Type>

pub fn duplicate(&self) -> Result<(), Error>

pub fn check_bounded(&self, problem: &Problem) -> Result<(), Error>

pub fn resolve_type_expr(&mut self, entries: &TypeEntries) -> Result<(), Error>

Trait Implementations

impl<T: Clone + Id> Clone for Method<T>

fn clone(&self) -> Method<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl GetFromId<MethodId<ClassId>, Method<ClassId>> for Class

fn get(&self, id: MethodId<ClassId>) -> Option<&Method<ClassId>>

impl GetFromId<MethodId<ClassId>, Method<ClassId>> for Problem

fn get(&self, id: MethodId<ClassId>) -> Option<&Method<ClassId>>

impl GetFromId<MethodId<StructureId>, Method<StructureId>> for Problem

fn get(&self, id: MethodId<StructureId>) -> Option<&Method<StructureId>>

impl GetFromId<MethodId<StructureId>, Method<StructureId>> for Structure

fn get(&self, id: MethodId<StructureId>) -> Option<&Method<StructureId>>

impl<T: Id> Named<MethodId<T>> for Method<T>

fn id(&self) -> MethodId<T>

fn set_id(&mut self, id: MethodId<T>)

fn name(&self) -> &str

fn naming(&self) -> Naming

impl<T: Id> ToLang for Method<T>

fn to_lang(&self, problem: &Problem) -> String

impl WithExpr for Method<ClassId>

fn expr(&self) -> &Option<Expr>

fn set_expr(&mut self, expr: Option<Expr>)

fn entries(&self) -> Entries

fn resolve_type_expr(&mut self, entries: &TypeEntries) -> Result<(), Error>

fn resolve_expr( &self, problem: &Problem, entries: &Entries, ) -> Result<Self, Error>

fn check_parameter_size(&self, problem: &Problem) -> Result<(), Error>

fn check_type(&self, problem: &Problem) -> Result<(), Error>

impl WithExpr for Method<StructureId>

fn expr(&self) -> &Option<Expr>

fn set_expr(&mut self, expr: Option<Expr>)

fn entries(&self) -> Entries

fn resolve_type_expr(&mut self, entries: &TypeEntries) -> Result<(), Error>

fn resolve_expr( &self, problem: &Problem, entries: &Entries, ) -> Result<Self, Error>

fn check_parameter_size(&self, problem: &Problem) -> Result<(), Error>

fn check_type(&self, problem: &Problem) -> Result<(), Error>

impl<T: Id> WithPosition for Method<T>

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

impl<T: Id> WithType for Method<T>

fn typ(&self) -> &Type

fn set_type(&mut self, typ: Type)

fn resolve_type_children(&mut self, entries: &TypeEntries) -> Result<(), Error>

fn check_interval_children(&self, problem: &Problem) -> Result<(), Error>

fn resolve_type(&mut self, entries: &TypeEntries) -> Result<(), Error>

fn check_interval(&self, problem: &Problem) -> Result<(), Error>