第13章检查器是对信息进行静态解析工具设计完成后可以使用

第13 关于检查 检查内 STM设 STM调 事 状 特定处理 动 转 其他设计 系统调 10）其 11）C代码生成设 检查选 STM设 STM调 事 状 动 转 其他设计 系统调 其 C代码生成设 检查器启 错误信息一 关于检查STM)、函数设计书（FNC）ZIPCVer.9TEV书、REVSTM设2-1.1【STM】的【属性】STM名2-1.2【STM】STM。STM用户任务下的STM和系统共通、任务共通下的STM、用户句柄下的STM和系统共通、 的STM不能重名。STM类2-1.3【STM】STMESESESSTMESESES6 2-1.4【阶层号】STMSTMSTM返回2-1.5【返回型】0STMvoid0STMvoid根STMSTM中设定的返回值类型不同。STMSTMSTM参2-1.6【STM】0STMvoid0STMvoid根STMSTM中设定的参数不同STM克隆管理对【STM2-1.7【克隆管理】〇Sample[2]×根STMSTM中的克隆指定不同根STMSTM中设定的克隆数不同根STMSTM中设定的克隆数必须相同0STM0STMSSTMSSTMSTMSTMSTMSTMSTM。〇Sample[2]×〇Sample[2]×2-1.8【状态管理】SSTMSSTMSTMSTMSTMSTM在V9中设定状态管理变量在V9中不能设定状态管理变量※本项目为 STM调ESTM2-2.1ESTMESTMSTMSTMSTM〇□Sample;×STMSSTM进行ESTMSSTM调ESTMSSTMESTMSSTMSTMSSTMNG2-2.2SSTMSTMSSTMSTMSSTM克隆STM调STMSTM〇×STMSTMSTMSTMSTMSTM〇□Sample[1];×STM〇□Sample(1);×□Sample(1STMSTM〇×带有参数STM调STMSTM〇□Sample(arg1);×□Sample(arg1)(arg2STMSTM其他的STM调2.2.1～2.2.4STMSTMSTMNG2-2.3STMSTMSTMSTMSTM。NG2-2.4STM事NG2-3.1NG2-3.2NG2-3.3switchswitchNG2-3.4switchswitch“case”switch“caseNG2-3.5switchcaseswitchswitchNG2-3.6switchswitchdefaultcaseswitchdefaultcaseNG2-3.6switchdefaultcase消息型事件的的子事件中存在消息型、标记型、switchswitchNG2-3.7标记型事件的子事件中存在消息型、标记型、switchswitchNG2-3.8switchNG2-3.9SSTM※在ZIPC2000/2001中，虽然可以在S型STM中可以使用内部消息型事件，但是Sswitch型事switch型事件的子事件以下存在消息型‘标记型’switch型以外的事件另外，switch型事件的子事件以下的消息型事件，作为标记型事件处理。NG例：2-3.10switchNG2-3.11switchswitchelseswitchelseNG2-3.12switchelseNG2-3.13switchdefaultNG2-3.14switchIF-IFswitchswitchNG2-3.15switch函数调用型事件的子事件中存在消息型、标记型、switchswitchNG2-3.16TMSTMSTMSTMSTMESTMSTMESTMSTM 函数组型事件的子事件中存在函数调用型、消息型、标记型、switchswitchNG2-3.17NG2-3.18ESTMSTM函数组型事件不能在ESTMSTMNG2-3.19中断型事件在到句柄的STM以外的STM中使用中断型事件只能在到句柄的STM中使用。2-3.20中断型事件为了进行事件驱动型的动作，不能到S型STM中※本项目为 NG2-3.21SSTMelse事NG2-3.22elseelseelseNG2-3.23elseelseelseNG2-3.24elseelseelseNG2-3.25elsedefault事NG2-3.26defaultswitchdefaultdefaultNG2-3.27defaultNG2-3.28NG2-3.29NG2-3.30〇×触发事件在同一个STM中了多个触发事件在一个STM中只能一个。NG2-3.31STM触发事件到阶层号0以外的STM中触发事件只能到阶层号0的STM中。NG图2-3.32触发事件到阶层0以外的STM中的例在事件实体框的实体部分不能事件发生时开始activity和事件发生时结NG2-3.33activityelsedefault，defaultswitchdefaultIF-IFNG2-3.34IF-IFIF-IFelseNG2-3.35IF-IFelseNG2-3.36NG2-3.37STM事STMSTMNG2-3.38STM状NG2-4.1NG2-4.2NG2-4.3在状态实体框的实体部分状态开始activityNG2-4.4activity在状态实体框的实体部分状态结束activityNG2-4.5activity在状态实体框的实体部分状态模式activityNG2-4.6activityNG2-4.7NG2-4.8NG2-4.9NG2-4.10NG图NG2-4.12elseNG2-4.13S型阶层状进行S型阶层STM调用的状态不是实体进行SSTM用的状态必须是实体。NG2-4.14SSTMSSTMSTMS，SSSTMSTMSSNG2-4.15SSTMSSSTMSTMSSTMSTM特定处理1)在各种特定处理中，使用转移记号、zset动以状态实体框的父状态的实体部分的动作记述转移，并且在子状态的动作中记述处理以（）NG图2-6.1状态实体框的实体部 NG2-6.2switchswitchNG2-6.3switchswitchcaseswitchcase。NG2-6.4switchcaseswitchdefaultcaseswitchdefaultcase。NG2-6.5switchdefaultcaseswitchifswitchifNG2-6.6switchifswitch单元case单元casecaseNG2-6.7caseelseNG2-6.8elseNG2-6.9elsecasedefaultcasedefaultNG2-6.10casedefault～2.6.8NG2-6.11NG2-6.12※在V9中对该项目查 转〇S2(D)×NG2-7.1NG2-7.2SSTMNG2-7.3SSTMSTMSTMSTMSTMNG2-7.4NG2-7.5“(F)，“(M)，4ZIPC2000“F“MDZIPC2001V9“F“MD*X（X 其他设计（FNCFNCFNC另外，在系统共通中的FNC影响所有任务/句柄；在任务共通中的FNC,影响所有句柄中的FNC的函数名称也不能重复。在用户C文件和向量表中的函数检查对象。关于向向量表中的函数请14TEV（ZIPCVer.9）对TEVTEVevent，$D$关键字的后面必须跟着$E$关TEVinmail，$D$关键字的后面必须跟着$I$关TEV，$E$关键字的后面没有$T$关键字TEV，$E$关键字的后面必须跟着$T$关键字。TEV，$I$关键字的后面没有$S$关键字TEV，$I$关键字的后面必须跟着$S$关键字。TEV，$T$关键字或$S$关键字的后面没有$A$关键字TEV，$T$关键字或$S$关键字的后面必须跟着$A$关键字。TEV，$T$关键字，$S$关键字，$A$关键字的后面没有$D$关键字TEV，$T$关键字，$S$关键字，$A$关键字的后面必须跟着$D$关键字。TEVpevent，$D$关键字的后面必须跟着$P$关REV（ZIPCVer.9）对REV 字符置换文件（ZIPCVer.9状状态转状态转相关相关相相翻译器定义书翻译器定义书翻译器定义书重#CHG定义A#CHG定义#CHG定义#CHG定义C#CHG定义#CHG定義#CHG定义A#CHG定义#CHG定义定义CSTMA和翻译器定义书A，翻译器定义书B相关联，因为这两个翻译器定义定CSTMB和翻译器定义书B，翻译器定义书C相关联，因为这两个翻译器定义定在#CHGIF中指定的条件在工程中的任何符号设置中都没有时，该#CHGIF中的定义无在#CHGELIF中指定的条件在工程的任何符号设置中都没有时，该#CHGELIF中的定义系统调TEVTEVZIPC2000不对应zset系统调用ZIPC2000不对应zseth系统调用其C代码生成2-11.1C STM设2-11.2CSTMSTM设2-11.3CSTM2-11.4COFFSTM设3-1.1【文档检查设定】的【STM】STMSTMON/OFF（即选中或不选【STM。1.1。STMSTMON/OFF。1.2。ON/OFF。1.3。STMSTMON/OFF。1.4。STMSTMON/OFF。1.5。ON/OFF。1.6。ON/OFF。1.7。ON/OFF。10.1。STM调3-2.1【文档检查设定】的【STM】ESTMON/OFF。2.1。SSTMON/OFF。2.2。STMON/OFF。2.3。STMSTMON/OFF。2.4。STMON/OFF。2.5。事3-3.1【文档检查设定】的【事件】ON/OFF。3.1。ON/OFF。3.2。ON/OFF。3.3。ON/OFF。3.4。switchON/OFF。3.5。ON/OFF。3.6。ON/OFF。3.7。ON/OFF。3.8。ON/OFF。3.9。elseelseON/OFF。3.10。defaultON/OFF。3.11。triggerON/OFF。3.12。ON/OFF。3.13。ON/OFF。3.14。ON/OFF。3.15。ON/OFF。3.16。STMON/OFF。3.17。状3-4.1【文档检查设定】的【状态】ON/OFF。4.1。ON/OFF。4.2。ON/OFF。4.3。ON/OFF。4.4。ON/OFF。4.5。SON/OFF。4.6。ON/OFF。4.7。动3-5.1ON/OFF。6.1。ON/OFF。6.2。ON/OFF。6.3。switchON/OFF。6.4。caseON/OFF。6.5。循环（反复分割）ON/OFF。6.6。elseON/OFF。6.7。casedefaultON/OFF。6.8。ON/OFF。6.9。ON/OFF。6.10。转3-6.1【文档检查设定】的【转移】ON/OFF。7.1。ON/OFF。7.2。ON/OFF。7.3。ON/OFF。7.4。ON/OFF。5.1～5.21、8.1“55其他设计3-7.1【文档检查设定】的【其他设计书】FNC函数设计书（FNC）ON/OFF。8.1。TEVTEV（ZIPCVer.9）ON/OFF。8.2。REVREV（ZIPCVer.9）ON/OFF。8.3。LIB库文档（LIB）ON/OFF。8.4。旧有字符置换文件（ZIPCVer.9）记述的字符置换定义以及翻译器定义书的字符ON/OFF。系统调3-8.1【文档检查设定】的【系统调用】inmailON/OFF。9.1。eventON/OFF。9.2。zsetON/OFF。9.3。zsethON/OFF。9.4。zcheckON/OFF。9.5。zhistoryclearON/OFF。9.6。zdeepclearON/OFF。9.7。zretON/OFF。9.8。ZASSERTON/OFF。9.9。其3-9.1【文档检查设定】的【其他】基于【C基于【C.s**、无FAD1､2､：.*cd，.*ed，AD（STM【反映字符置换设计书】选项为ON时，在应用的项目上，查出设计没有进行字符置换IO、FLA、FNC、DEF、STRON/OFF。10.2。C代码生成3-10.1【文档检查设定】的【C】CON/OFF。11.1。CSTMON/OFF。11.2。STMCSTMO