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

第13 关于检查 检查内 STM设 STM调 ....................................................................状 特定处理 动 转 其他设计 系统调 10）其 11）C代码生成设 检查选 STM设 STM调 ...................................................................状 动 转 其他设计 系统调 其 C代码生成设 检查器启 错误信息一 关于检查书、REVSTM设2-1.1【STM】的【属性】STM名2-1.2【STM】STM。STM用户任务下的STM和系统共通、任务共通册的STM、用户句柄下的STM和系统共通、 册的STM不能重名。STM类2-1.3【STM】STMESESESSTMESESES6因为库STM不允许S型动作，所以检查对象。2-1.4【阶层号】STMSTM返回2-1.5【返回型】0STMvoid0STMvoid根STMSTM中设定的返回值类型不同。STMSTMSTMSTM参2-1.6【STM】0STMvoid0STMvoid根STMSTM中设定的参数不同STM克隆管理对【STM2-1.7【克隆管理】〇Sample[2]×根STMSTM中的克隆指定不同根STMSTM中设定的克隆数不同根STMSTM中设定的克隆数必须相同0STMSSTMSSTMSTMSTMSTMSTMSTM。〇Sample[2]×〇Sample[2]×2-1.8【状态管理】SSTMSSTMSTMSTMSTMSTM在V9中设定状态管理变量在V9中不能设定状态管理变量※本项目为 STM调ESTM2-2.1ESTMESTMSTMSTMSTM〇□Sample;×STMSSTM进行ESTMSSTM调ESTMSSTMESTMSSTMSTMSSTM2-2.2SSTMSTMSSTMSTMSSTM克隆STM调STMSTM〇×STMSTMSTM〇□Sample[1];×STM〇□Sample(1);×□Sample(1STMSTM〇×带有参数STM调STMSTM〇□Sample(arg1);×□Sample(arg1)(arg2STMSTM其他的STM调2.2.1～2.2.4STMSTMSTM2-2.3STMSTMSTMSTMSTM。2-2.4STM对名称进行下列检查1)名称没有设2)名称和同阶层名称之间重复名称和同阶层名称之间不能重复。图2- 名称重复的3)名称不是一个记图2-3.2名称不是一个记号的4)注释持有图2-3.3注 持 号的5)条件switch记述的“#”前面没有记述变switch图2-3.4条件switch记述的“#”前面没有记述变量的例6)条件switch记述的“#”后面没有记述“case”switch“case图2-3.5条件switch记述的“#”后面没有记述“case”的7)进行消息、标记、内部消息型以外的条件switch记述条件switch记述只能记述消息、标记、内部消息型。图2-3.6使用对 以外 条件switch记述的例8)条件switch记述的default的后面存在图2- 条件switch记述的default的后面存在case的例对消息型进行下列检查消息型的的子中存在消息型、标记型、switch型以外的。消息型的的子的类型必须是消息型、标记型或switch型。图2-3.7消息 的 对标记型进行下列检查标记型的子中存在消息型、标记型、switch型以外的。标记型的子的类型必须是消息型、标记型或switch型。另外，标记型的子中设定的消息型，作为标记型处理图2-3.8标记 的 内部消息型的子的类型必须是消息型、内部消息型、标记型或switch型。另外，内部消息型的子中设定的消息型，作为内部消息型处理图2-3.9内部消息型的子为不正确类型的例内部消息型在S型STM中被使用※在ZIPC2000/2001中，虽然可以在S型STM中可以使用内部消息型，但是Sswitchswitch型的子以下存在消息型‘标记型’switch型以外的另外，switch型的子以下的消息型，作为标记型处理。图2-3.10switch 的 以 switch型的子中存在消息型、标记型以外的类型switch型的子的类型必须是消息型或标记型NG图2-3.11switch型的子为不正确类型的例switch型没有switch型必须要有子switch型的子中存在elseswitch型的子中不能存在else。图2-3.12switch 的 为 switch型的子只有defaultswitch型的子必须有default以外的case（标记型图2-3.13switch型的子只有default的例switch型的子被指定为IF-IF解图2-3.14switch 的 指定为IF-IF解析的例switch型为实体switch型不能为实体框图2-3.15switch 为实体框的例函数调用型的子中存在消息型、标记型、switch型以外的。函数调用型的子类型必须是消息型、标记型、或switch型。另外，函数调用型的子中指定的消息型，作为标记型处理图2-3.16函数调用型的子为不正确类型的例在库TM外的STM中，使用的函数调用型中要使用STM设定的参数，所以不能记述参函数调用型在E型库STM以外的STM中使用 函数组型的子中存在函数调用型、消息型、标记型、switch型以外的函数组型的子类型必须是函数调用型、消息型，标记型或switch型。图2-3.17函数组型的子为不正确类型的例函数组型的子中不存在函数调用型函数组型的子中必须存在函数调用型。图2-3.18函数组型的子中没有函数调用型的例函数组型在E型库STM以外的STM中使用函数组型不能在E型库STM以外的STM中使用。对中断型进行下列检查NG图2-3.19中断型的子为不正确类型的例中断型在到句柄的STM以外的STM中使用中断型只能在到句柄的STM中使用。图2-3.20中断 的例中断型到S型STM中断型为了进行驱动型的动作，不能到S型STM中※本项目为 图2-3.21自动转移型中存在不可能单元格的自动转移型在S型STM中使用自动转移 else图2-3.22else不在同阶层的最后的例图2-3.23 中存在缺省单元格的例图2-3.24else在不正确的后面的例else单独存图2-3.25 单独存在的例default图2-3.26default设定为switch型的子以外的的例图2-3.27 中存在缺省单元格的例触发没有在最上层的父中设定触发只能在最上层的父中设定。图2-3.28触发没有在最上层中设定的例触发的类型不为消息图2-3.29触 的类型不为消息型的例触发存在于框中图2-3.30触发存在于框中的例触发关键字在名称开头以外的地方记述触发关键字必须记述在名称的开头。〇×触发在同一个STM中了多个触发在一个STM中只能一个。图2-3.31同一STM中存在多个触 的触发到阶层号0以外的STM中触发只能到阶层号0的STM中。NG图2-3.32触 到阶层0以外的STM中的例对实体框进行下列检查对实体框的实体部分进行字符串记述对实体框的实体部分不能进行字符串记述。实体框的实体部分的类型不为消息型对于实体框的实体部分，不能设定类型。对实体框的实体部分设定了日程号码对实体框的实体部分不能设定日程号码。在实体框的实体部分了activity（特定处理在实体框的实体部分不能发生时开始activity和发生时结束activity图2- 实体框的实体部分中存在activity的例因为else和紧接着之前的相关，一旦设定日程号码之后，和哪个相关就对default设定了日程号码后，default分支有可能不出现在switch语句的最后。因此，对default 对解析规则（IF-ELSEIF/IF-IF解析指定）进行下列检查对消息型、标记型、内部消息型以外的进行IF-IF解析指定对消息型、标记型、内部消息型以外的不进行解析。图2-3.34对不正确类型 进行IF-IF解析指定的例另外，在IF-IF解析指定中使用else时，该在紧接着之前的产生条件都不图2-3.35IF-IF解析指定 的同一阶 中存在else的例缺省单元格在同一阶层中存在多个图2-3.36缺省单元格在同一阶层中存在多个的例缺省单元格在消息型、标记型、内部消息型以外的中设定图2-3.37缺省单元格存在于不正确类型 STM库STM的最上层中存在函数组型、函数调用以外的库STM的最上层中不可以存在函数组型、函数调用以外的図2-3.38库STM的最上层存在不正确类 状2-4.12-4.22-4.3在状态实体框的实体部分状态开始activity2-4.4activity在状态实体框的实体部分状态结束activityNG2-4.5activity在状态实体框的实体部分状态模式activityNG2-4.6activity2-4.72-4.82-4.92-4.10图2-4.12else2-4.13S型阶层状SSTMSSTM2-4.14SSTMSSTMSTMS，SSSTMSTMSS2-4.15SSTMSSSTMSTMSSTMSTM特定处理1)在各种特定处理中，使用转移记号、zset动以状态实体框的父状态的实体部分的动作记述转移，并且在子状态的动作中记述处理以（）图2-6.1状态实体框的实体部 2-6.2switchswitch2-6.3switch2-6.4switchcase2-6.5switchdefaultcaseswitchif2-6.6switchifswitch单元case单元2-6.7case2-6.8else2-6.9elsecasedefaultcasedefault2-6.10casedefault2.6.1～2.6.81)发生时，所有动作单元格中都不存在处理図2- 图2-6.12状态激活时，不论产生哪 ※在V9中对该项目查 转〇S2(D)×2-7.12-7.2在S型阶层化状态的动作单元格中记述转移，而在同一的子STM的动作单元格中记2-7.3SSTMSTMSTMSTMSTM2-7.42-7.5“(F)，“(M)，4ZIPC2000“F“MDZIPC2001V9“F“MD*X（X 其他设计（FNC在同一任务、句柄内的FNC中，存在重名函数另外，在系统共通中的FNC影响所有任务/句柄；在任务共通中的FNC,影响所有任务在句柄共通中的FNC,影响所有句柄因此在各共通中的FNC和各任务、句柄中的FNC的函数名称也不能重复。在用户C文件和向量表中的函数检查对象。关于向向量表中的函数请14TEV（ZIPCVer.9）对TEVTEVinmail，$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$关$T$中指定 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中的定义系统调ZIPC2000不对应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。switch型switch型检查选项可以设定为ON/OFF。3.5。函数调用型检查选项可以设定为ON/OFF。3.6。函数组型函数组型检查选项可以设定为ON/OFF。3.7。中断型中断型检查选项可以设定为ON/OFF。3.8。自动转移型检查选项可以设定为ON/OFF。3.9。elseelse检查选项可以设定为ON/OFF3.10。defaultdefault检查选项可以设定为ON/OFF。3.11。triggertrigger检查选项可以设定为ON/OFF。3.12。ON/OFF。3.14。ON/OFF。3.15。ON/OFF。3.16。STM库的STM库的检查选项可以设定为ON/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【文档检查设定】的【其他】.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