A helper class that performs basic actions on the semantics of the language. More...

#include <Semantic.h>

Collaboration diagram for Semantic:

[legend]

Public Member Functions
ExprType	string_to_type (std::string str)
	Translating a string with a data type name into ExprType.

bool	is_convertible (Type first, Type second, bool is_func=false)
	Checks if implicit type conversion is possible.

Type	calc_expr_type (Type first, Type second)
	Calculates the result of a conversion of two types.

std::string	type_to_string (Type type)
	Translates the Type to a string.

void	add_identifier (Identifier *ident, bool is_global=false)
	Adds a new identifier to the current table.

Identifier *	get_identifier (std::string name)
	Gets a pointer to an identifier by its name.

void	del_table ()
	Deletes the current TID and returns to the parent table.

void	create_table (bool new_func=false)
	Creates a new TID and adds it as a child of the current one.

void	create_function (std::string name, Type type, int pref, std::vector< int > inits, std::vector< Identifier * > ptrs, int ptr)
	Creates a new function and adds it to the TID of functions.

Function	get_function (std::string name, std::vector< Type > params)
	Searches for a function with the specified name and set of argument types.

void	init_array (ExprType type, int size, void *&value, std::string name)
	Initializes array memory with empty pointers.

bool	check_operation (Type f, Type s, std::string operation)
	Checks whether the operation is applicable to two operand types.

Type	literal_to_type (LexicalAnalyzer &lex, Token current_token)
	Converts a string containing a literal to a Type.

Public Attributes
std::stack< std::pair< Type, bool > >	exprs
	A stack of current type expressions. Consists of pairs (Type, bool) = (Type of expression, whether lvalue).

std::stack< int * >	break_ptr
	A stack of pointers to the lowest level of the break operator in the internal representation.

std::stack< int * >	continue_ptr
	A stack of pointers to the lowest level of the continue operator in the internal representation.

std::vector< Identifier * >	params_ptrs
	Vector-array of pointers to the current set of function parameters.

int	function_params_pref = 0
	The length of the current prefix with arguments with no default value in the function under consideration.

bool	is_in_function_header = false
	Flag to determine if you are inside the parameters of the function.

bool	was_function_assign = false
	Flag to determine if the parameters have started with the default value.

std::vector< int >	function_params_init
	Vector-array with pointers to the offset of initialization of parameters of the current function in the internal representation of the program.

std::unordered_map< Function, TableIdentifiers *, FunctionHasher >	funcs
	Function hash table.

Type	current_function = Type()
	Type of current function.

Private Attributes
TableIdentifiers *	tid = new TableIdentifiers()

TableIdentifiers *	global_tid = new TableIdentifiers()

Detailed Description

A helper class that performs basic actions on the semantics of the language.

Definition at line 8 of file Semantic.h.

Member Function Documentation

◆ add_identifier()

void Semantic::add_identifier	(	Identifier *	ident,
		bool	is_global = false )

Adds a new identifier to the current table.

Checks that there is no identifier with the same name in the current scope and adds it.

Parameters

ident	Pointer to the new identifier
is_global	Whether the new identifier is global

Definition at line 101 of file Semantic.cpp.

References global_tid, TableIdentifiers::identifiers, Identifier::name, params_ptrs, and tid.

Referenced by Analyzer::var_definition(), and Analyzer::var_definitions().

◆ calc_expr_type()

Type Semantic::calc_expr_type	(	Type	first,
		Type	second )

Calculates the result of a conversion of two types.

Parameters

first	The first type
second	The second type

Returns: The resultant type to which both data types are cast.

Definition at line 53 of file Semantic.cpp.

References Type::expr_type, and is_convertible().

Referenced by Analyzer::assignment_expression(), Analyzer::bitwise_and_expression(), Analyzer::bitwise_consequence_expression(), Analyzer::bitwise_or_expression(), Analyzer::bitwise_shift_expression(), Analyzer::bitwise_xor_expression(), Analyzer::multiply_expression(), and Analyzer::plus_expression().

◆ check_operation()

bool Semantic::check_operation	(	Type	f,
		Type	s,
		std::string	operation )

Checks whether the operation is applicable to two operand types.

Parameters

f	First operand
s	Second operand
operation	String of operation

Returns: Whether the operation is applicable to two operand types.

Definition at line 202 of file Semantic.cpp.

References Bool, Double, Type::expr_type, Float, is_convertible(), Large, String, UDouble, and UFloat.

Referenced by Analyzer::assignment_expression(), Analyzer::bitwise_and_expression(), Analyzer::bitwise_consequence_expression(), Analyzer::bitwise_or_expression(), Analyzer::bitwise_shift_expression(), Analyzer::bitwise_xor_expression(), Analyzer::comparison_expression(), Analyzer::equality_expression(), Analyzer::logical_and_expression(), Analyzer::logical_or_expression(), Analyzer::multiply_expression(), and Analyzer::plus_expression().

◆ create_function()

void Semantic::create_function	(	std::string	name,
		Type	type,
		int	pref,
		std::vector< int >	inits,
		std::vector< Identifier * >	ptrs,
		int	ptr )

Creates a new function and adds it to the TID of functions.

Before adding a function to the hash table, it checks if the same hash exists. If an identical function was added earlier, it raises an exception.

Parameters

name	Function name
type	Returnable type
pref	The length of the prefix with no default value
inits	Vector-array with pointers to initialize variables in internal representation
ptrs	Vector-array with pointers to all argument identifiers
ptr	Function offset in internal representation

Definition at line 142 of file Semantic.cpp.

References current_function, funcs, TableIdentifiers::identifiers, Function::name, and tid.

Referenced by Analyzer::function().

◆ create_table()

void Semantic::create_table ( bool new_func = false )

Creates a new TID and adds it as a child of the current one.

Parameters

new_func Whether the current variable is part of the function arguments

Definition at line 135 of file Semantic.cpp.

References tid.

Referenced by Analyzer::for_statement(), Analyzer::function(), and Analyzer::statement().

◆ del_table()

void Semantic::del_table ( )

Deletes the current TID and returns to the parent table.

Definition at line 127 of file Semantic.cpp.

References TableIdentifiers::parent, and tid.

Referenced by Analyzer::statement().

◆ get_function()

Function Semantic::get_function	(	std::string	name,
		std::vector< Type >	params )

Searches for a function with the specified name and set of argument types.

Searches the function first by prefixing argument types without a default value, and then by all values. If the function call is ambiguous, it throws an exception.

Parameters

name	Function name
params	Vector-array of standard argument types

Returns: The function found or throws an exception.

Definition at line 154 of file Semantic.cpp.

References funcs, and is_convertible().

Referenced by Analyzer::execute(), and Analyzer::field().

◆ get_identifier()

Identifier * Semantic::get_identifier ( std::string name )

Gets a pointer to an identifier by its name.

Checks if an identifier with the specified name exists in the current scope and returns a pointer to its instance of the Identifier class. The search is performed by traversing from the current TID through the parent tables.

Parameters