Project Alice
Loading...
Searching...
No Matches
fif::typecheck3_record_holder Class Reference

#include <fif.hpp>

Inheritance diagram for fif::typecheck3_record_holder:
Collaboration diagram for fif::typecheck3_record_holder:

Public Member Functions

 typecheck3_record_holder (opaque_compiler_data *p, environment &env)
 
virtual control_structure get_type () override
 
virtual ankerl::unordered_dense::map< uint64_t, typecheck_3_record > * typecheck_record () override
 
virtual bool finish (environment &env) override
 
- Public Member Functions inherited from fif::opaque_compiler_data
 opaque_compiler_data (opaque_compiler_data *parent)
 
virtual ~opaque_compiler_data ()=default
 
virtual control_structure get_type ()
 
virtual LLVMValueRef llvm_function ()
 
virtual LLVMBasicBlockRefllvm_block ()
 
virtual int32_t word_id ()
 
virtual int32_t instance_id ()
 
virtual std::vector< int32_t > * bytecode_compilation_progress ()
 
virtual ankerl::unordered_dense::map< uint64_t, typecheck_3_record > * typecheck_record ()
 
virtual state_stackworking_state ()
 
virtual void set_working_state (std::unique_ptr< state_stack > p)
 
virtual bool finish (environment &env)
 
virtual var_dataget_var (std::string const &name)
 
virtual let_dataget_let (std::string const &name)
 
virtual var_datacreate_var (std::string const &name, int32_t type)
 
virtual let_datacreate_let (std::string const &name, int32_t type, int64_t data, LLVMValueRef expression)
 
virtual std::vector< int32_t > * type_substitutions ()
 

Public Attributes

ankerl::unordered_dense::map< uint64_t, typecheck_3_recordtr
 

Additional Inherited Members

- Protected Attributes inherited from fif::opaque_compiler_data
opaque_compiler_dataparent = nullptr
 

Detailed Description

Definition at line 3091 of file fif.hpp.

Constructor & Destructor Documentation

◆ typecheck3_record_holder()

fif::typecheck3_record_holder::typecheck3_record_holder ( opaque_compiler_data p,
environment env 
)
inline

Definition at line 3095 of file fif.hpp.

Member Function Documentation

◆ finish()

virtual bool fif::typecheck3_record_holder::finish ( environment env)
inlineoverridevirtual

Reimplemented from fif::opaque_compiler_data.

Definition at line 3104 of file fif.hpp.

◆ get_type()

virtual control_structure fif::typecheck3_record_holder::get_type ( )
inlineoverridevirtual

Reimplemented from fif::opaque_compiler_data.

Definition at line 3098 of file fif.hpp.

◆ typecheck_record()

virtual ankerl::unordered_dense::map< uint64_t, typecheck_3_record > * fif::typecheck3_record_holder::typecheck_record ( )
inlineoverridevirtual

Reimplemented from fif::opaque_compiler_data.

Definition at line 3101 of file fif.hpp.

Member Data Documentation

◆ tr

ankerl::unordered_dense::map<uint64_t, typecheck_3_record> fif::typecheck3_record_holder::tr

Definition at line 3093 of file fif.hpp.


The documentation for this class was generated from the following file: