亚洲欧美第一页_禁久久精品乱码_粉嫩av一区二区三区免费野_久草精品视频

? 歡迎來到蟲蟲下載站! | ?? 資源下載 ?? 資源專輯 ?? 關于我們
? 蟲蟲下載站

?? pseudocode

?? 自己根據lkd和情境分析
??
?? 第 1 頁 / 共 2 頁
字號:
;============================================================================;; translate this with ; 	cat pseudocode | sed -f act2num |  awk -f compile.awk >pseudocode.h;; actionname	pseudocode;;============================================================================ADM1		SEND_SABME_CMD(P=X)		P_FLAG:=P		START_ACK_TIMER		RETRY_COUNT:=0		S_FLAG:=0;; instructions in ADM2 have been changed:; 1. 	P_FLAG:=P is probably wrong in doc...; 	I think it should be F_FLAG:=P the way it is in CONN3; 2.	CONNECT_RESPONSE has been wired in here,;	CONN1 is no longer referenced;ADM2		F_FLAG:=P		SEND_UA_RSP(F=X)		V(S):=0		V(R):=0		RETRY_COUNT:=0		P_FLAG:=0		REMOTE_BUSY:=0		CONNECT_INDICATIONADM3		SEND_DM_RSP(F=X)ADM4		SEND_DM_RSP(F=X)ADM5		NOP;============================================================================;CONN1		SEND_UA_RSP(F=X);		V(S):=0;		V(R):=0;		RETRY_COUNT:=0;		P_FLAG:=0;		REMOTE_BUSY:=0CONN2		SEND_DM_RSP(F=X)CONN3		F_FLAG:=PCONN4		DISCONNECT_INDICATIONCONN5		NOP;============================================================================RESWAIT1	SEND_SABME_CMD(P=X)		P_FLAG:=P		START_ACK_TIMER		RETRY_COUNT:=0RESWAIT2	SEND_UA_RSP(F=X)		V(S):=0		V(R):=0		RETRY_COUNT:=0		P_FLAG:=0		REMOTE_BUSY:=0		RESET_CONFIRMRESWAIT3	SEND_DISC_CMD(P=X)		P_FLAG:=P		START_ACK_TIMER		RETRY_COUNT:=0RESWAIT4	SEND_DM_RSP(F=X)		RESWAIT5	DISCONNECT_INDICATIONRESWAIT6	S_FLAG:=1		F_FLAG:=PRESWAIT7	SEND_DM_RSP(F=X)		DISCONNECT_INDICATIONRESWAIT8	NOP;============================================================================RESCHK1		SEND_UA_RSP(F=X)		V(S):=0		V(R):=0		RETRY_COUNT:=0		P_FLAG:=0		REMOTE_BUSY:=0RESCHK2		SEND_DM_RSP(F=X)RESCHK3		DISCONNECT_INDICATIONRESCHK4		F_FLAG:=PRESCHK5		SEND_DM_RSP(F=X)		DISCONNECT_INDICATIONRESCHK6		NOP;============================================================================SETUP1		SEND_UA_RSP(F=X)		V(S):=0		V(R):=0		RETRY_COUNT:=0		S_FLAG:=1SETUP2		STOP_ACK_TIMER		V(S):=0		V(R):=0		RETRY_COUNT:=0		UPDATE_P_FLAG		CONNECT_CONFIRM		REMOTE_BUSY:=0SETUP3		P_FLAG:=0		CONNECT_CONFIRM		REMOTE_BUSY:=0SETUP4		SEND_DM_RSP(F=X)		DISCONNECT_INDICATION		STOP_ACK_TIMERSETUP5		DISCONNECT_INDICATION		STOP_ACK_TIMERSETUP6		NOPSETUP7		SEND_SABME_CMD(P=X)		P_FLAG:=P		START_ACK_TIMER		RETRY_COUNT:=RETRY_COUNT+1SETUP8		DISCONNECT_INDICATION;============================================================================RESET1		SEND_UA_RSP(F=X)		V(S):=0		V(R):=0		RETRY_COUNT:=0		S_FLAG:=1RESET2		STOP_ACK_TIMER		V(S):=0		V(R):=0		RETRY_COUNT:=0		UPDATE_P_FLAG		RESET_CONFIRM		REMOTE_BUSY:=0RESET3		P_FLAG:=0		RESET_CONFIRM		REMOTE_BUSY:=0RESET4		SEND_DM_RSP(F=X)		DISCONNECT_INDICATION		STOP_ACK_TIMERRESET5		DISCONNECT_INDICATION		STOP_ACK_TIMERRESET6		NOPRESET7		SEND_SABME_CMD(P=X)		P_FLAG:=P		START_ACK_TIMER		RETRY_COUNT:=RETRY_COUNT+1RESET8		DISCONNECT_INDICATION;============================================================================D_CONN1		SEND_DM_RSP(F=X)		STOP_ACK_TIMERD_CONN2		STOP_ACK_TIMERD_CONN3		SEND_UA_RSP(F=X)D_CONN4		STOP_ACK_TIMERD_CONN5		NOPD_CONN6		SEND_DISC_CMD(P=X)		P_FLAG:=P		START_ACK_TIMER		RETRY_COUNT:=RETRY_COUNT+1D_CONN7		NOP;============================================================================ERR1		RESET_INDICATION(REMOTE)		STOP_ACK_TIMER		F_FLAG:=PERR2		SEND_UA_RSP(F=X)		DISCONNECT_INDICATION		STOP_ACK_TIMERERR3		DISCONNECT_INDICATION		STOP_ACK_TIMERERR4		RESET_INDICATION(LOCAL)		STOP_ACK_TIMER		REPORT_STATUS(FRMR_RECEIVED)		S_FLAG:=0ERR5		RE-SEND_FRMR_RSP(F=P)		START_ACK_TIMERERR6		NOPERR7		RE-SEND_FRMR_RSP(F=0)		START_ACK_TIMER		RETRY_COUNT:=RETRY_COUNT+1ERR8		S_FLAG:=0		RESET_INDICATION(LOCAL);============================================================================; the shared actions are common to states NORMAL, BUSY, REJECT,; AWAIT, AWAIT_BUSY and AWAIT_REJECT.;============================================================================SH1		SEND_DISC_CMD(P=X)		P_FLAG:=P		START_ACK_TIMER		STOP_OTHER_TIMERS		RETRY_COUNT:=0SH2		SEND_SABME_CMD(P=X)		P_FLAG:=P		START_ACK_TIMER		STOP_OTHER_TIMERS		RETRY_COUNT:=0		S_FLAG:=0SH3		RESET_INDICATION(REMOTE)		F_FLAG:=P		STOP_ALL_TIMERSSH4		SEND_UA_RSP(F=X)		DISCONNECT_INDICATION		STOP_ALL_TIMERSSH5		STOP_ALL_TIMERS		RESET_INDICATION(LOCAL)		REPORT_STATUS(FRMR_RECEIVED)		S_FLAG:=0SH6		DISCONNECT_INDICATION		STOP_ALL_TIMERSSH7		SEND_FRMR_RSP(F=X)		REPORT_STATUS(FRMR_SENT)		START_ACK_TIMER		STOP_OTHER_TIMERS		RETRY_COUNT:=0SH8		SEND_FRMR_RSP(F=0)		REPORT_STATUS(FRMR_SENT)		START_ACK_TIMER		STOP_OTHER_TIMERS		RETRY_COUNT:=0SH9		SEND_FRMR_RSP(F=0)		REPORT_STATUS(FRMR_SENT)		START_ACK_TIMER		STOP_OTHER_TIMERS		RETRY_COUNT:=0SH10		SEND_FRMR_RSP(F=X)		REPORT_STATUS(FRMR_SENT)		START_ACK_TIMER		STOP_OTHER_TIMERS		RETRY_COUNT:=0SH11		STOP_ALL_TIMERS		RESET_INDICATION(LOCAL)		S_FLAG:=0;============================================================================NORMAL1		SEND_I_CMD(P=1)		START_P_TIMER		START_ACK_TIMER_IF_NOT_RUNNING;		SEND_I_XXX(X=0);		START_ACK_TIMER_IF_NOT_RUNNINGNORMAL2		SEND_I_XXX(X=0)		START_ACK_TIMER_IF_NOT_RUNNINGNORMAL3		SEND_RNR_CMD(F=1)		START_P_TIMER		DATA_FLAG:=0;		SEND_RNR_XXX(X=0);		DATA_FLAG:=0NORMAL4		SEND_RNR_XXX(X=0)		DATA_FLAG:=0NORMAL5		SEND_REJ_XXX(X=0)		UPDATE_N(R)_RECEIVED		UPDATE_P_FLAG		START_REJ_TIMER		IF_F=1_CLEAR_REMOTE_BUSY;		SEND_REJ_CMD(P=1);		UPDATE_N(R)_RECEIVED;		START_P_TIMER;		START_REJ_TIMER;		IF_F=1_CLEAR_REMOTE_BUSYNORMAL6		SEND_REJ_XXX(X=0)		UPDATE_N(R)_RECEIVED		START_REJ_TIMERNORMAL7		SEND_REJ_RSP(F=1)		UPDATE_N(R)_RECEIVED		START_REJ_TIMER;; the order of opcodes in NORMAL8 is changed.; the transition table will execute NORMAL8A for incoming pdus; with p/f 1, pdus with pf 0 are treated in NORMAL8B.;   NORMAL8A	V(R):=V(R)+1		SEND_ACKNOWLEDGE_CMD(P=1)		START_P_TIMER		UPDATE_N(R)_RECEIVED		IF_F=1_CLEAR_REMOTE_BUSY		DATA_INDICATION;NORMAL8B	V(R):=V(R)+1		UPDATE_P_FLAG		SEND_ACKNOWLEDGE_XXX(X=0)		UPDATE_N(R)_RECEIVED		IF_F=1_CLEAR_REMOTE_BUSY		DATA_INDICATION;; the order of opcodes in NORMAL9 is changed NORMAL9		V(R):=V(R)+1		SEND_ACKNOWLEDGE_XXX(X=0)		UPDATE_N(R)_RECEIVED		DATA_INDICATION;; the order of opcodes in NORMAL10 is changed NORMAL10	V(R):=V(R)+1		SEND_ACKNOWLEDGE_RSP(F=1)		UPDATE_N(R)_RECEIVED		DATA_INDICATIONNORMAL11	UPDATE_P_FLAG		UPDATE_N(R)_RECEIVED		CLEAR_REMOTE_BUSYNORMAL12	SEND_ACKNOWLEDGE_RSP(F=1)		UPDATE_N(R)_RECEIVED		CLEAR_REMOTE_BUSYNORMAL13	UPDATE_P_FLAG		UPDATE_N(R)_RECEIVED		SET_REMOTE_BUSYNORMAL14	SEND_RR_RSP(F=1)		UPDATE_N(R)_RECEIVED		SET_REMOTE_BUSYNORMAL15	V(S):=N(R)		UPDATE_N(R)_RECEIVED		UPDATE_P_FLAG		RE-SEND_I_XXX(X=0)		CLEAR_REMOTE_BUSY;		V(S):=N(R);		UPDATE_N(R)_RECEIVED;		START_P_TIMER;		RE-SEND_I_CMD(P=1);		CLEAR_REMOTE_BUSYNORMAL16	V(S):=N(R)		UPDATE_N(R)_RECEIVED		RE-SEND_I_XXX(X=0)		CLEAR_REMOTE_BUSYNORMAL17	V(S):=N(R)		UPDATE_N(R)_RECEIVED		RE-SEND_I_RSP(F=1)		CLEAR_REMOTE_BUSYNORMAL18	SEND_RR_CMD(P=1)		START_P_TIMERNORMAL19	P_FLAG:=0;		SEND_RR_CMD(P=1);		START_P_TIMER;		RETRY_COUNT:=RETRY_COUNT+1NORMAL20	SEND_RR_CMD(P=1)		START_P_TIMER		RETRY_COUNT:=RETRY_COUNT+1;============================================================================BUSY1		SEND_I_CMD(P=1)		START_P_TIMER		START_ACK_TIMER_IF_NOT_RUNNING;		SEND_I_XXX(X=0);		START_ACK_TIMER_IF_NOT_RUNNINGBUSY2		SEND_I_XXX(X=0)		START_ACK_TIMER_IF_NOT_RUNNINGBUSY3		SEND_REJ_CMD(P=1)		START_REJ_TIMER		START_P_TIMER;		SEND_REJ_XXX(X=0);		START_REJ_TIMERBUSY4		SEND_REJ_XXX(X=0)		START_REJ_TIMERBUSY5		SEND_RR_CMD(P=1)		START_P_TIMER		SEND_RR_XXX(X=0)BUSY6		SEND_RR_XXX(X=0)BUSY7		SEND_RR_CMD(P=1)		START_P_TIMER		SEND_RR_XXX(X=0)BUSY8		SEND_RR_XXX(X=0)BUSY9		OPTIONAL_SEND_RNR_XXX(X=0)		UPDATE_P_FLAG		UPDATE_N(R)_RECEIVED		IF_DATA_FLAG_=0_THEN_DATA_FLAG:=1		IF_F=1_CLEAR_REMOTE_BUSY;		SEND_RNR_CMD(P=1);		START_P_TIMER;		UPDATE_N(R)_RECEIVED;		IF_DATA_FLAG_=0_THEN_DATA_FLAG:=1;		IF_F=1_CLEAR_REMOTE_BUSYBUSY10		OPTIONAL_SEND_RNR_XXX(X=0)		UPDATE_N(R)_RECEIVED		IF_DATA_FLAG_=0_THEN_DATA_FLAG:=1BUSY11		SEND_RNR_RSP(F=1)		UPDATE_N(R)_RECEIVED		IF_DATA_FLAG_=0_THEN_DATA_FLAG:=1BUSY12		SEND_RNR_RSP(F=1)		UPDATE_N(R)_RECEIVED		IF_DATA_FLAG=2_STOP_REJ_TIMER		DATA_FLAG:=1;		V(R):=V(R)+1;		DATA_INDICATION;		SEND_RNR_RSP(F=1);		UPDATE_N(R)_RECEIVED;		IF_DATA_FLAG=2_STOP_REJ_TIMER;		DATA_FLAG:=0BUSY13		OPTIONAL_SEND_RNR_XXX(X=0)		UPDATE_P_FLAG		UPDATE_N(R)_RECEIVED		IF_DATA_FLAG=2_STOP_REJ_TIMER		DATA_FLAG:=1		IF_F=1_CLEAR_REMOTE_BUSY;		SEND_RNR_CMD(F=1);		START_P_TIMER;		UPDATE_N(R)_RECEIVED;		IF_DATA_FLAG=2_STOP_REJ_TIMER;		DATA_FLAG:=1;		IF_F=1_CLEAR_REMOTE_BUSY;		V(R):=V(R)+1;		DATA_INDICATION;		SEND_RNR_CMD(F=1);		START_P_TIMER;		UPDATE_N(R)_RECEIVED;		IF_DATA_FLAG=2_STOP_REJ_TIMER;		DATA_FLAG:=0;		IF_F=1_CLEAR_REMOTE_BUSY;		V(R):=V(R)+1;		DATA_INDICATION;		UPDATE_P_FLAG;		OPTIONAL_SEND_RNR_XXX(X=0);		UPDATE_N(R)_RECEIVED;		IF_DATA_FLAG=2_STOP_REJ_TIMER;		DATA_FLAG:=0

