Class: AdLint::Exam::CBuiltin::W0627

Inherits:
PassiveCodeCheck show all
Defined in:
lib/adlint/exam/c_builtin/cc1_check.rb

Instance Method Summary collapse

Methods inherited from CodeCheck

message_id, message_name, #message_name, must_be_deferred?, must_be_unique?, required?

Methods inherited from AdLint::Examination

catalog, #execute, registrant_phase_class, required?

Methods included from LogUtil

#log_debug, #log_error, #log_fatal, #log_info, #log_warn

Methods included from ReportUtil

#create_context_message, #write_FL_FUNC, #write_FL_STMT, #write_FN_CALL, #write_FN_CSUB, #write_FN_CYCM, #write_FN_GOTO, #write_FN_LINE, #write_FN_NEST, #write_FN_PARA, #write_FN_PATH, #write_FN_RETN, #write_FN_STMT, #write_FN_UELS, #write_FN_UNRC, #write_FN_UNUV, #write_assignment, #write_error_message, #write_funcall, #write_fundcl, #write_fundef, #write_gvardcl, #write_include, #write_initialization, #write_labeldef, #write_literal, #write_macrodef, #write_pp_directive, #write_typedcl, #write_vardef, #write_warning_message, #write_xref_function, #write_xref_variable

Constructor Details

#initialize(phase_ctxt) ⇒ W0627

Returns a new instance of W0627.



14737
14738
14739
14740
14741
14742
14743
14744
14745
14746
14747
14748
14749
14750
14751
14752
14753
14754
14755
14756
 
# File 'lib/adlint/exam/c_builtin/cc1_check.rb', line 14737

def initialize(phase_ctxt)
  super
  trav = phase_ctxt[:cc1_ast_traversal]
  trav.enter_compound_statement   += T(:enter_block)
  trav.leave_compound_statement   += T(:leave_block)
  trav.enter_expression_statement += T(:enter_expression_statement)
  trav.enter_if_statement         += T(:update_last_statement)
  trav.enter_if_else_statement    += T(:update_last_statement)
  trav.enter_switch_statement     += T(:update_last_statement)
  trav.enter_while_statement      += T(:update_last_statement)
  trav.enter_do_statement         += T(:update_last_statement)
  trav.enter_for_statement        += T(:enter_for_statement)
  trav.enter_c99_for_statement    += T(:enter_for_statement)
  trav.enter_goto_statement       += T(:update_last_statement)
  trav.enter_continue_statement   += T(:update_last_statement)
  trav.enter_break_statement      += T(:update_last_statement)
  trav.enter_return_statement     += T(:update_last_statement)
  @lst_stmts = []
  @expected_stmts = Set.new
end