Commit a2a23372 authored by kovacsa's avatar kovacsa
Browse files

TODO fixes

parent 5abb5f01

05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040103_parameters_of_kind_timer/Sem_05040103_parameters_of_kind_timer_001.ttcn

+0 −1
Original line number Diff line number Diff line
@@ -25,7 +25,6 @@ type component GeneralComp { 
  port TestPort generalPort;

  port TestPort otherport;

}	

// TODO check if generalPort should be visible in this scope

function f_parametrizationCheck (

  MyRecord ExpectedMatch,

  timer p_timer,

05_basic_language_elements/0504_parametrization/050401_formal_parameters/05040104_parameters_of_kind_port/Sem_05040104_parameters_of_kind_port_001.ttcn

+0 −1
Original line number Diff line number Diff line
@@ -26,7 +26,6 @@ type component GeneralComp { 
  port TestPort otherPort;

}	



// TODO check if generalPort is a valid value in this scope

function f_parametrizationCheck (

  MyRecord ExpectedMatch,

  timer p_timer,