Struct espr::ir::Constraints

pub struct Constraints {
    pub instantiables: HashMap<Path, Vec<Vec<Path>>>,
}

Global constraints in EXPRESS components

Fields

instantiables: HashMap<Path, Vec<Vec<Path>>>

Each super-type can be instantiable as its subtypes, but possible subtypes cannot be determined from local description in EXPRESS.

Implementations

impl Constraints

pub fn new(ns: &Namespace<'_>, st: &SyntaxTree) -> Result<Self, SemanticError>

pub fn is_supertype(&self, path: &Path) -> bool

Trait Implementations

impl Debug for Constraints

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

Formats the value using the given formatter.

impl PartialEq<Constraints> for Constraints

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

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

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

This method tests for !=.

impl Eq for Constraints

impl StructuralEq for Constraints

impl StructuralPartialEq for Constraints