/*test case:test the reaction of the system called with
an activation of a task*/
static void test_error_instance6(void)
{
StatusType result_inst_1;
SCHEDULING_CHECK_INIT(12);
result_inst_1 = OSErrorGetServiceId();
SCHEDULING_CHECK_AND_EQUAL_INT_FIRST(12,OSServiceId_GetElapsedCounterValue , result_inst_1);
SCHEDULING_CHECK_AND_EQUAL_INT(12, INVALID_COUNTER , OSError_GetElapsedCounterValue_CounterID());
}
/*test case:test the reaction of the system called with
an activation of a task*/
static void test_error_instance4(void)
{
StatusType result_inst_1;
SCHEDULING_CHECK_INIT(8);
result_inst_1 = OSErrorGetServiceId();
SCHEDULING_CHECK_AND_EQUAL_INT_FIRST(8,OSServiceId_GetElapsedCounterValue , result_inst_1);
SCHEDULING_CHECK_AND_EQUAL_INT_FIRST(8, Software_Counter , OSError_GetElapsedCounterValue_CounterID());
SCHEDULING_CHECK_AND_EQUAL_INT_FIRST(8, (OSMAXALLOWEDVALUE_Software_Counter + 1) , (StatusType)(*OSError_GetElapsedCounterValue_value()));
SCHEDULING_CHECK_AND_EQUAL_INT(8, (OSMAXALLOWEDVALUE_Software_Counter + 1) , (StatusType)(*OSError_GetElapsedCounterValue_previous_value()));
}
/* Set global variables to the hook API call parameters. This is called from the
* error hook so that outside the error hook the test code can see what was passed
* through.
*
* $Req: artf1230 $
*/
void set_error_hook_parameters(OSServiceIdType service)
{
switch(service) {
case OSServiceId_NoServiceId:
break;
case OSServiceId_GetAlarm:
param_AlarmType = OSError_GetAlarm_AlarmID();
param1_TickRefType = OSError_GetAlarm_Tick();
break;
case OSServiceId_SetRelAlarm:
param_AlarmType = OSError_SetRelAlarm_AlarmID();
param1_TickType = OSError_SetRelAlarm_increment();
param2_TickType = OSError_SetRelAlarm_cycle();
break;
case OSServiceId_SetAbsAlarm:
param_AlarmType = OSError_SetAbsAlarm_AlarmID();
param1_TickType = OSError_SetAbsAlarm_start();
param2_TickType = OSError_SetAbsAlarm_cycle();
break;
case OSServiceId_CancelAlarm:
param_AlarmType = OSError_CancelAlarm_AlarmID();
break;
case OSServiceId_GetActiveApplicationMode:
param_AppModeType = OSError_StartOS_Mode();
break;
case OSServiceId_StartOS:
break;
case OSServiceId_ShutdownOS:
break;
case OSServiceId_ActivateTask:
param_TaskType = OSError_ActivateTask_TaskID();
break;
case OSServiceId_TerminateTask:
break;
case OSServiceId_ChainTask:
param_TaskType = OSError_ChainTask_TaskID();
break;
case OSServiceId_Schedule:
break;
case OSServiceId_GetTaskState:
param_TaskType = OSError_GetTaskState_TaskID();
param_TaskStateRefType = OSError_GetTaskState_State();
break;
case OSServiceId_GetResource:
param_ResourceType = OSError_GetResource_ResID();
break;
case OSServiceId_ReleaseResource:
param_ResourceType = OSError_ReleaseResource_ResID();
break;
case OSServiceId_SetEvent:
param_EventMaskType = OSError_SetEvent_Mask();
param_TaskType = OSError_SetEvent_TaskID();
break;
case OSServiceId_ClearEvent:
param_EventMaskType = OSError_ClearEvent_Mask();
break;
case OSServiceId_GetEvent:
param_TaskType = OSError_GetEvent_TaskID();
param_EventMaskRefType = OSError_GetEvent_Event();
break;
case OSServiceId_WaitEvent:
param_EventMaskType = OSError_WaitEvent_Mask();
break;
case OSServiceId_IncrementCounter:
param_CounterType = OSError_IncrementCounter_CounterID();
break;
case OSServiceId_ExpireCounter:
param_CounterType = OSError_ExpireCounter_CounterID();
break;
case OSServiceId_StartScheduleTableRel:
param1_ScheduleTableType = OSError_StartScheduleTableRel_ScheduleTableID();
param1_TickType = OSError_StartScheduleTableRel_Offset();
break;
case OSServiceId_StartScheduleTableAbs:
param1_ScheduleTableType = OSError_StartScheduleTableAbs_ScheduleTableID();
param1_TickType = OSError_StartScheduleTableAbs_Tickvalue();
break;
case OSServiceId_NextScheduleTable:
param1_ScheduleTableType = OSError_NextScheduleTable_ScheduleTableID_current();
param2_ScheduleTableType = OSError_NextScheduleTable_ScheduleTableID_next();
break;
case OSServiceId_StopScheduleTable:
param1_ScheduleTableType = OSError_StopScheduleTable_ScheduleTableID();
break;
case OSServiceId_GetScheduleTableStatus:
param1_ScheduleTableType = OSError_GetScheduleTableStatus_ScheduleID();
param_ScheduleTableStatusRefType = OSError_GetScheduleTableStatus_ScheduleStatus();
break;
case OSServiceId_GetAlarmBase:
param_AlarmType = OSError_GetAlarmBase_AlarmID();
param_AlarmBaseRefType = OSError_GetAlarmBase_Info();
break;
case OSServiceId_GetCounterValue:
param_CounterType = OSError_GetCounterValue_CounterID();
param1_TickRefType = OSError_GetCounterValue_Value();
case OSServiceId_GetElapsedCounterValue:
param_CounterType = OSError_GetElapsedCounterValue_CounterID();
param1_TickRefType = OSError_GetElapsedCounterValue_Value();
param2_TickRefType = OSError_GetElapsedCounterValue_ElapsedValue();
case OSServiceId_ControlDevice:
break;
}
}