Enum piske::symbol::Symbol

pub enum Symbol {
    BuiltinType {
        name: Identifier,
        ty: PType,
    },
    Variable {
        name: Identifier,
        ty: Option<PType>,
    },
    Function {
        name: Identifier,
        ret_ty: Option<PType>,
        body: FunctionBody,
        params: Vec<Node<Parameter>>,
    },
}

Symbol object (for use in symbol tables).

Variants

BuiltinType

Built-in types

Fields of BuiltinType

name: Identifier

Name of the built-in type (a keyword)

ty: PType

PType associated with the name

Variable

Variables

Fields of Variable

name: Identifier

Name of the variable

ty: Option<PType>

Type of this variable (an Option, since this type is not known at all times of the computation)

Function

Functions

Fields of Function

name: Identifier

Name of the function

ret_ty: Option<PType>

Return type of the function (an Option since this type is not known at all times of the computation)

body: FunctionBody

Function Body

params: Vec<Node<Parameter>>

Function parameters,

Methods

impl Symbol

pub fn builtin(name: Identifier, ty: PType) -> Symbol

Create a builtin type Symbol, with specified type

pub fn function(
    name: Identifier,
    ty: Option<PType>,
    body: Node<Block>,
    params: Vec<Node<Parameter>>
) -> Symbol

Create a function Symbol, with specified type

pub fn ext_function(
    name: Identifier,
    ty: Option<PType>,
    body: ExtFuncIdent,
    params: Vec<Node<Parameter>>
) -> Symbol

Create a function Symbol, with specified type

pub fn variable(name: Identifier, ty: Option<PType>) -> Symbol

Create a variable Symbol

pub fn is_stdlib_func(&self) -> bool

Return true if symbol is a standard library function

Trait Implementations

impl Clone for Symbol

fn clone(&self) -> Symbol

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<Symbol> for Symbol

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

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

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

This method tests for !=.

impl Display for Symbol

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

Formats the value using the given formatter.

impl Debug for Symbol

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

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.