class

DoisC::Environment::VerificationContext

Holds context as verifier traverses AST's concrete types

Constructors

new(globals : Global)

bind_generic(name : String, param : Types::GenericTypeParameter)

current_generic_scope

current_module_scope

current_return_type

declare(name : String, type : Types::Type, symbol_ref : ASTData::SymbolRef | Nil = nil)

enter_generic_scope

enter_loop

enter_scope

exit_generic_scope

exit_loop

exit_scope

globals

inside_loop?

lookup(name : String) : Types::Type | Nil

lookup_binding(name : String) : LocalBinding | Nil

lookup_generic(name : String) : Types::GenericTypeParameter | Nil

pop_module

push_module(name : String)

with_return_type(type : Types::Type, &)