Struct piske::ast::annotation::Annotation

pub struct Annotation {
    pub ty: Option<PType>,
    pub promote_ty: Option<PType>,
    // some fields omitted
}

Annotation type for piske abstract syntax tree. Contains a symbol scope, memory scope, and typing information.

Fields

ty: Option<PType>

The original inferred type for this AST node

promote_ty: Option<PType>

The promoted type for this AST node

Trait Implementations

impl PartialEq<Annotation> for Annotation

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

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

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

This method tests for !=.

impl Clone for Annotation

fn clone(&self) -> Annotation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for Annotation

fn default() -> Annotation

Returns the "default value" for a type.

impl Debug for Annotation

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

Formats the value using the given formatter.

impl Display for Annotation

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

Formats the value using the given formatter.

impl SymbolStore<Symbol> for Annotation

fn define(&mut self, ident: Identifier, symbol: Symbol) -> Option<Symbol>

Defines (or updates) a symbol in this symbol store. Returns previous symbol if this identifier has been previously declared.

fn resolve(&self, ident: &Identifier) -> Option<Symbol>

Resolves a symbol in this symbol store, or None if no symbol exists for the identifier.

impl MemoryStore<Value> for Annotation

fn set(
    &mut self,
    ident: Identifier,
    value: Value
) -> Result<Option<Value>, String>

Sets (or updates) the value in memory for an identifier. Returns the previous value (if exists). Typically, the identifier should already exist in the store, but may not have an existing value.

fn get(&self, ident: &Identifier) -> Option<Value>

Retrieves the value for a particular identifier, if exists.

impl Scoped<Scope<HashMap<Identifier, SymbolMemory<Symbol, Value>, RandomState>>> for Annotation

fn scope(&self) -> Option<Rc<RefCell<MemoryScope<Symbol, Value>>>>

Accesses an Rc pointer to the scope (if exists).

fn set_scope(&mut self, scope: Option<Rc<RefCell<MemoryScope<Symbol, Value>>>>)

Ses the Rc pointer to the scope, or None if no scope should exist.

impl Typed<PType> for Annotation

fn ty(&self) -> Option<PType>

Retrieve the Type (if set).

fn set_type(&mut self, ty: Option<PType>)

Set (or unset if passing None) the Type.

fn promote_type(&self) -> Option<PType>

Retrieve the promotion Type (if set). Defaults to ty() if not implemented.

fn set_promote_type(&mut self, ty: Option<PType>)

Set (or unset if passing None) the promotion Type. Default to set_type() if not implemented.

fn promoted(&self) -> Option<PType>

Retrieve promoted type, if any type is set.