Struct CommonCore 

pub struct CommonCore { /* private fields */ }

Implementations

impl CommonCore

pub fn new(core: Weak<dyn Core>) -> Rc<Self>

Creates a new shared core with a root scope and environment.

The core is initialized with the builtin primitive types: bool, int, real, and string.

pub fn read(&self, riddle: &str) -> Result<(), RiddleError>

Parses and executes a RiDDLe problem in this core context.

The parsed problem metadata is registered in the current scope, then each statement is executed in order using this core scope and environment.

Returns an error if parsing or execution fails.

pub fn add_type(&self, class: Rc<dyn Type>)

Registers a type in the core type table under its declared name.

Trait Implementations

impl Debug for CommonCore

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

Formats the value using the given formatter.

impl Env for CommonCore

fn parent(&self) -> Option<Rc<dyn Env>>

fn get(&self, name: &str) -> Option<Rc<dyn Var>>

fn set(&self, name: String, value: Rc<dyn Var>)

impl Scope for CommonCore

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>>

impl ToJson for CommonCore

fn to_json(&self) -> Value