compiler_types_test.cc File Reference

Tests for Compiler_Types.H. More...

#include <gtest/gtest.h>
#include <Compiler_Types.H>

Include dependency graph for compiler_types_test.cc:

Go to the source code of this file.

Functions
	TEST (CompilerTypes, BuiltinsAreStableAndPrettyPrinted)
	TEST (CompilerTypes, BuildsTuplesFunctionsAndTypeVariables)
	TEST (CompilerTypes, ClearKeepsBuiltinsAndResetsFreshVariables)
	TEST (CompilerTypes, BuildsNominalStructsAndEnums)

Detailed Description

Tests for Compiler_Types.H.

Definition in file compiler_types_test.cc.

Function Documentation

TEST() [1/4]

TEST	(	CompilerTypes	,
		BuildsNominalStructsAndEnums
	)

Definition at line 90 of file compiler_types_test.cc.

References Aleph::DynArray< T >::access(), Aleph::DynArray< T >::append(), Aleph::blossom_maximum_cardinality_matching(), Aleph::color(), Aleph::Compiler_Type::components, Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::is_enum(), Aleph::Compiler_Type_Context::is_struct(), Aleph::Compiler_Type_Context::make_enum_type(), Aleph::Compiler_Type_Context::make_struct_type(), Aleph::Compiler_Type::member_names, Aleph::Compiler_Type_Context::set_enum_variants(), Aleph::Compiler_Type_Context::set_struct_fields(), Aleph::DynArray< T >::size(), Aleph::Compiler_Type_Context::to_string(), and Aleph::Compiler_Type_Context::type().

TEST() [2/4]

TEST	(	CompilerTypes	,
		BuildsTuplesFunctionsAndTypeVariables
	)

Definition at line 58 of file compiler_types_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Type_Context::bool_type(), Aleph::Compiler_Type_Context::character_type(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::is_type_variable(), Aleph::Compiler_Type_Context::make_function_type(), Aleph::Compiler_Type_Context::make_tuple_type(), Aleph::Compiler_Type_Context::make_type_variable(), and Aleph::Compiler_Type_Context::to_string().

TEST() [3/4]

TEST	(	CompilerTypes	,
		BuiltinsAreStableAndPrettyPrinted
	)

Definition at line 44 of file compiler_types_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Type_Context::bool_type(), Aleph::Compiler_Type_Context::builtin_count(), Aleph::Compiler_Type_Context::character_type(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::invalid_type(), Aleph::Compiler_Type_Context::string_type(), Aleph::Compiler_Type_Context::to_string(), and Aleph::Compiler_Type_Context::unit_type().

TEST() [4/4]

TEST	(	CompilerTypes	,
		ClearKeepsBuiltinsAndResetsFreshVariables
	)

Definition at line 75 of file compiler_types_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Type_Context::builtin_count(), Aleph::Compiler_Type_Context::clear(), Aleph::Compiler_Type_Context::make_type_variable(), Aleph::Compiler_Type_Context::size(), and Aleph::Compiler_Type_Context::to_string().