📄 tpc9_sfun_debug_macros.h
字号:
#ifndef __SF_DEBUG_MACROS_H__
#define __SF_DEBUG_MACROS_H__
#define _SFD_MACHINE_CALL(v1,v2,v3) sf_debug_call(_tpc9MachineNumber_,UNREASONABLE_NUMBER,UNREASONABLE_NUMBER,MACHINE_OBJECT,v1,v2,v3,(unsigned int) _sfEvent_,-1,NULL,_sfTime_,1)
#define _SFD_ME_CALL(v2,v3) _SFD_MACHINE_CALL(EVENT_OBJECT,v2,v3)
#define _SFD_MD_CALL(v2,v3) _SFD_MACHINE_CALL(EVENT_OBJECT,v2,v3)
extern unsigned int _tpc9MachineNumber_;
#define _SFD_SET_DATA_VALUE_PTR(v1,v2)\
sf_debug_set_instance_data_value_ptr(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,CHARTINSTANCE_INSTANCENUMBER,v1,(void *)(v2));
#define _SFD_UNSET_DATA_VALUE_PTR(v1)\
sf_debug_unset_instance_data_value_ptr(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,CHARTINSTANCE_INSTANCENUMBER,v1);
#define _SFD_DATA_RANGE_CHECK_MIN_MAX(dVal,dNum,dMin,dMax)\
sf_debug_data_range_error_wrapper_min_max(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
dNum,(double)(dVal),(double)dMin,(double)dMax)
#define _SFD_DATA_RANGE_CHECK_MIN(dVal,dNum,dMin)\
sf_debug_data_range_error_wrapper_min(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
dNum,(double)(dVal),(double)dMin)
#define _SFD_DATA_RANGE_CHECK_MAX(dVal,dNum,dMax)\
sf_debug_data_range_error_wrapper_max(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
dNum,(double)(dVal),(double)dMax)
#define _SFD_ARRAY_BOUNDS_CHECK(v1,v2,v3,v4,v5) \
sf_debug_data_array_bounds_error_check(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),(v2),(v3),(v4),(v5))
#define _SFD_CAST_TO_UINT8(v1) \
sf_debug_cast_to_uint8_T(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),0,0)
#define _SFD_CAST_TO_UINT16(v1) \
sf_debug_cast_to_uint16_T(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),0,0)
#define _SFD_CAST_TO_UINT32(v1) \
sf_debug_cast_to_uint32_T(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),0,0)
#define _SFD_CAST_TO_INT8(v1) \
sf_debug_cast_to_int8_T(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),0,0)
#define _SFD_CAST_TO_INT16(v1) \
sf_debug_cast_to_int16_T(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),0,0)
#define _SFD_CAST_TO_INT32(v1) \
sf_debug_cast_to_int32_T(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),0,0)
#define _SFD_CAST_TO_SINGLE(v1) \
sf_debug_cast_to_real32_T(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),0,0)
#define _SFD_TRANSITION_CONFLICT(v1,v2) sf_debug_transition_conflict_error(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
v1,v2)
#define _SFD_CHART_CALL(v1,v2,v3) sf_debug_call(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
CHART_OBJECT,v1,v2,v3,(unsigned int)_sfEvent_,\
0,NULL,_sfTime_,1)
#define _SFD_CC_CALL(v2,v3) _SFD_CHART_CALL(CHART_OBJECT,v2,v3)
#define _SFD_CS_CALL(v2,v3) _SFD_CHART_CALL(STATE_OBJECT,v2,v3)
#define _SFD_CT_CALL(v2,v3) _SFD_CHART_CALL(TRANSITION_OBJECT,v2,v3)
#define _SFD_CE_CALL(v2,v3) _SFD_CHART_CALL(EVENT_OBJECT,v2,v3)
#define _SFD_CD_CALL(v2,v3) _SFD_CHART_CALL(EVENT_OBJECT,v2,v3)
#define _SFD_CHART_COVERAGE_CALL(v1,v2,v3,v4) sf_debug_call(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
CHART_OBJECT,v1,v2,v3,(unsigned int) _sfEvent_,\
v4,NULL,_sfTime_,1)
#define _SFD_CCS_CALL(v2,v3,v4) _SFD_CHART_COVERAGE_CALL(STATE_OBJECT,v2,v3,v4)
#define _SFD_CCT_CALL(v2,v3,v4) _SFD_CHART_COVERAGE_CALL(TRANSITION_OBJECT,v2,v3,v4)
#define _SFD_CCP_CALL(v3,v4,v5) sf_debug_call(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
CHART_OBJECT,TRANSITION_OBJECT,TRANSITION_GUARD_COVERAGE_TAG,v3,(unsigned int) _sfEvent_,\
v4,NULL,_sfTime_,(unsigned int)(v5))
#define _SFD_STATE_TEMPORAL_THRESHOLD(v1,v2,v4) sf_debug_temporal_threshold(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(unsigned int)(v1),(v2),STATE_OBJECT,(v4))
#define _SFD_TRANS_TEMPORAL_THRESHOLD(v1,v2,v4) sf_debug_temporal_threshold(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(unsigned int)(v1),(v2),TRANSITION_OBJECT,(v4))
#define CV_EVAL(v1,v2,v3,v4) cv_eval_point(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),(v2),(v3),(boolean_T)(v4))
#define CV_CHART_EVAL(v2,v3,v4) CV_EVAL(CHART_OBJECT,(v2),(v3),(v4))
#define CV_STATE_EVAL(v2,v3,v4) CV_EVAL(STATE_OBJECT,(v2),(v3),(v4))
#define CV_TRANSITION_EVAL(v1,v2) cv_eval_point(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
TRANSITION_OBJECT,(v1),0,(boolean_T)(v2))
#define _SFD_SET_DATA_PROPS(dataNumber,dataScope,isInputData,isOutputData,dataType,numDims,dimArray,isFixedPoint,bias,slope,exponent)\
sf_debug_set_chart_data_props(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,\
(dataNumber),(dataScope),(isInputData),(isOutputData),\
(dataType),(numDims),(dimArray),(isFixedPoint),(bias),(slope),(exponent))
#define _SFD_STATE_INFO(v1,v2,v3)\
sf_debug_set_chart_state_info(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,(v1),(v2),(v3))
#define _SFD_CH_SUBSTATE_INDEX(v1,v2)\
sf_debug_set_chart_substate_index(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,(v1),(v2))
#define _SFD_ST_SUBSTATE_INDEX(v1,v2,v3)\
sf_debug_set_chart_state_substate_index(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,(v1),(v2),(v3))
#define _SFD_ST_SUBSTATE_COUNT(v1,v2)\
sf_debug_set_chart_state_substate_count(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,(v1),(v2))
#define _SFD_STATE_COV_WTS(v1,v2,v3,v4)\
sf_debug_set_instance_state_coverage_weights(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,CHARTINSTANCE_INSTANCENUMBER,(v1),(v2),(v3),(v4))
#define _SFD_STATE_COV_MAPS(v1,v2,v3,v4,v5,v6,v7,v8,v9,v10) \
sf_debug_set_chart_state_coverage_maps(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,\
(v1),(v2),(v3),(v4),(v5),(v6),(v7),(v8),(v9),(v10))
#define _SFD_TRANS_COV_WTS(v1,v2,v3,v4,v5) \
sf_debug_set_instance_transition_coverage_weights(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,CHARTINSTANCE_INSTANCENUMBER,\
(v1),(v2),(v3),(v4),(v5))
#define _SFD_TRANS_COV_MAPS(v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13) \
sf_debug_set_chart_transition_coverage_maps(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,\
(v1),\
(v2),(v3),(v4),\
(v5),(v6),(v7),\
(v8),(v9),(v10),\
(v11),(v12),(v13))
#define _SFD_DATA_CHANGE_EVENT_COUNT(v1,v2) \
sf_debug_set_number_of_data_with_change_event_for_chart(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,\
(v1),(v2))
#define _SFD_STATE_ENTRY_EVENT_COUNT(v1,v2) \
sf_debug_set_number_of_states_with_entry_event_for_chart(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,\
(v1),(v2))
#define _SFD_STATE_EXIT_EVENT_COUNT(v1,v2) \
sf_debug_set_number_of_states_with_exit_event_for_chart(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,\
(v1),(v2))
#define _SFD_EVENT_SCOPE(v1,v2)\
sf_debug_set_chart_event_scope(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,(v1),(v2))
#define _SFD_CH_SUBSTATE_COUNT(v1) \
sf_debug_set_chart_substate_count(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,(v1))
#define _SFD_CH_SUBSTATE_DECOMP(v1) \
sf_debug_set_chart_decomposition(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,(v1))
#define _SFD_CV_INIT_CHART(v1,v2,v3,v4)\
sf_debug_cv_init_chart(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,(v1),(v2),(v3),(v4))
#define _SFD_CV_INIT_STATE(v1,v2,v3,v4,v5,v6,v7,v8)\
sf_debug_cv_init_state(_tpc9MachineNumber_,CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,(v1),(v2),(v3),(v4),(v5),(v6),(v7),(v8))
#define _SFD_CV_INIT_TRANS(v1,v2,v3,v4,v5,v6)\
sf_debug_cv_init_trans(_tpc9MachineNumber_,\
CHARTINSTANCE_CHARTNUMBER,\
CHARTINSTANCE_INSTANCENUMBER,\
(v1),(v2),(v3),(v4),(v5),(v6))
#endif
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -