Remove the last few @OnFail numbers!

INTO-CPS-Association · Jan 27, 2024 · d795a03 · d795a03
1 parent 092022e
commit d795a03
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -264,7 +264,7 @@ validVariableAttributes(sv) ==
 					eVariability = <continuous>
 					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) ==
 
 				<continuous> ->
 					eCausality in set {<input>, <output>, <local>, <independent>}
-					-- @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