回答问题 · 2018-08-30 18:47 LSX-00331:缺少逗号 原因:范围说明中缺少逗号。 操作:添加缺少的字符。
回答问题 · 2018-08-30 18:47 LSX-00332:量化器规格中的十进制数字差 原因: Quatifier具有无效字符。 操作:删除非法字符。
回答问题 · 2018-08-30 18:47 LSX-00281:未定义引用ID“?S” 原因:引用的ID名称未在模式范围内定义。 操作:定义ID。
回答问题 · 2018-08-30 18:47 LSX-00282:重复符号名称“?S” 原因: “符号”元素的名称在模式范围内不是唯一的。 操作:重命名元素。
回答问题 · 2018-08-30 18:47 LSX-00283:未定义引用符号“?S” 原因:引用的符号名称未在模式范围内定义。 动作:定义元素。
回答问题 · 2018-08-30 18:47 LSX-00284:重复约束名称“?S” 原因:每个约束声明都有一个名称,它存在于约束的单个符号空间中。 操作:选择不同的名称。
回答问题 · 2018-08-30 18:47 LSX-00285:未定义引用键“?S” 原因:引用的密钥名称未在模式范围内定义。 动作:定义键。
回答问题 · 2018-08-30 18:47 LSX-00286:{“?S”}“?S”的重复键“?S” 原因:键值在其范围内不是唯一的。 操作:更改键值。
回答问题 · 2018-08-30 18:47 LSX-00287:重复键“?S” 原因:键值在其范围内不是唯一的。 操作:更改键值。
回答问题 · 2018-08-30 18:47 LSX-00290:无效枚举选择“?S” 原因:数据的值不是枚举选项之一。 操作:选择其中一个枚举选项作为其值。