Module type_checker

Enums

• ExprTypeCheckResult
  The return result after performing types checking with implicit casting option
• TypeCheckResult
  The return result after performing types checking with implicit casting option

Functions

• are_types_equals
  Check if two expressions types are equals If not then check if one can be implicit casted to the other
• check_all_values_are_same_type
  Checks if all values has the same type If they have the same type, return it or return None
• check_function_call_arguments
  Check That function call arguments types are matches the parameter types Return a Diagnostic Error if anything is wrong
• is_expression_type_equals
  Check if expression type and data type are equals If not then check if one can be implicit casted to the other
• prefix_unary_expected_type
  Return the expected DataType depending on the prefix unary operator
• resolve_dynamic_data_type
  Resolve dynamic data type depending on the parameters and arguments types
• type_check_and_classify_selected_fields
  Check that all selected fields types are defined correctly in selected tables Return the columns classified for each table Return a Diagnostic Error if anything is wrong
• type_check_prefix_unary
  Type check the right hand side of prefix unary expression Return Equals, Error, or new expression after implicit casting
• type_check_projection_symbols
  Check that all projection columns are valid for this table name Return a Diagnostic Error if anything is wrong
• type_mismatch_error
  Return a Diagnostic with common type mismatch error message