Statement List Language Type Checking. More...

#include <util/std_code_base.h>
#include <util/typecheck.h>
#include "statement_list_parse_tree.h"

Include dependency graph for statement_list_typecheck.h:

This graph shows which files directly or indirectly include this file:

Classes
class	statement_list_typecheckt
	Class for encapsulating the current state of the type check. More...

struct	statement_list_typecheckt::nesting_stack_entryt
	Every time branching occurs inside of a boolean expression string in STL, the current value of the RLO and OR bits are saved and put on a separate stack. More...

struct	statement_list_typecheckt::stl_label_locationt
	Holds information about the instruction and the nesting depth to which a label points. More...

struct	statement_list_typecheckt::stl_jump_locationt
	Holds information about the properties of a jump instruction. More...

Functions
bool	statement_list_typecheck (const statement_list_parse_treet &parse_tree, symbol_table_baset &symbol_table, const std::string &module, message_handlert &message_handler)
	Create a new statement_list_typecheckt object and perform a type check to fill the symbol table. More...

Detailed Description

Statement List Language Type Checking.

Function Documentation

bool statement_list_typecheck	(	const statement_list_parse_treet &	parse_tree,
		symbol_table_baset &	symbol_table,
		const std::string &	module,
		message_handlert &	message_handler
	)

Create a new statement_list_typecheckt object and perform a type check to fill the symbol table.

Parameters

	parse_tree	Parse tree generated by parsing a Statement List file.
[out]	symbol_table	Object that shall be filled by this function. If the symbol table is not empty when calling this function, its contents are merged with the new entries.
	module	Name of the file that has been parsed.
	message_handler	Used to provide debug information and error messages.