Struct espr::ir::Entity

pub struct Entity {
    pub name: String,
    pub attributes: Vec<EntityAttribute>,
    pub constraints: Vec<TypeRef>,
    pub supertypes: Vec<TypeRef>,
}

Fields

name: String

Name of entity in snake_case

attributes: Vec<EntityAttribute>

constraints: Vec<TypeRef>

List of constraints corresponding to SUBTYPE_CONSTRAINTS and SUPERTYPE OF declaration in EXPRESS schema

supertypes: Vec<TypeRef>

List of types to be inherited by this entity

When this entity is sub defined like:

ENTITY sub SUBTYPE OF (base);
END_ENTITY;

then this supertypes is [base].

Trait Implementations

impl Clone for Entity

fn clone(&self) -> Entity

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Entity

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

Formats the value using the given formatter.

impl Legalize for Entity

type Input = Entity

AST portion

fn legalize(
    ns: &Namespace<'_>,
    ss: &Constraints,
    scope: &Scope,
    entity: &Entity
) -> Result<Self, SemanticError>

impl PartialEq<Entity> for Entity

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

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

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

This method tests for !=.

impl ToTokens for Entity

fn to_tokens(&self, tokens: &mut TokenStream)

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

Convert self directly into a TokenStream object.

impl Eq for Entity

impl StructuralEq for Entity

impl StructuralPartialEq for Entity