| abort(const std::string &msg="<NO MESSAGE>") override final (defined in sammine_lang::AST::ASTVisitor) | sammine_lang::AST::ASTVisitor | virtual |
| abort_if_not(const T &condition, const std::string &message="<NO MESSAGE>") (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| abort_on(const T &condition, const std::string &message="<NO MESSAGE>") (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| add_diagnostics(Location loc, std::string msg, std::source_location src=std::source_location::current()) (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| add_error(Location loc, std::string msg, std::source_location src=std::source_location::current()) (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| add_error(Location loc, std::vector< std::string > msgs, std::source_location src=std::source_location::current()) (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| add_warn(Location loc, std::string msg, std::source_location src=std::source_location::current()) (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| begin() (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| begin() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| BiTypeCheckerVisitor(ASTProperties &props) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | inline |
| cbegin() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| cend() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| check_array_literal_against_annotation(VarDefAST *ast, ArrayLiteralExprAST *arr_lit, const ArrayType &arr_type) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| const_iterator typedef (defined in sammine_util::Reportee) | sammine_util::Reportee | |
| contains_type_param(const Type &type, const std::string ¶m_name) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| diag enum value (defined in sammine_util::Reportee) | sammine_util::Reportee | |
| diag_count (defined in sammine_util::Reportee) | sammine_util::Reportee | protected |
| end() (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| end() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| enter_new_scope() override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | inlinevirtual |
| error enum value (defined in sammine_util::Reportee) | sammine_util::Reportee | |
| error_count (defined in sammine_util::Reportee) | sammine_util::Reportee | protected |
| exit_new_scope() override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | inlinevirtual |
| generic_enum_defs (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| generic_func_defs (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| get_diagnostic_count() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| get_error_count() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| get_type_from_id(const std::string &str) const (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | inline |
| get_type_from_id_parent(const std::string &str) const (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | inline |
| get_typename_type(const std::string &str) const (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | inline |
| get_warn_count() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| has_diagnostics() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| has_errors() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inlinevirtual |
| has_message() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| has_warn() const (defined in sammine_util::Reportee) | sammine_util::Reportee | inline |
| id_to_type (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| instantiated_enums (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| instantiated_functions (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| iterator typedef (defined in sammine_util::Reportee) | sammine_util::Reportee | |
| method_to_class (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| monomorphized_defs (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| monomorphized_enum_defs (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| postorder_walk(ProgramAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(VarDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(ExternAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(FuncDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(StructDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(EnumDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(TypeAliasDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(PrototypeAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(CallExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(ReturnExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(BinaryExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(NumberExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(StringExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(BoolExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(CharExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(UnitExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(VariableExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(BlockAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(IfExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(TypedVarAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(DerefExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(AddrOfExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(AllocExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(FreeExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(ArrayLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(IndexExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(LenExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(UnaryNegExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(StructLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(FieldAccessExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(CaseExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(WhileExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(TupleLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(TypeClassDeclAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| postorder_walk(TypeClassInstanceAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| pre_register_function(PrototypeAST *ast) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| preorder_walk(ProgramAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(VarDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(ExternAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(FuncDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(StructDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(EnumDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(TypeAliasDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(PrototypeAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(CallExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(ReturnExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(BinaryExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(NumberExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(StringExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(BoolExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(CharExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(UnitExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(VariableExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(BlockAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(IfExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(TypedVarAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(DerefExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(AddrOfExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(AllocExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(FreeExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(ArrayLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(IndexExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(LenExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(UnaryNegExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(StructLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(FieldAccessExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(CaseExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(WhileExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(TupleLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(TypeClassDeclAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| preorder_walk(TypeClassInstanceAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| props_ | sammine_lang::AST::BiTypeCheckerVisitor | |
| register_builtin_op_instances() (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| register_typeclass_decl(TypeClassDeclAST *ast) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| register_typeclass_instance(TypeClassInstanceAST *ast) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| Report typedef (defined in sammine_util::Reportee) | sammine_util::Reportee | |
| ReportKind enum name (defined in sammine_util::Reportee) | sammine_util::Reportee | |
| reports (defined in sammine_util::Reportee) | sammine_util::Reportee | protected |
| resolve_type_expr(TypeExprAST *type_expr) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | inline |
| substitute(const Type &type, const std::unordered_map< std::string, Type > &bindings) const (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| synthesize(ProgramAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(VarDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(ExternAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(FuncDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(StructDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(EnumDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(TypeAliasDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(PrototypeAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(CallExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(ReturnExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(BinaryExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(NumberExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(UnitExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(StringExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(BoolExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(CharExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(VariableExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(BlockAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(IfExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(TypedVarAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(DerefExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(AddrOfExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(AllocExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(FreeExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(ArrayLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(IndexExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(LenExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(UnaryNegExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(StructLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(FieldAccessExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(CaseExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(WhileExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(TupleLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(TypeClassDeclAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize(TypeClassInstanceAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| synthesize_binary_operator(BinaryExprAST *ast, const Type &lhs_type, const Type &rhs_type) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| synthesize_generic_call(CallExprAST *ast) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| synthesize_normal_call(CallExprAST *ast) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| synthesize_typeclass_call(CallExprAST *ast) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| top_level_ast (defined in sammine_lang::AST::ASTVisitor) | sammine_lang::AST::ASTVisitor | protected |
| try_get_callee_type(const std::string &str) const | sammine_lang::AST::BiTypeCheckerVisitor | inline |
| type_class_defs (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| type_class_instances (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| type_map_ordering (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| typename_to_type (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| unify(const Type &pattern, const Type &concrete, std::unordered_map< std::string, Type > &bindings) (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| variant_constructors (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | |
| visit(ProgramAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(VarDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(ExternAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(FuncDefAST *ast) override | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(StructDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(EnumDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(TypeAliasDefAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(PrototypeAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(CallExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(ReturnExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(BinaryExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(NumberExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(StringExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(BoolExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(CharExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(UnitExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(VariableExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(BlockAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(IfExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(TypedVarAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(DerefExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(AddrOfExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(AllocExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(FreeExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(ArrayLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(IndexExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(LenExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(UnaryNegExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(StructLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(FieldAccessExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(CaseExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(WhileExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(TupleLiteralExprAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(TypeClassDeclAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| visit(TypeClassInstanceAST *ast) override (defined in sammine_lang::AST::BiTypeCheckerVisitor) | sammine_lang::AST::BiTypeCheckerVisitor | virtual |
| warn enum value (defined in sammine_util::Reportee) | sammine_util::Reportee | |
| warn_count (defined in sammine_util::Reportee) | sammine_util::Reportee | protected |
| ~ASTVisitor()=0 (defined in sammine_lang::AST::ASTVisitor) | sammine_lang::AST::ASTVisitor | pure virtual |
| ~Reportee()=default (defined in sammine_util::Reportee) | sammine_util::Reportee | virtual |
| ~ScopedASTVisitor()=0 (defined in sammine_lang::AST::ScopedASTVisitor) | sammine_lang::AST::ScopedASTVisitor | pure virtual |
| ~TypeCheckerVisitor()=0 (defined in sammine_lang::AST::TypeCheckerVisitor) | sammine_lang::AST::TypeCheckerVisitor | pure virtual |
1.16.1