Class: TRuby::LegacyTypeChecker

Inherits:

TypeChecker

• Object
• TypeChecker
• TRuby::LegacyTypeChecker

Defined in:

lib/t_ruby/type_checker.rb

Overview

Legacy TypeChecker without SMT (backward compatible)

Instance Attribute Summary

Attributes inherited from TypeChecker

#errors, #hierarchy, #inferencer, #smt_solver, #use_smt, #warnings

Instance Method Summary

• #initialize ⇒ LegacyTypeChecker constructor

  A new instance of LegacyTypeChecker.

Methods inherited from TypeChecker

#check_assignment, #check_call, #check_function, #check_function_legacy, #check_interface, #check_method_with_smt, #check_operator, #check_program, #check_program_legacy, #check_property_access, #check_return, #check_statement, #diagnostics, #infer_param_type, #known_type?, #narrow_in_conditional, #register_alias, #register_function, #reset, #resolve_type, #subtype_with_smt?, #to_smt_type, #validate_type

Constructor Details

#initialize ⇒ LegacyTypeChecker

Returns a new instance of LegacyTypeChecker.

# File 'lib/t_ruby/type_checker.rb', line 738

def initialize
  super(use_smt: false)
end