?? tpc9_sfun_c1.c
字號:
static unsigned int sStartGuardMap[] = {1,12};
static unsigned int sEndGuardMap[] = {8,19};
static int sPostFixPredicateTree[] = {0,1,-2};
_SFD_CV_INIT_TRANS(8,2,&(sStartGuardMap[0]),&(sEndGuardMap[0]),3,&(sPostFixPredicateTree[0]));
}
{
static unsigned int sStartGuardMap[] = {1,12,23,34};
static unsigned int sEndGuardMap[] = {8,19,30,41};
static int sPostFixPredicateTree[] = {0,1,-2,2,-2,3,-2};
_SFD_CV_INIT_TRANS(13,4,&(sStartGuardMap[0]),&(sEndGuardMap[0]),7,&(sPostFixPredicateTree[0]));
}
{
static unsigned int sStartGuardMap[] = {1,12};
static unsigned int sEndGuardMap[] = {8,19};
static int sPostFixPredicateTree[] = {0,1,-2};
_SFD_CV_INIT_TRANS(4,2,&(sStartGuardMap[0]),&(sEndGuardMap[0]),3,&(sPostFixPredicateTree[0]));
}
_SFD_CV_INIT_TRANS(7,0,NULL,NULL,0,NULL);
_SFD_CV_INIT_TRANS(15,0,NULL,NULL,0,NULL);
_SFD_CV_INIT_TRANS(3,0,NULL,NULL,0,NULL);
_SFD_CV_INIT_TRANS(17,0,NULL,NULL,0,NULL);
{
static unsigned int sStartGuardMap[] = {1};
static unsigned int sEndGuardMap[] = {13};
static int sPostFixPredicateTree[] = {0};
_SFD_CV_INIT_TRANS(12,1,&(sStartGuardMap[0]),&(sEndGuardMap[0]),1,&(sPostFixPredicateTree[0]));
}
{
static unsigned int sStartGuardMap[] = {1};
static unsigned int sEndGuardMap[] = {13};
static int sPostFixPredicateTree[] = {0};
_SFD_CV_INIT_TRANS(5,1,&(sStartGuardMap[0]),&(sEndGuardMap[0]),1,&(sPostFixPredicateTree[0]));
}
_SFD_CV_INIT_TRANS(21,0,NULL,NULL,0,NULL);
{
static unsigned int sStartGuardMap[] = {0};
static unsigned int sEndGuardMap[] = {11};
static int sPostFixPredicateTree[] = {0};
_SFD_CV_INIT_TRANS(18,1,&(sStartGuardMap[0]),&(sEndGuardMap[0]),1,&(sPostFixPredicateTree[0]));
}
{
static unsigned int sStartGuardMap[] = {0};
static unsigned int sEndGuardMap[] = {12};
static int sPostFixPredicateTree[] = {0};
_SFD_CV_INIT_TRANS(19,1,&(sStartGuardMap[0]),&(sEndGuardMap[0]),1,&(sPostFixPredicateTree[0]));
}
_SFD_CV_INIT_TRANS(9,0,NULL,NULL,0,NULL);
_SFD_CV_INIT_TRANS(6,0,NULL,NULL,0,NULL);
{
static unsigned int sStartGuardMap[] = {0};
static unsigned int sEndGuardMap[] = {8};
static int sPostFixPredicateTree[] = {0};
_SFD_CV_INIT_TRANS(0,1,&(sStartGuardMap[0]),&(sEndGuardMap[0]),1,&(sPostFixPredicateTree[0]));
}
_SFD_STATE_COV_WTS(1,2,1,1);
if(chartAlreadyPresent==0)
{
static unsigned int sStartEntryMap[] = {0,48};
static unsigned int sEndEntryMap[] = {0,68};
static unsigned int sStartDuringMap[] = {0};
static unsigned int sEndDuringMap[] = {0};
static unsigned int sStartExitMap[] = {0};
static unsigned int sEndExitMap[] = {0};
_SFD_STATE_COV_MAPS(1,
2,&(sStartEntryMap[0]),&(sEndEntryMap[0]),
1,&(sStartDuringMap[0]),&(sEndDuringMap[0]),
1,&(sStartExitMap[0]),&(sEndExitMap[0]));
}
_SFD_STATE_COV_WTS(0,2,1,1);
if(chartAlreadyPresent==0)
{
static unsigned int sStartEntryMap[] = {0,17};
static unsigned int sEndEntryMap[] = {0,114};
static unsigned int sStartDuringMap[] = {0};
static unsigned int sEndDuringMap[] = {0};
static unsigned int sStartExitMap[] = {0};
static unsigned int sEndExitMap[] = {0};
_SFD_STATE_COV_MAPS(0,
2,&(sStartEntryMap[0]),&(sEndEntryMap[0]),
1,&(sStartDuringMap[0]),&(sEndDuringMap[0]),
1,&(sStartExitMap[0]),&(sEndExitMap[0]));
}
_SFD_STATE_COV_WTS(3,5,1,1);
if(chartAlreadyPresent==0)
{
static unsigned int sStartEntryMap[] = {0,28,48,59,72};
static unsigned int sEndEntryMap[] = {0,47,58,71,82};
static unsigned int sStartDuringMap[] = {0};
static unsigned int sEndDuringMap[] = {0};
static unsigned int sStartExitMap[] = {0};
static unsigned int sEndExitMap[] = {0};
_SFD_STATE_COV_MAPS(3,
5,&(sStartEntryMap[0]),&(sEndEntryMap[0]),
1,&(sStartDuringMap[0]),&(sEndDuringMap[0]),
1,&(sStartExitMap[0]),&(sEndExitMap[0]));
}
_SFD_STATE_COV_WTS(4,4,1,1);
if(chartAlreadyPresent==0)
{
static unsigned int sStartEntryMap[] = {0,16,49,81};
static unsigned int sEndEntryMap[] = {0,48,80,101};
static unsigned int sStartDuringMap[] = {0};
static unsigned int sEndDuringMap[] = {0};
static unsigned int sStartExitMap[] = {0};
static unsigned int sEndExitMap[] = {0};
_SFD_STATE_COV_MAPS(4,
4,&(sStartEntryMap[0]),&(sEndEntryMap[0]),
1,&(sStartDuringMap[0]),&(sEndDuringMap[0]),
1,&(sStartExitMap[0]),&(sEndExitMap[0]));
}
_SFD_STATE_COV_WTS(5,3,1,1);
if(chartAlreadyPresent==0)
{
static unsigned int sStartEntryMap[] = {0,13,85};
static unsigned int sEndEntryMap[] = {0,84,104};
static unsigned int sStartDuringMap[] = {0};
static unsigned int sEndDuringMap[] = {0};
static unsigned int sStartExitMap[] = {0};
static unsigned int sEndExitMap[] = {0};
_SFD_STATE_COV_MAPS(5,
3,&(sStartEntryMap[0]),&(sEndEntryMap[0]),
1,&(sStartDuringMap[0]),&(sEndDuringMap[0]),
1,&(sStartExitMap[0]),&(sEndExitMap[0]));
}
_SFD_STATE_COV_WTS(2,4,1,2);
if(chartAlreadyPresent==0)
{
static unsigned int sStartEntryMap[] = {0,5,25,57};
static unsigned int sEndEntryMap[] = {0,24,56,77};
static unsigned int sStartDuringMap[] = {0};
static unsigned int sEndDuringMap[] = {0};
static unsigned int sStartExitMap[] = {0,81};
static unsigned int sEndExitMap[] = {0,113};
_SFD_STATE_COV_MAPS(2,
4,&(sStartEntryMap[0]),&(sEndEntryMap[0]),
1,&(sStartDuringMap[0]),&(sEndDuringMap[0]),
2,&(sStartExitMap[0]),&(sEndExitMap[0]));
}
_SFD_TRANS_COV_WTS(10,0,2,0,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartGuardMap[] = {8,0};
static unsigned int sEndGuardMap[] = {16,17};
_SFD_TRANS_COV_MAPS(10,
0,NULL,NULL,
2,&(sStartGuardMap[0]),&(sEndGuardMap[0]),
0,NULL,NULL,
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(16,0,2,2,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartGuardMap[] = {8,0};
static unsigned int sEndGuardMap[] = {16,17};
static unsigned int sStartConditionActionMap[] = {19,61};
static unsigned int sEndConditionActionMap[] = {58,82};
_SFD_TRANS_COV_MAPS(16,
0,NULL,NULL,
2,&(sStartGuardMap[0]),&(sEndGuardMap[0]),
2,&(sStartConditionActionMap[0]),&(sEndConditionActionMap[0]),
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(14,0,0,0,0);
if(chartAlreadyPresent==0)
{
_SFD_TRANS_COV_MAPS(14,
0,NULL,NULL,
0,NULL,NULL,
0,NULL,NULL,
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(2,0,1,0,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartGuardMap[] = {1};
static unsigned int sEndGuardMap[] = {28};
_SFD_TRANS_COV_MAPS(2,
0,NULL,NULL,
1,&(sStartGuardMap[0]),&(sEndGuardMap[0]),
0,NULL,NULL,
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(20,0,1,0,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartGuardMap[] = {0};
static unsigned int sEndGuardMap[] = {9};
_SFD_TRANS_COV_MAPS(20,
0,NULL,NULL,
1,&(sStartGuardMap[0]),&(sEndGuardMap[0]),
0,NULL,NULL,
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(1,0,0,5,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartConditionActionMap[] = {1,11,21,39,76};
static unsigned int sEndConditionActionMap[] = {11,21,36,76,122};
_SFD_TRANS_COV_MAPS(1,
0,NULL,NULL,
0,NULL,NULL,
5,&(sStartConditionActionMap[0]),&(sEndConditionActionMap[0]),
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(11,0,0,1,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartConditionActionMap[] = {1};
static unsigned int sEndConditionActionMap[] = {25};
_SFD_TRANS_COV_MAPS(11,
0,NULL,NULL,
0,NULL,NULL,
1,&(sStartConditionActionMap[0]),&(sEndConditionActionMap[0]),
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(22,0,6,0,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartGuardMap[] = {1,11,21,31,41,51};
static unsigned int sEndGuardMap[] = {9,19,29,39,49,59};
_SFD_TRANS_COV_MAPS(22,
0,NULL,NULL,
6,&(sStartGuardMap[0]),&(sEndGuardMap[0]),
0,NULL,NULL,
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(8,0,2,0,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartGuardMap[] = {1,12};
static unsigned int sEndGuardMap[] = {8,19};
_SFD_TRANS_COV_MAPS(8,
0,NULL,NULL,
2,&(sStartGuardMap[0]),&(sEndGuardMap[0]),
0,NULL,NULL,
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(13,0,4,0,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartGuardMap[] = {1,12,23,34};
static unsigned int sEndGuardMap[] = {8,19,30,41};
_SFD_TRANS_COV_MAPS(13,
0,NULL,NULL,
4,&(sStartGuardMap[0]),&(sEndGuardMap[0]),
0,NULL,NULL,
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(4,0,2,0,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartGuardMap[] = {1,12};
static unsigned int sEndGuardMap[] = {8,19};
_SFD_TRANS_COV_MAPS(4,
0,NULL,NULL,
2,&(sStartGuardMap[0]),&(sEndGuardMap[0]),
0,NULL,NULL,
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(7,0,0,1,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartConditionActionMap[] = {1};
static unsigned int sEndConditionActionMap[] = {9};
_SFD_TRANS_COV_MAPS(7,
0,NULL,NULL,
0,NULL,NULL,
1,&(sStartConditionActionMap[0]),&(sEndConditionActionMap[0]),
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(15,0,0,1,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartConditionActionMap[] = {1};
static unsigned int sEndConditionActionMap[] = {14};
_SFD_TRANS_COV_MAPS(15,
0,NULL,NULL,
0,NULL,NULL,
1,&(sStartConditionActionMap[0]),&(sEndConditionActionMap[0]),
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(3,0,0,1,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartConditionActionMap[] = {1};
static unsigned int sEndConditionActionMap[] = {46};
_SFD_TRANS_COV_MAPS(3,
0,NULL,NULL,
0,NULL,NULL,
1,&(sStartConditionActionMap[0]),&(sEndConditionActionMap[0]),
0,NULL,NULL);
}
_SFD_TRANS_COV_WTS(17,0,0,1,0);
if(chartAlreadyPresent==0)
{
static unsigned int sStartConditionActionMap[] = {1};
static unsigned int sEndConditionActionMap[] = {16};
_SFD_TRANS_COV_MAPS(17,
0,NULL,NULL,
0,NULL,NULL,
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -