during execution of the protocol
Initial Comment Input xExecute
BOOL ; END_VAR dut.xExecute [...] from Input xExecute BOOL
AttributeSingle ( xExecute := , [...] from Input xExecute BOOL
AssignMonitoringProvider abstrExecute [...] AssignMonitoringProvider (Method) abstrExecute
execution of function [...] Execution of function