Struct CommonScope 

pub struct CommonScope { /* private fields */ }

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(parent_scope: Weak<dyn Scope>, class: ClassDef) -> Rc<Self>

Builds a scope populated from a class definition.

pub fn from_constructor( parent_scope: Weak<dyn Class>, constructor: ConstructorDef, ) -> Self

Builds a local scope for constructor arguments.

pub fn from_function( parent_scope: Weak<dyn Scope>, function: FunctionDef, ) -> Self

Builds a local scope for function arguments.

pub fn from_predicate( parent_scope: Weak<dyn Scope>, predicate: PredicateDef, ) -> Self

Builds a local scope for predicate arguments.

pub fn add_problem(self: Rc<Self>, problem: ProblemDef)

Merges problem-level declarations into this scope.

Trait Implementations

impl Scope for CommonScope

fn core(&self) -> Rc<dyn Core>

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

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

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

fn get_fields(&self) -> Vec<Rc<Field>>

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

fn get_function( &self, name: &str, types: &[Rc<dyn Type>], ) -> Option<Rc<Function>>

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