Enum espr::ir::TypeRef

pub enum TypeRef {
    SimpleType(SimpleType),
    Named {
        name: String,
        scope: Scope,
        is_simple: bool,
        is_enumerate: bool,
    },
    Entity {
        name: String,
        scope: Scope,
        is_supertype: bool,
    },
    Set {
        base: Box<TypeRef>,
        bound: Option<Bound>,
    },
    List {
        base: Box<TypeRef>,
        bound: Option<Bound>,
        unique: bool,
    },
}

Variants

SimpleType(SimpleType)

Tuple Fields of SimpleType

0: SimpleType

Named

Fields of Named

name: Stringscope: Scope

Scope where the named type is declared

is_simple: bool

True if the underlying type of named type is a simple type:

TYPE a = INTEGER; ENDTYPE;
TYPE b = a; ENDTYPE;

Then both a and b are simple.

is_enumerate: bool

Enumeration, declared by TYPE a = ENUMERATION OF (..); END_TYPE;.

Entity

Fields of Entity

name: Stringscope: Scopeis_supertype: bool

Set

Fields of Set

base: Box<TypeRef>bound: Option<Bound>

List

Fields of List

base: Box<TypeRef>bound: Option<Bound>unique: bool

Implementations

impl TypeRef

pub fn is_simple(&self) -> bool

Returns true iff self is:

• a simple type,
• a named type whose underlying type is simple, or,
• a set or list of a type x such that x.is_simple() == true.

pub fn from_path(
    ns: &Namespace<'_>,
    ss: &Constraints,
    path: &Path
) -> Result<Self, SemanticError>

Trait Implementations

impl Clone for TypeRef

fn clone(&self) -> TypeRef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeRef

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

Formats the value using the given formatter.

impl Hash for TypeRef

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 Legalize for TypeRef

type Input = Type

AST portion

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

impl PartialEq<TypeRef> for TypeRef

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

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

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

This method tests for !=.

impl ToTokens for TypeRef

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 TypeRef

impl StructuralEq for TypeRef

impl StructuralPartialEq for TypeRef