Struct pink_runtime::Runtime

pub struct Runtime {
    pub structures: BTreeMap<String, Structure>,
}

Fields

structures: BTreeMap<String, Structure>

Implementations

impl Runtime

pub fn eval(&self, expression: Expression) -> Expression

Returns the lowest possible evaluation

pub fn evaluations(&self, expression: Expression) -> BTreeSet<Expression>

Returns a set of all possible evaluations

impl Runtime

pub fn new(structures: BTreeMap<String, Structure>) -> Self

pub fn domain(&self) -> impl Iterator<Item = &String> + '_

Iterator that goes through each element in the domains of the structures of the runtime

pub fn reserved(&self) -> impl Iterator<Item = &String> + '_

Iterator that goes through each literal in the reserved keywords of the structures of the runtime

pub fn definitions(&self) -> impl Iterator<Item = &Definition> + '_

Iterator that goes through each literal in the reserved keywords of the structures of the runtime

pub fn contains(&self, name: &str) -> bool

pub fn insert(&mut self, name: String, structure: Structure) -> Option<Structure>

pub fn from_partial(structures: &BTreeMap<String, Option<Structure>>) -> Self

pub fn parse_expression( &self, expression: &str ) -> Result<Expression, ParseError>

Trait Implementations

impl Clone for Runtime

fn clone(&self) -> Runtime

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Runtime

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

Formats the value using the given formatter.

impl Display for Runtime

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

Formats the value using the given formatter.

impl PartialEq<Runtime> for Runtime

fn eq(&self, other: &Runtime) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Runtime

impl StructuralEq for Runtime

impl StructuralPartialEq for Runtime