cprover
|
Class for encapsulating the current state of the type check. More...
#include <statement_list_typecheck.h>
Classes | |
struct | 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... | |
Public Member Functions | |
statement_list_typecheckt (const statement_list_parse_treet &parse_tree, symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler) | |
Creates a new instance of statement_list_typecheckt. More... | |
void | typecheck () override |
Performs the actual typecheck by using the parse tree with which the object was initialized and modifies the referenced symbol table. More... | |
![]() | |
typecheckt (message_handlert &_message_handler) | |
virtual | ~typecheckt () |
virtual bool | typecheck_main () |
Private Types | |
using | nesting_stackt = std::vector< nesting_stack_entryt > |
Private Member Functions | |
void | typecheck_function_declaration (const statement_list_parse_treet::functiont &function) |
Performs a typecheck on a function declaration inside of the parse tree and adds symbols for it and its parameters to the symbol table. More... | |
void | typecheck_function_block_declaration (const statement_list_parse_treet::function_blockt &function_block) |
Performs a typecheck on a function block declaration inside of the parse tree and adds symbols for it and its parameters to the symbol table. More... | |
void | typecheck_tag_list () |
Performs a typecheck on the tag list of the referenced parse tree and adds symbols for its contents to the symbol table. More... | |
void | add_temp_rlo () |
Adds a symbol for the RLO to the symbol table. More... | |
struct_typet | create_instance_data_block_type (const statement_list_parse_treet::function_blockt &function_block) |
Creates a data block type for the given function block. More... | |
void | typecheck_function_block_var_decls (const statement_list_parse_treet::var_declarationst &var_decls, struct_union_typet::componentst &components, const irep_idt &var_property) |
Performs a typecheck on a variable declaration list and saves the result to the given component element. More... | |
void | typecheck_function_var_decls (const statement_list_parse_treet::var_declarationst &var_decls, code_typet::parameterst ¶ms, const irep_idt &function_name, const irep_idt &var_property) |
Performs a typecheck on a variable declaration list and saves the result to the given component element. More... | |
void | typecheck_temp_var_decls (const statement_list_parse_treet::tia_modulet &tia_module, symbolt &tia_symbol) |
Performs a typecheck on the temp variables of a TIA module and saves the result to the given symbol value. More... | |
void | typecheck_statement_list_networks (const statement_list_parse_treet::tia_modulet &tia_module, symbolt &tia_symbol) |
Performs a typecheck on the networks of a TIA module and saves the result to the given symbol. More... | |
void | typecheck_statement_list_instruction (const statement_list_parse_treet::instructiont &instruction, symbolt &tia_element) |
Performs a typecheck on a single instruction and saves the result to the given symbol body if necessary. More... | |
void | typecheck_statement_list_load (const codet &op_code, const symbolt &tia_element) |
Performs a typecheck on a STL load instruction. More... | |
void | typecheck_statement_list_transfer (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a STL transfer instruction and saves the result to the given symbol. More... | |
void | typecheck_statement_list_accu_int_add (const codet &op_code) |
Performs a typecheck on a STL accumulator add instruction for integers. More... | |
void | typecheck_statement_list_accu_int_sub (const codet &op_code) |
Performs a typecheck on a STL accumulator subtract instruction for integers. More... | |
void | typecheck_statement_list_accu_int_div (const codet &op_code) |
Performs a typecheck on a STL accumulator divide instruction for integers. More... | |
void | typecheck_statement_list_accu_int_mul (const codet &op_code) |
Performs a typecheck on a STL accumulator multiply instruction for integers. More... | |
void | typecheck_statement_list_accu_int_eq (const codet &op_code) |
Performs a typecheck on a STL accumulator equality comparison instruction for integers. More... | |
void | typecheck_statement_list_accu_int_neq (const codet &op_code) |
Performs a typecheck on a STL accumulator inequality comparison instruction for integers. More... | |
void | typecheck_statement_list_accu_int_gt (const codet &op_code) |
Performs a typecheck on a STL accumulator greater than comparison instruction for integers. More... | |
void | typecheck_statement_list_accu_int_lt (const codet &op_code) |
Performs a typecheck on a STL accumulator less than comparison instruction for integers. More... | |
void | typecheck_statement_list_accu_int_gte (const codet &op_code) |
Performs a typecheck on a STL accumulator greater than or equal comparison instruction for integers. More... | |
void | typecheck_statement_list_accu_int_lte (const codet &op_code) |
Performs a typecheck on a STL accumulator less than or equal comparison instruction for integers. More... | |
void | typecheck_statement_list_accu_dint_add (const codet &op_code) |
Performs a typecheck on a STL accumulator add instruction for double integers. More... | |
void | typecheck_statement_list_accu_dint_sub (const codet &op_code) |
Performs a typecheck on a STL accumulator subtract instruction for double integers. More... | |
void | typecheck_statement_list_accu_dint_div (const codet &op_code) |
Performs a typecheck on a STL accumulator divide instruction for double integers. More... | |
void | typecheck_statement_list_accu_dint_mul (const codet &op_code) |
Performs a typecheck on a STL accumulator divide instruction for double integers. More... | |
void | typecheck_statement_list_accu_dint_eq (const codet &op_code) |
Performs a typecheck on a STL accumulator equality comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_dint_neq (const codet &op_code) |
Performs a typecheck on a STL accumulator inequality comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_dint_gt (const codet &op_code) |
Performs a typecheck on a STL accumulator greater than comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_dint_lt (const codet &op_code) |
Performs a typecheck on a STL accumulator less than comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_dint_gte (const codet &op_code) |
Performs a typecheck on a STL accumulator greater than or equal comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_dint_lte (const codet &op_code) |
Performs a typecheck on a STL accumulator less than or equal comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_real_add (const codet &op_code) |
Performs a typecheck on a STL accumulator add instruction for reals. More... | |
void | typecheck_statement_list_accu_real_sub (const codet &op_code) |
Performs a typecheck on a STL accumulator subtract instruction for reals. More... | |
void | typecheck_statement_list_accu_real_div (const codet &op_code) |
Performs a typecheck on a STL accumulator divide instruction for reals. More... | |
void | typecheck_statement_list_accu_real_mul (const codet &op_code) |
Performs a typecheck on a STL accumulator multiply instruction for reals. More... | |
void | typecheck_statement_list_accu_real_eq (const codet &op_code) |
Performs a typecheck on a STL accumulator equality comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_real_neq (const codet &op_code) |
Performs a typecheck on a STL accumulator inequality comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_real_gt (const codet &op_code) |
Performs a typecheck on a STL accumulator greater than comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_real_lt (const codet &op_code) |
Performs a typecheck on a STL accumulator less than comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_real_gte (const codet &op_code) |
Performs a typecheck on a STL accumulator greater than or equal comparison instruction for double integers. More... | |
void | typecheck_statement_list_accu_real_lte (const codet &op_code) |
Performs a typecheck on a STL accumulator less than or equal comparison instruction for integers. More... | |
void | typecheck_statement_list_not (const codet &op_code) |
Performs a typecheck on a STL boolean NOT instruction. More... | |
void | typecheck_statement_list_and (const codet &op_code, const symbolt &tia_element) |
Performs a typecheck on a STL boolean And instruction. More... | |
void | typecheck_statement_list_or (const codet &op_code, const symbolt &tia_element) |
Performs a typecheck on a STL boolean Or instruction. More... | |
void | typecheck_statement_list_xor (const codet &op_code, const symbolt &tia_element) |
Performs a typecheck on a STL boolean XOR instruction. More... | |
void | typecheck_statement_list_and_not (const codet &op_code, const symbolt &tia_element) |
Performs a typecheck on a STL boolean And Not instruction. More... | |
void | typecheck_statement_list_or_not (const codet &op_code, const symbolt &tia_element) |
Performs a typecheck on a STL boolean Or Not instruction. More... | |
void | typecheck_statement_list_xor_not (const codet &op_code, const symbolt &tia_element) |
Performs a typecheck on a STL boolean XOR Not instruction. More... | |
void | typecheck_statement_list_and_before_or () |
Performs a typecheck on a STL operand-less Or instruction. More... | |
void | typecheck_statement_list_nested_and (const codet &op_code) |
Performs a typecheck on a nested And instruction. More... | |
void | typecheck_statement_list_nested_or (const codet &op_code) |
Performs a typecheck on a nested Or instruction. More... | |
void | typecheck_statement_list_nested_xor (const codet &op_code) |
Performs a typecheck on a nested XOR instruction. More... | |
void | typecheck_statement_list_nested_and_not (const codet &op_code) |
Performs a typecheck on a nested And Not instruction. More... | |
void | typecheck_statement_list_nested_or_not (const codet &op_code) |
Performs a typecheck on a nested Or Not instruction. More... | |
void | typecheck_statement_list_nested_xor_not (const codet &op_code) |
Performs a typecheck on a nested XOR Not instruction. More... | |
void | typecheck_statement_list_nesting_closed (const codet &op_code) |
Performs a typecheck on a Nesting Closed instruction. More... | |
void | typecheck_statement_list_assign (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a STL assign instruction and saves the result to the given symbol. More... | |
void | typecheck_statement_list_set_rlo (const codet &op_code) |
Performs a typecheck on a STL 'SET' instruction and modifies the RLO, OR and FC bit. More... | |
void | typecheck_statement_list_clr_rlo (const codet &op_code) |
Performs a typecheck on a STL 'CLR' instruction and modifies the RLO, OR and FC bit. More... | |
void | typecheck_statement_list_set (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a STL 'S' instruction and saves the result to the given symbol. More... | |
void | typecheck_statement_list_reset (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a STL 'R' instruction and saves the result to the given symbol. More... | |
void | typecheck_statement_list_call (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a STL Call instruction and saves the result to the given symbol. More... | |
void | typecheck_statement_list_accu_int_arith (const codet &op_code) |
Performs a typecheck on a STL Accumulator instruction for integers. More... | |
void | typecheck_statement_list_accu_dint_arith (const codet &op_code) |
Performs a typecheck on a STL Accumulator instruction for double integers. More... | |
void | typecheck_statement_list_accu_real_arith (const codet &op_code) |
Performs a typecheck on a STL Accumulator instruction for reals. More... | |
const symbol_exprt & | typecheck_instruction_with_non_const_operand (const codet &op_code) |
Performs a typecheck on a STL instruction with an additional operand that should be no constant. More... | |
void | typecheck_instruction_without_operand (const codet &op_code) |
Performs a typecheck on an operand-less STL instruction. More... | |
void | typecheck_binary_accumulator_instruction (const codet &op_code) |
Performs a typecheck on a STL instruction that uses two accumulator entries. More... | |
void | typecheck_nested_boolean_instruction (const codet &op_code, const exprt &rlo_value) |
Performs a typecheck on a STL instruction that initializes a new boolean nesting. More... | |
exprt | typecheck_simple_boolean_instruction_operand (const codet &op_code, const symbolt &tia_element, bool negate) |
Performs a typecheck on the operand of a not nested boolean instruction and returns the result. More... | |
void | typecheck_accumulator_compare_instruction (const irep_idt &comparison) |
Performs a typecheck on an STL comparison instruction. More... | |
exprt | typecheck_identifier (const symbolt &tia_element, const irep_idt &identifier) |
Performs a typecheck on the given identifier and returns its symbol. More... | |
void | typecheck_CPROVER_assert (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a call of __CPOVER_ASSERT and saves the result to the given symbol. More... | |
void | typecheck_CPROVER_assume (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a call of __CPOVER_ASSUME and saves the result to the given symbol. More... | |
void | typecheck_called_tia_element (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a call of a TIA element and saves the result to the given symbol. More... | |
void | typecheck_called_function (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a call of a TIA function and saves the result to the given symbol. More... | |
void | typecheck_called_function_block (const codet &op_code, symbolt &tia_element) |
Performs a typecheck on a call of a TIA function block and saves the result to the given symbol. More... | |
exprt | typecheck_function_call_arguments (const std::vector< equal_exprt > &assignments, const code_typet::parametert ¶m, const symbolt &tia_element) |
Checks if the given parameter is inside of the assignment list of a function call and returns the expression of the assigned variable. More... | |
exprt | typecheck_function_call_argument_rhs (const symbolt &tia_element, const exprt &rhs) |
Checks if the given assigned expression is a variable or a constant and returns the typechecked version. More... | |
exprt | typecheck_return_value_assignment (const std::vector< equal_exprt > &assignments, const typet &return_type, const symbolt &tia_element) |
Checks if there is a return value assignment inside of the assignment list of a function call and returns the expression of the assigned variable. More... | |
void | add_to_or_rlo_wrapper (const exprt &op) |
Adds the given expression to the operands of the Or expression that is saved in the RLO. More... | |
void | initialize_bit_expression (const exprt &op) |
Initializes the FC, RLO an OR bits for the scenario when a new boolean instruction was encontered. More... | |
void | save_rlo_state (symbolt &tia_element) |
Saves the current RLO bit to a temporary variable to prevent false overrides when modifying boolean variables. More... | |
Private Attributes | |
const statement_list_parse_treet & | parse_tree |
Parse tree which is used to fill the symbol table. More... | |
symbol_tablet & | symbol_table |
Reference to the symbol table that should be filled during the typecheck. More... | |
const irep_idt | module |
Name of the module this typecheck belongs to. More... | |
std::vector< exprt > | accumulator |
Representation of the accumulator of a TIA element. More... | |
exprt | rlo_bit = true_exprt() |
Result of Logic Operation (Part of the TIA status word). More... | |
bool | fc_bit = false |
First Check (Part of the TIA status word). More... | |
bool | or_bit = false |
Or (Part of the TIA status word). More... | |
nesting_stackt | nesting_stack |
Representation of the nesting stack. More... | |
Additional Inherited Members |
Class for encapsulating the current state of the type check.
Definition at line 37 of file statement_list_typecheck.h.
|
private |
Definition at line 108 of file statement_list_typecheck.h.
statement_list_typecheckt::statement_list_typecheckt | ( | const statement_list_parse_treet & | parse_tree, |
symbol_tablet & | symbol_table, | ||
const std::string & | module, | ||
message_handlert & | message_handler | ||
) |
Creates a new instance of statement_list_typecheckt.
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. |
Definition at line 79 of file statement_list_typecheck.cpp.
|
private |
Adds a symbol for the RLO to the symbol table.
This symbol is used by other operations to save intermediate results of the rlo expression.
Definition at line 206 of file statement_list_typecheck.cpp.
|
private |
Adds the given expression to the operands of the Or expression that is saved in the RLO.
op | Operand to be added to the Or instruction. |
Definition at line 1501 of file statement_list_typecheck.cpp.
|
private |
Creates a data block type for the given function block.
function_block | Function block with an interface that should be converted to a data block. |
Definition at line 219 of file statement_list_typecheck.cpp.
|
private |
Initializes the FC, RLO an OR bits for the scenario when a new boolean instruction was encontered.
op | Operand of the encountered instruction. |
Definition at line 1521 of file statement_list_typecheck.cpp.
|
private |
Saves the current RLO bit to a temporary variable to prevent false overrides when modifying boolean variables.
tia_element | Symbol representation of the TIA element. |
Definition at line 1528 of file statement_list_typecheck.cpp.
|
overridevirtual |
Performs the actual typecheck by using the parse tree with which the object was initialized and modifies the referenced symbol table.
Implements typecheckt.
Definition at line 91 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on an STL comparison instruction.
Modifies the RLO.
comparison | ID of the compare expression that should be pushed to the RLO. |
Definition at line 1176 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL instruction that uses two accumulator entries.
op_code | OP code of the instruction. |
Definition at line 1210 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a call of a TIA function and saves the result to the given symbol.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 1371 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a call of a TIA function block and saves the result to the given symbol.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 1415 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a call of a TIA element and saves the result to the given symbol.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 1349 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a call of __CPOVER_ASSERT and saves the result to the given symbol.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 1311 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a call of __CPOVER_ASSUME and saves the result to the given symbol.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 1330 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a function block declaration inside of the parse tree and adds symbols for it and its parameters to the symbol table.
function_block | Function block to be checked. |
Definition at line 118 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a variable declaration list and saves the result to the given component element.
var_decls | List of declarations which should be typechecked. | |
[out] | components | List of typechecked and converted declarations. |
var_property | Type of variable declaration list (for example input, output, ...). |
Definition at line 235 of file statement_list_typecheck.cpp.
|
private |
Checks if the given assigned expression is a variable or a constant and returns the typechecked version.
tia_element | Symbol representation of the TIA element. |
rhs | Expression that the function parameter got assigned to. |
Definition at line 1458 of file statement_list_typecheck.cpp.
|
private |
Checks if the given parameter is inside of the assignment list of a function call and returns the expression of the assigned variable.
assignments | Assignment list of the function call. |
param | Parameter that should be checked. |
tia_element | Symbol representation of the TIA element. |
Definition at line 1427 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a function declaration inside of the parse tree and adds symbols for it and its parameters to the symbol table.
function | Function to be checked. |
Definition at line 167 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a variable declaration list and saves the result to the given component element.
var_decls | List of declarations which should be typechecked. | |
[out] | params | List of typechecked and converted declarations. |
function_name | Function to which the variable list belongs (used for naming). | |
var_property | Type of variable declaration list (for example input, output, ...). |
Definition at line 251 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on the given identifier and returns its symbol.
identifier | Identifier that should be checked. |
tia_element | Symbol representation of the current TIA module. |
Definition at line 1249 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL instruction with an additional operand that should be no constant.
op_code | OP code of the instruction. |
Definition at line 1187 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on an operand-less STL instruction.
op_code | OP code of the instruction. |
Definition at line 1200 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL instruction that initializes a new boolean nesting.
op_code | OP code of the instruction. |
rlo_value | Value of the RLO that is pushed on the nesting stack for the case that this is the first instruction of a new bit string. |
Definition at line 1221 of file statement_list_typecheck.cpp.
|
private |
Checks if there is a return value assignment inside of the assignment list of a function call and returns the expression of the assigned variable.
assignments | Assignment list of the function call. |
return_type | Type of the return value. |
tia_element | Symbol representation of the TIA element. |
Definition at line 1473 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on the operand of a not nested boolean instruction and returns the result.
op_code | OP code of the instruction. |
tia_element | Symbol representation of the TIA element. |
negate | Whether the operand should be negated (e.g. for the AND NOT expression). |
Definition at line 1237 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator add instruction for double integers.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 572 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL Accumulator instruction for double integers.
op_code | OP code of the instruction. |
Definition at line 1138 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator divide instruction for double integers.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 611 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator equality comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 624 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator greater than comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 645 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator greater than or equal comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 659 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator less than comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 638 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator less than or equal comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 652 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator divide instruction for double integers.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 598 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator inequality comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 631 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator subtract instruction for double integers.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 585 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator add instruction for integers.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 478 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL Accumulator instruction for integers.
op_code | OP code of the instruction. |
Definition at line 1117 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator divide instruction for integers.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 517 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator equality comparison instruction for integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 530 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator greater than comparison instruction for integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 551 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator greater than or equal comparison instruction for integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 565 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator less than comparison instruction for integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 544 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator less than or equal comparison instruction for integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 558 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator multiply instruction for integers.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 504 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator inequality comparison instruction for integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 537 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator subtract instruction for integers.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 491 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator add instruction for reals.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 666 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL Accumulator instruction for reals.
op_code | OP code of the instruction. |
Definition at line 1160 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator divide instruction for reals.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 705 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator equality comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 718 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator greater than comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 739 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator greater than or equal comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 753 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator less than comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 732 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator less than or equal comparison instruction for integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 746 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator multiply instruction for reals.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 692 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator inequality comparison instruction for double integers.
Modifies the RLO.
op_code | OP code of the instruction. |
Definition at line 725 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL accumulator subtract instruction for reals.
Modifies the accumulator.
op_code | OP code of the instruction. |
Definition at line 679 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL boolean And instruction.
Reads and modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. |
tia_element | Symbol representation of the TIA element. |
Definition at line 774 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL operand-less Or instruction.
Reads and modifies the RLO, OR and FC bit.
Definition at line 905 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL boolean And Not instruction.
Reads and modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. |
tia_element | Symbol representation of the TIA element. |
Definition at line 796 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL assign instruction and saves the result to the given symbol.
Modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 1023 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL Call instruction and saves the result to the given symbol.
Modifies the OR and FC bit.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 1096 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL 'CLR' instruction and modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. |
Definition at line 1053 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a single instruction and saves the result to the given symbol body if necessary.
instruction | Instruction that should be checked. | |
[out] | tia_element | Symbol representation of the TIA module. |
Definition at line 321 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL load instruction.
Modifies the accumulator.
op_code | OP code of the instruction. |
tia_element | Symbol representation of the TIA element. |
Definition at line 442 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a nested And instruction.
Pushes the current program state to the nesting stack and cleans the RLO, OR and FC bit.
op_code | OP code of the instruction. |
Definition at line 916 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a nested And Not instruction.
Pushes the current program state to the nesting stack and cleans the RLO, OR and FC bit.
op_code | OP code of the instruction. |
Definition at line 924 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a nested Or instruction.
Pushes the current program state to the nesting stack and cleans the RLO, OR and FC bit.
op_code | OP code of the instruction. |
Definition at line 932 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a nested Or Not instruction.
Pushes the current program state to the nesting stack and cleans the RLO, OR and FC bit.
op_code | OP code of the instruction. |
Definition at line 940 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a nested XOR instruction.
Pushes the current program state to the nesting stack and cleans the RLO, OR and FC bit.
op_code | OP code of the instruction. |
Definition at line 948 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a nested XOR Not instruction.
Pushes the current program state to the nesting stack and cleans the RLO, OR and FC bit.
op_code | OP code of the instruction. |
Definition at line 956 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a Nesting Closed instruction.
Uses the latest entry on the nesting stack and modifies the RLO, OR and FC bit according to the instruction that started the nesting.
op_code | OP code of the instruction. |
Definition at line 964 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on the networks of a TIA module and saves the result to the given symbol.
tia_module | Module containing the networks that shall be checked. | |
[out] | tia_symbol | Symbol representation of the given TIA module. |
Definition at line 300 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL boolean NOT instruction.
Reads and modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. |
Definition at line 760 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL boolean Or instruction.
Reads and modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. |
tia_element | Symbol representation of the TIA element. |
Definition at line 818 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL boolean Or Not instruction.
Reads and modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. |
tia_element | Symbol representation of the TIA element. |
Definition at line 843 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL 'R' instruction and saves the result to the given symbol.
Modifies the OR and FC bit.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 1079 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL 'S' instruction and saves the result to the given symbol.
Modifies the OR and FC bit.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 1062 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL 'SET' instruction and modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. |
Definition at line 1044 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL transfer instruction and saves the result to the given symbol.
Modifies the accumulator.
op_code | OP code of the instruction. | |
[out] | tia_element | Symbol representation of the TIA element. |
Definition at line 463 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL boolean XOR instruction.
Reads and modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. |
tia_element | Symbol representation of the TIA element. |
Definition at line 864 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on a STL boolean XOR Not instruction.
Reads and modifies the RLO, OR and FC bit.
op_code | OP code of the instruction. |
tia_element | Symbol representation of the TIA element. |
Definition at line 884 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on the tag list of the referenced parse tree and adds symbols for its contents to the symbol table.
Definition at line 190 of file statement_list_typecheck.cpp.
|
private |
Performs a typecheck on the temp variables of a TIA module and saves the result to the given symbol value.
tia_module | Element whose temp declarations should be checked. | |
[out] | tia_symbol | Symbol representation of the TIA module. |
Definition at line 278 of file statement_list_typecheck.cpp.
|
private |
Representation of the accumulator of a TIA element.
Definition at line 73 of file statement_list_typecheck.h.
|
private |
First Check (Part of the TIA status word).
Gets set every time a boolean instruction is encountered and is set to false once the boolean expression as a whole is terminated (either by an assignment or other instructions).
Definition at line 84 of file statement_list_typecheck.h.
|
private |
Name of the module this typecheck belongs to.
Definition at line 66 of file statement_list_typecheck.h.
|
private |
Representation of the nesting stack.
Values are pushed once branching occurs and popped upon returning.
Definition at line 112 of file statement_list_typecheck.h.
|
private |
Or (Part of the TIA status word).
Helps to track all And instructions that follow an operand-less Or instruction (The so called 'And before Or').
Definition at line 89 of file statement_list_typecheck.h.
|
private |
Parse tree which is used to fill the symbol table.
Definition at line 60 of file statement_list_typecheck.h.
|
private |
Result of Logic Operation (Part of the TIA status word).
Holds the current boolean expression of the active network and is read and modified by boolean instructions.
Definition at line 78 of file statement_list_typecheck.h.
|
private |
Reference to the symbol table that should be filled during the typecheck.
Definition at line 63 of file statement_list_typecheck.h.