Struct Method 

pub struct Method { /* private fields */ }

Executable method declaration with argument and return-type checking.

Implementations

impl Method

pub fn new( core: Weak<dyn Core>, scope: Option<Weak<dyn Scope>>, method: MethodDef, ) -> Rc<Self>

Creates a method from its parsed definition.

pub fn name(&self) -> &str

pub fn return_type(&self) -> Option<&[String]>

pub fn args(&self) -> &[(Vec<String>, String)]

pub fn statements(&self) -> &[Statement]

pub fn call( &self, env: Rc<dyn Env>, args: Vec<Rc<dyn Var>>, ) -> Result<Option<Rc<dyn Var>>, RiddleError>

Invokes the method in a fresh local environment.

The call validates argument count and type compatibility, executes all method statements, and checks the declared return type (if any).

Trait Implementations

impl Debug for Method

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

Formats the value using the given formatter.

impl Scope for Method

fn core(self: Rc<Self>) -> Rc<dyn Core>

fn scope(&self) -> Option<Rc<dyn Scope>>

fn get_field(&self, name: &str) -> Option<Rc<Field>>

fn get_method(&self, name: &str, classes: &[Rc<dyn Type>]) -> Option<Rc<Method>>

fn get_type(&self, name: &str) -> Option<Rc<dyn Type>>

fn get_predicate(&self, name: &str) -> Option<Rc<Predicate>>

fn as_class(self: Rc<Self>) -> Option<Rc<dyn Class>>