?? 快捷鍵說明

復制代碼 Ctrl + C
搜索代碼 Ctrl + F
全屏模式 F11
切換主題 Ctrl + Shift + D
顯示快捷鍵 ?
增大字號 Ctrl + =
減小字號 Ctrl + -
亚洲欧美第一页_禁久久精品乱码_粉嫩av一区二区三区免费野_久草精品视频
国产福利一区二区三区| 亚洲一区二区欧美激情| 亚洲成人资源网| 日本国产一区二区| 亚洲丝袜精品丝袜在线| 播五月开心婷婷综合| 亚洲一二三四在线| 尤物av一区二区| 日韩欧美专区在线| 久久一区二区视频| 成人午夜视频网站| 日韩极品在线观看| 久久蜜臀中文字幕| 色噜噜夜夜夜综合网| 成人国产亚洲欧美成人综合网| 国产成人免费av在线| 成人污视频在线观看| 99精品久久只有精品| 日本不卡一区二区| 欧美精品乱人伦久久久久久| 麻豆精品国产传媒mv男同| 国产日产精品1区| 欧美无乱码久久久免费午夜一区 | 另类欧美日韩国产在线| 国产精品久久网站| 欧美一二三四区在线| 久久久三级国产网站| 亚洲日本电影在线| 免费成人小视频| 成人免费看黄yyy456| 在线免费一区三区| 99视频精品免费视频| 国产在线视频一区二区| 午夜精品福利久久久| **网站欧美大片在线观看| 2022国产精品视频| 亚洲色图欧美激情| 青青草97国产精品免费观看无弹窗版| 韩国v欧美v日本v亚洲v| 在线精品视频小说1| 久久精品免费在线观看| 日韩免费电影一区| 欧美精品日韩精品| 中文字幕一区二区三区四区| 午夜不卡在线视频| 不卡的av在线| 精品国产91久久久久久久妲己 | 精品视频色一区| 欧美午夜精品免费| 国产精品国产a| 国产在线精品一区二区三区不卡| 日韩高清电影一区| 97久久人人超碰| 久久蜜臀中文字幕| 久久精品国产999大香线蕉| 99精品欧美一区二区三区小说| 精品精品国产高清一毛片一天堂| 洋洋av久久久久久久一区| 亚洲免费av网站| 亚洲成人在线观看视频| 成人黄色一级视频| 国产日韩在线不卡| 精品一区二区av| 99久久99久久综合| 国产日韩精品久久久| 国产在线精品一区二区三区不卡 | 91麻豆精品国产自产在线| 这里只有精品免费| 性感美女久久精品| 欧美日韩二区三区| 久久嫩草精品久久久精品| 七七婷婷婷婷精品国产| 欧美色视频在线| 亚洲va韩国va欧美va| 日本韩国欧美一区| 亚洲一区二区三区四区的| 91成人在线精品| 午夜影院久久久| 欧美美女一区二区| 亚洲第一二三四区| 欧美老肥妇做.爰bbww| 午夜电影一区二区| 欧美久久久影院| 另类的小说在线视频另类成人小视频在线| 在线成人午夜影院| 老汉av免费一区二区三区| 欧美大尺度电影在线| 国内精品伊人久久久久av一坑| 精品国精品自拍自在线| 懂色中文一区二区在线播放| 一本到高清视频免费精品| 欧美一级夜夜爽| 亚洲少妇屁股交4| 欧美中文字幕亚洲一区二区va在线| 一区二区三区日本| 91.xcao| 久久精品国产澳门| 国产精品国模大尺度视频| 在线观看亚洲精品视频| 免费观看一级特黄欧美大片| 久久综合色综合88| 99久久综合99久久综合网站| 亚洲第一搞黄网站| 久久久久99精品一区| 91啪九色porn原创视频在线观看| 欧美成人三级在线| 午夜精彩视频在线观看不卡| 精品国产a毛片| 一本久道中文字幕精品亚洲嫩| 亚洲国产精品一区二区www在线| 成人小视频在线| 性做久久久久久| 国产精品入口麻豆九色| 精品在线免费视频| 亚洲另类在线视频| 日韩女优制服丝袜电影| 国产91高潮流白浆在线麻豆| 亚洲尤物视频在线| 国产亚洲欧美中文| 国产成人免费高清| 日韩国产在线观看一区| 亚洲天天做日日做天天谢日日欢| 欧美一区二视频| 91在线精品一区二区| 久久丁香综合五月国产三级网站| 一区二区三区精品久久久| 久久亚区不卡日本| 91麻豆精品国产91久久久久| 91女厕偷拍女厕偷拍高清| 久久精品国产精品青草| 五月天一区二区三区| 国产精品不卡在线观看| 26uuu久久综合| 91 com成人网| 欧美日韩国产另类不卡| 91在线观看成人| 国产精品99久久久久久久女警| 国产亚洲欧美日韩俺去了| 日韩一区二区中文字幕| 欧美人妖巨大在线| 欧洲精品一区二区| 97精品久久久久中文字幕| 国产不卡视频在线播放| 精品在线观看视频| 久久www免费人成看片高清| 午夜一区二区三区视频| 一区二区在线观看视频| 亚洲欧美日韩国产中文在线| 国产精品每日更新| 中文在线一区二区| 欧美日韩精品福利| 欧美日韩在线三区| 欧美综合天天夜夜久久| 欧美性受极品xxxx喷水| 欧美性猛片xxxx免费看久爱| 欧美性色综合网| 欧美久久久久中文字幕| 欧美日韩精品一区二区三区四区| 欧美日韩一区二区三区高清 | 久久精品国产77777蜜臀| 青青草视频一区| 狠狠色狠狠色综合日日91app| 久久99国内精品| 国产美女在线精品| 国产精品12区| 波多野结衣视频一区| 91蜜桃视频在线| 欧美天堂亚洲电影院在线播放| 91国偷自产一区二区使用方法| 欧美午夜理伦三级在线观看| 7799精品视频| 久久精品视频免费| 亚洲免费观看高清完整| 日韩成人一级片| 成人深夜在线观看| 在线观看亚洲a| 久久亚洲一级片| 亚洲视频你懂的| 蜜桃视频在线观看一区二区| 国产一区二区三区在线观看免费视频| 成人美女视频在线观看18| 日本韩国欧美一区二区三区| 日韩午夜av一区| 亚洲欧美在线观看| 日韩激情中文字幕| 成人免费视频播放| 91精品国产综合久久久久久久久久| 精品久久久久久久人人人人传媒| 国产精品理论片在线观看| 亚洲国产你懂的| 国产成人综合亚洲网站| 在线亚洲一区观看| 久久网这里都是精品| 一区二区三区在线免费| 老司机精品视频导航| 在线观看日韩毛片| 国产精品素人视频| 蜜臀精品一区二区三区在线观看| eeuss鲁片一区二区三区在线观看| 91麻豆精品国产自产在线观看一区 |