From d795a03f03e5c248601c6e410a6c89198d1cff71 Mon Sep 17 00:00:00 2001 From: Nick Battle Date: Sat, 27 Jan 2024 15:39:13 +0000 Subject: [PATCH] Remove the last few @OnFail numbers! --- fmi2/rule-model/Rules/FmiModelDescription.adoc | 4 ++-- fmi3/rule-model/Rules/ModelVariables.adoc | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/fmi2/rule-model/Rules/FmiModelDescription.adoc b/fmi2/rule-model/Rules/FmiModelDescription.adoc index f54da66..6109bcb 100644 --- a/fmi2/rule-model/Rules/FmiModelDescription.adoc +++ b/fmi2/rule-model/Rules/FmiModelDescription.adoc @@ -253,12 +253,12 @@ validMinMax(fmd, evs) == allOf -- @OnFail("%NAME: max %s not >= min %s", type.max, type.min) ( type.max >= type.min ), - -- @OnFail(1034, "%NAME: ScalarVariable %s min/max exceeds RealType %s at %#s", + -- @OnFail("%NAME: ScalarVariable %s min/max exceeds RealType %s at %#s", -- ev.name, ev.fmi2ScalarVariable.declaredType, loc2str(ev.location)) ( tdef <> nil and tdef.fmi2SimpleType.min <> nil and type.min <> nil => tdef.fmi2SimpleType.min <= type.min ), - -- @OnFail(1034, "%NAME: ScalarVariable %s min/max exceeds RealType %s at %#s", + -- @OnFail("%NAME: ScalarVariable %s min/max exceeds RealType %s at %#s", -- ev.name, ev.fmi2ScalarVariable.declaredType, loc2str(ev.location)) ( tdef <> nil and tdef.fmi2SimpleType.max <> nil and type.max <> nil => tdef.fmi2SimpleType.max >= type.max ) diff --git a/fmi3/rule-model/Rules/ModelVariables.adoc b/fmi3/rule-model/Rules/ModelVariables.adoc index 4c94c5d..a2b44be 100644 --- a/fmi3/rule-model/Rules/ModelVariables.adoc +++ b/fmi3/rule-model/Rules/ModelVariables.adoc @@ -264,7 +264,7 @@ validVariableAttributes(sv) == eVariability = and eInitial = nil -- (D) and sv.start = nil - -- @OnFail(1461, "2.4.7 Independent variable must be Float at %#s", + -- @OnFail("2.4.7 Independent variable must be Float at %#s", -- loc2str(sv.location)) and (is_Float64(sv) or is_Float32(sv)), @@ -314,7 +314,7 @@ validVariableAttributes(sv) == -> eCausality in set {, , , } - -- @OnFail(1463, "2.4.7 Continuous variable must be Real at %#s", + -- @OnFail("2.4.7 Continuous variable must be Real at %#s", -- loc2str(sv.location)) and (is_Float64(sv) or is_Float32(sv)) end