Struct CommonScope 

pub struct CommonScope { /* private fields */ }

Generic hierarchical scope used to resolve fields, methods, nested types, and predicates.

Implementations

impl CommonScope

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

Creates an empty scope with an optional parent scope.

pub fn from_class( core: Weak<dyn Core>, scope: Option<Weak<dyn Scope>>, class_scope: Weak<dyn Scope>, class: ClassDef, ) -> Rc<Self>

Builds a scope populated from a class definition.

pub fn from_costructor( core: Weak<dyn Core>, scope: Option<Weak<dyn Scope>>, constructor: ConstructorDef, ) -> Self

Builds a local scope for constructor arguments.

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

Builds a local scope for method arguments.

pub fn from_predicate( core: Weak<dyn Core>, scope: Option<Weak<dyn Scope>>, predicate: PredicateDef, ) -> Self

Builds a local scope for predicate arguments.

pub fn add_problem(&self, problem: ProblemDef)

Merges problem-level declarations into this scope.

Trait Implementations

impl Debug for CommonScope

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

Formats the value using the given formatter.

impl Scope for CommonScope

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, types: &[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>>