/
Check module

check_c_porting

procedure · 2 overloadsWindowsSource
check_c_porting :: (message: *Message, settings: C_Porting_Check_Settings)

Parameters

message: *Message
settings: C_Porting_Check_Settings
check_c_porting :: (
    tc: Typechecked(Code_Procedure_Body),
    settings: C_Porting_Check_Settings
)

Parameters

tc: Typechecked(Code_Procedure_Body)
settings: C_Porting_Check_Settings

See also

should_skipis_of_fixed_array_type