Struct espr::ir::Scope

pub struct Scope(_);

Scope declaration

Partial Order

Scope is partially ordered in terms of the sub-scope relation:

let root = Scope::root();
let schema = root.pushed(ScopeType::Schema, "schema");
assert!(root > schema); // schema scope is sub-scope of root scope

Be sure that this is not total order:

let root = Scope::root();
let schema1 = root.pushed(ScopeType::Schema, "schema1");
let schema2 = root.pushed(ScopeType::Schema, "schema2");

// schema1 and schema2 are both sub-scope of root,
assert!(root > schema1);
assert!(root > schema2);

// but they are independent. Comparison always returns false:
assert!(!(schema1 <= schema2));
assert!(!(schema1 >= schema2));

Implementations

impl Scope

pub fn root() -> Self

pub fn pushed(&self, ty: ScopeType, name: &str) -> Self

pub fn entity(&self, name: &str) -> Self

Add Entity scope

pub fn alias(&self, name: &str) -> Self

Add Alias scope

pub fn function(&self, name: &str) -> Self

Add Function scope

pub fn procedure(&self, name: &str) -> Self

Add Procedure scope

pub fn query(&self, name: &str) -> Self

Add Query scope

pub fn repeat(&self, name: &str) -> Self

Add Repeat scope

pub fn rule(&self, name: &str) -> Self

Add Rule scope

pub fn schema(&self, name: &str) -> Self

Add Schema scope

pub fn subtype(&self, name: &str) -> Self

Add SubType scope

pub fn type(&self, name: &str) -> Self

Add Type scope

pub fn popped(&self) -> Option<Self>

Pop the last scope

Returns None when self is root.

Trait Implementations

impl Clone for Scope

fn clone(&self) -> Scope

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Scope

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

Formats the value using the given formatter.

impl Display for Scope

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

Formats the value using the given formatter.

impl Hash for Scope

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'st> Index<&'_ Scope> for Namespace<'st>

type Output = [(ScopeType, String, usize)]

The returned type after indexing.

fn index(&self, id: &Scope) -> &Self::Output

Performs the indexing (container[index]) operation.

impl PartialEq<Scope> for Scope

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

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

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

This method tests for !=.

impl PartialOrd<Scope> for Scope

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Scope

impl StructuralEq for Scope

impl StructuralPartialEq for Scope