compiler_typed_sema_test.cc File Reference

Tests for Compiler_Typed_Sema.H. More...

#include <gtest/gtest.h>
#include <Compiler_Parser.H>
#include <Compiler_Typed_Sema.H>
#include <string>
#include <vector>

Include dependency graph for compiler_typed_sema_test.cc:

Go to the source code of this file.

Functions
	TEST (CompilerTypedSema, InfersArithmeticFunctionAndCallTypes)
	TEST (CompilerTypedSema, InfersBoolConditionsAndUnitForFunctionsWithoutReturn)
	TEST (CompilerTypedSema, ResolvesExplicitAnnotationsIntoConcreteTypes)
	TEST (CompilerTypedSema, ResolvesNominalTypesAndTransparentAliases)
	TEST (CompilerTypedSema, InstantiatesExplicitlyGenericFunctionsAndGeneralizedLets)
	TEST (CompilerTypedSema, ReportsInvalidNominalTypeDeclarations)
	TEST (CompilerTypedSema, ReportsTypeErrorsForConditionAndCall)
	TEST (CompilerTypedSema, ReportsAnnotatedBindingMismatch)
	TEST (CompilerTypedSema, ReportsReturnTypeMismatchAcrossBranches)

Detailed Description

Tests for Compiler_Typed_Sema.H.

Definition in file compiler_typed_sema_test.cc.

Function Documentation

TEST() [1/9]

TEST	(	CompilerTypedSema	,
		InfersArithmeticFunctionAndCallTypes
	)

Definition at line 71 of file compiler_typed_sema_test.cc.

References Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Typed_Semantic_Analyzer::function_type(), Aleph::Diagnostic_Engine::has_errors(), Aleph::Compiler_Typed_Semantic_Analyzer::inferred_type(), Aleph::Compiler_Typed_Semantic_Analyzer::let_type(), Aleph::Compiler_Typed_Semantic_Analyzer::parameter_type(), Aleph::Compiler_Type_Context::to_string(), and Aleph::Compiler_Typed_Semantic_Analyzer::type_context().

TEST() [2/9]

TEST	(	CompilerTypedSema	,
		InfersBoolConditionsAndUnitForFunctionsWithoutReturn
	)

Definition at line 113 of file compiler_typed_sema_test.cc.

References Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Typed_Semantic_Analyzer::function_type(), Aleph::Diagnostic_Engine::has_errors(), Aleph::Compiler_Typed_Semantic_Analyzer::inferred_type(), Aleph::Compiler_Type_Context::to_string(), and Aleph::Compiler_Typed_Semantic_Analyzer::type_context().

TEST() [3/9]

TEST	(	CompilerTypedSema	,
		InstantiatesExplicitlyGenericFunctionsAndGeneralizedLets
	)

Definition at line 236 of file compiler_typed_sema_test.cc.

References Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Typed_Semantic_Analyzer::function_type(), Aleph::Diagnostic_Engine::has_errors(), Aleph::Compiler_Typed_Semantic_Analyzer::let_type(), Aleph::Compiler_Typed_Semantic_Analyzer::parameter_type(), Aleph::Compiler_Type_Context::to_string(), and Aleph::Compiler_Typed_Semantic_Analyzer::type_context().

TEST() [4/9]

TEST	(	CompilerTypedSema	,
		ReportsAnnotatedBindingMismatch
	)

Definition at line 334 of file compiler_typed_sema_test.cc.

References Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), and Aleph::Diagnostic_Engine::has_errors().

TEST() [5/9]

TEST	(	CompilerTypedSema	,
		ReportsInvalidNominalTypeDeclarations
	)

Definition at line 279 of file compiler_typed_sema_test.cc.

References Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), and Aleph::Diagnostic_Engine::has_errors().

TEST() [6/9]

TEST	(	CompilerTypedSema	,
		ReportsReturnTypeMismatchAcrossBranches
	)

Definition at line 354 of file compiler_typed_sema_test.cc.

References Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), and Aleph::Diagnostic_Engine::has_errors().

TEST() [7/9]

TEST	(	CompilerTypedSema	,
		ReportsTypeErrorsForConditionAndCall
	)

Definition at line 309 of file compiler_typed_sema_test.cc.

References Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), and Aleph::Diagnostic_Engine::has_errors().

TEST() [8/9]

TEST	(	CompilerTypedSema	,
		ResolvesExplicitAnnotationsIntoConcreteTypes
	)

Definition at line 144 of file compiler_typed_sema_test.cc.

References Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Typed_Semantic_Analyzer::function_type(), Aleph::Diagnostic_Engine::has_errors(), Aleph::Compiler_Typed_Semantic_Analyzer::let_type(), Aleph::Compiler_Typed_Semantic_Analyzer::parameter_type(), Aleph::Compiler_Type_Context::to_string(), and Aleph::Compiler_Typed_Semantic_Analyzer::type_context().

TEST() [9/9]

TEST	(	CompilerTypedSema	,
		ResolvesNominalTypesAndTransparentAliases
	)

Definition at line 182 of file compiler_typed_sema_test.cc.

References Aleph::DynArray< T >::access(), Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), Aleph::color(), Aleph::Compiler_Typed_Semantic_Analyzer::declared_type(), Aleph::Compiler_Typed_Semantic_Analyzer::function_type(), Aleph::Diagnostic_Engine::has_errors(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::is_enum(), Aleph::Compiler_Type_Context::is_struct(), Aleph::Compiler_Typed_Semantic_Analyzer::let_type(), Aleph::Compiler_Type::member_names, Aleph::Compiler_Typed_Semantic_Analyzer::parameter_type(), Aleph::DynArray< T >::size(), Aleph::Compiler_Type_Context::to_string(), Aleph::Compiler_Type_Context::type(), and Aleph::Compiler_Typed_Semantic_Analyzer::type_context().