spec.version: add PreConditions version

iK4tsu · dkorpel · commit 865a0b987151 · 2022-03-03T14:24:42.000+01:00
Signed-off-by: João Lourenço &lt;jlourenco5691@gmail.com&gt;
diff --git a/spec/version.dd b/spec/version.dd
@@ -354,6 +354,7 @@ $(H3 $(LEGACY_LNAME2 PredefinedVersions, predefined-versions, Predefined Version
         $(TROW $(ARGS $(D unittest)) , $(ARGS $(DDLINK spec/unittest, Unit Tests, Unit tests) are enabled
                 (command line switch $(DDSUBLINK dmd, switch-unittest, $(TT -unittest)))))
         $(TROW $(ARGS $(D assert)) , $(ARGS Checks are being emitted for $(GLINK2 expression, AssertExpression)s))
+        $(TROW $(ARGS $(D D_PreConditions)) , $(ARGS Checks are being emitted for $(GLINK2 expression, InContractExpression)s))
         $(TROW $(ARGS $(D none)) , $(ARGS Never defined; used to just disable a section of code))
         $(TROW $(ARGS $(D all)) , $(ARGS Always defined; used as the opposite of $(D none)))
         )

Original file line number	Diff line number	Diff line change
`@@ -354,6 +354,7 @@ $(H3 $(LEGACY_LNAME2 PredefinedVersions, predefined-versions, Predefined Version`
`354`	`354`	`$(TROW $(ARGS $(D unittest)) , $(ARGS $(DDLINK spec/unittest, Unit Tests, Unit tests) are enabled`
`355`	`355`	`(command line switch $(DDSUBLINK dmd, switch-unittest, $(TT -unittest)))))`
`356`	`356`	`$(TROW $(ARGS $(D assert)) , $(ARGS Checks are being emitted for $(GLINK2 expression, AssertExpression)s))`
	`357`	`+ $(TROW $(ARGS $(D D_PreConditions)) , $(ARGS Checks are being emitted for $(GLINK2 expression, InContractExpression)s))`
`357`	`358`	`$(TROW $(ARGS $(D none)) , $(ARGS Never defined; used to just disable a section of code))`
`358`	`359`	`$(TROW $(ARGS $(D all)) , $(ARGS Always defined; used as the opposite of $(D none)))`
`359`	`360`	`)`