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-00290:无效枚举选择“?S”,.原因:数据的值不是枚举选项之一。,.操作:选择其中一个枚举选项作为其值。,.
回答于 2018-08-30 18:47