2020-03-23 15:04:43 +00:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2020-04-08 22:41:00 +00:00
< title > Version Number Ranges< / title >
2020-03-23 15:04:43 +00:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
< link href = "../inweb.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-10 20:29:28 +00:00
2020-03-23 15:04:43 +00:00
< / head >
< body >
< nav role = "navigation" >
2020-04-13 16:06:45 +00:00
< h1 > < a href = "../index.html" >
2020-04-14 17:36:42 +00:00
< img src = "../docs-src/Figures/Octagram184x184.png" width = 72 height = 72" >
2020-04-13 16:06:45 +00:00
< / a > < / h1 >
< ul > < li > < a href = "../inweb/index.html" > inweb< / a > < / li >
< / ul > < h2 > Foundation Module< / h2 > < ul >
< li > < a href = "index.html" > < span class = "selectedlink" > foundation< / span > < / a > < / li >
2020-03-23 15:04:43 +00:00
< li > < a href = "../foundation-test/index.html" > foundation-test< / a > < / li >
2020-04-13 16:06:45 +00:00
< / ul > < h2 > Example Webs< / h2 > < ul >
2020-04-12 16:24:23 +00:00
< li > < a href = "../goldbach/index.html" > goldbach< / a > < / li >
< li > < a href = "../twinprimes/twinprimes.html" > twinprimes< / a > < / li >
2020-04-14 17:36:42 +00:00
< / ul > < h2 > Repository< / h2 > < ul >
2020-04-14 19:29:03 +00:00
< li > < a href = "https://github.com/ganelson/inweb" > < img src = "../github.png" height = 18 > github< / a > < / li >
2020-04-14 17:36:42 +00:00
< / ul > < h2 > Related Projects< / h2 > < ul >
< li > < a href = "../../../inform/docs/index.html" > inform< / a > < / li >
< li > < a href = "../../../intest/docs/index.html" > intest< / a > < / li >
2020-03-23 15:04:43 +00:00
2020-04-13 16:06:45 +00:00
< / ul >
2020-03-23 15:04:43 +00:00
< / nav >
< main role = "main" >
2020-04-08 22:41:00 +00:00
<!-- Weave of 'Version Number Ranges' generated by 7 -->
2020-04-13 16:06:45 +00:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "index.html" > foundation< / a > < / li > < li > < a href = "index.html#7" > Chapter 7: Semantic Versioning< / a > < / li > < li > < b > Version Number Ranges< / b > < / li > < / ul > < p class = "purpose" > Ranges of acceptable version numbers.< / p >
2020-03-23 15:04:43 +00:00
< ul class = "toc" > < li > < a href = "#SP1" > § 1. Ranges< / a > < / li > < / ul > < hr class = "tocbar" >
< p class = "inwebparagraph" > < a id = "SP1" > < / a > < b > § 1. Ranges. < / b > We often want to check if a semver lies in a given precedence range, which we
store as an "interval" in the mathematical sense. For example, the range < code class = "display" > < span class = "extract" > [2,6)< / span > < / code >
means all versions from 2.0.0 (inclusve) up to, but not equal to, 6.0.0. The
lower end is called "closed" because it includes the end-value 2.0.0, and the
upper end "open" because it does not. An infinite end means that there
os no restriction in that direction; an empty end means that, in fact, the
interval is the empty set, that is, that no version number can ever satisfy it.
< / p >
< p class = "inwebparagraph" > The < code class = "display" > < span class = "extract" > end_value< / span > < / code > element is meaningful only for < code class = "display" > < span class = "extract" > CLOSED_RANGE_END< / span > < / code > and < code class = "display" > < span class = "extract" > OPEN_RANGE_END< / span > < / code >
ends. If one end is marked < code class = "display" > < span class = "extract" > EMPTY_RANGE_END< / span > < / code > , so must the other be: it makes
no sense for an interval to be empty seen from one end but not the other.
< / p >
< pre class = "definitions" >
2020-04-06 11:26:10 +00:00
< span class = "definitionkeyword" > enum< / span > < span class = "constant" > CLOSED_RANGE_END< / span > < span class = "definitionkeyword" > from < / span > < span class = "constant" > 1< / span >
< span class = "definitionkeyword" > enum< / span > < span class = "constant" > OPEN_RANGE_END< / span >
< span class = "definitionkeyword" > enum< / span > < span class = "constant" > INFINITE_RANGE_END< / span >
< span class = "definitionkeyword" > enum< / span > < span class = "constant" > EMPTY_RANGE_END< / span >
2020-03-23 15:04:43 +00:00
< / pre >
< pre class = "display" >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > typedef< / span > < span class = "plain" > < / span > < span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > range_end< / span > < span class = "plain" > {< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > end_type< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > semantic_version_number< / span > < span class = "plain" > < / span > < span class = "identifier" > end_value< / span > < span class = "plain" > ;< / span >
< span class = "plain" > } < / span > < span class = "reserved" > range_end< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > typedef< / span > < span class = "plain" > < / span > < span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > semver_range< / span > < span class = "plain" > {< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > range_end< / span > < span class = "plain" > < / span > < span class = "identifier" > lower< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > struct< / span > < span class = "plain" > < / span > < span class = "reserved" > range_end< / span > < span class = "plain" > < / span > < span class = "identifier" > upper< / span > < span class = "plain" > ;< / span >
< span class = "constant" > MEMORY_MANAGEMENT< / span >
< span class = "plain" > } < / span > < span class = "reserved" > semver_range< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "endnote" > The structure range_end is private to this section.< / p >
< p class = "endnote" > The structure semver_range is private to this section.< / p >
< p class = "inwebparagraph" > < a id = "SP2" > < / a > < b > § 2. < / b > As hinted above, the notation < code class = "display" > < span class = "extract" > [< / span > < / code > and < code class = "display" > < span class = "extract" > ]< / span > < / code > is used for closed ends, and < code class = "display" > < span class = "extract" > (< / span > < / code >
and < code class = "display" > < span class = "extract" > )< / span > < / code > for open ones.
< / p >
< pre class = "display" >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > void< / span > < span class = "plain" > < / span > < span class = "functiontext" > VersionNumberRanges::write_range< button class = "popup" onclick = "togglePopup('usagePopup481')" > ...< span class = "popuptext" id = "usagePopup481" > Usage of < b > VersionNumberRanges::write_range< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "constant" > OUTPUT_STREAM< / span > < span class = "plain" > , < / span > < span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "identifier" > R< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > R< / span > < span class = "plain" > == < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) < / span > < span class = "identifier" > internal_error< / span > < span class = "plain" > (< / span > < span class = "string" > "no range"< / span > < span class = "plain" > );< / span >
< span class = "reserved" > switch< / span > < span class = "plain" > (< / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "identifier" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > CLOSED_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "identifier" > WRITE< / span > < span class = "plain" > (< / span > < span class = "string" > "[%v,"< / span > < span class = "plain" > , & (< / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > )); < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > OPEN_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "identifier" > WRITE< / span > < span class = "plain" > (< / span > < span class = "string" > "(%v,"< / span > < span class = "plain" > , & (< / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > )); < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > INFINITE_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "identifier" > WRITE< / span > < span class = "plain" > (< / span > < span class = "string" > "(-infty,"< / span > < span class = "plain" > ); < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > EMPTY_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "identifier" > WRITE< / span > < span class = "plain" > (< / span > < span class = "string" > "empty"< / span > < span class = "plain" > ); < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > switch< / span > < span class = "plain" > (< / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "identifier" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > CLOSED_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "identifier" > WRITE< / span > < span class = "plain" > (< / span > < span class = "string" > "%v]"< / span > < span class = "plain" > , & (< / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > )); < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > OPEN_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "identifier" > WRITE< / span > < span class = "plain" > (< / span > < span class = "string" > "%v)"< / span > < span class = "plain" > , & (< / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > )); < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > INFINITE_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "identifier" > WRITE< / span > < span class = "plain" > (< / span > < span class = "string" > "infty)"< / span > < span class = "plain" > ); < / span > < span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "inwebparagraph" > < a id = "SP3" > < / a > < b > § 3. < / b > The "allow anything" range runs from minus to plus infinity. Every version
number lies in this range.
< / p >
< pre class = "display" >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "functiontext" > VersionNumberRanges::any_range< button class = "popup" onclick = "togglePopup('usagePopup482')" > ...< span class = "popuptext" id = "usagePopup482" > Usage of < b > VersionNumberRanges::any_range< / b > :< br > < a href = "#SP4" > § 4< / a > , < a href = "#SP5" > § 5< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > void< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "identifier" > R< / span > < span class = "plain" > = < / span > < span class = "identifier" > CREATE< / span > < span class = "plain" > (< / span > < span class = "reserved" > semver_range< / span > < span class = "plain" > );< / span >
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > ;< / span >
2020-04-11 22:43:27 +00:00
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "7-vn.html#SP4" > VersionNumbers::null< / a > < / span > < span class = "plain" > ();< / span >
2020-04-06 11:26:10 +00:00
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > ;< / span >
2020-04-11 22:43:27 +00:00
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "7-vn.html#SP4" > VersionNumbers::null< / a > < / span > < span class = "plain" > ();< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > R< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > VersionNumberRanges::is_any_range< button class = "popup" onclick = "togglePopup('usagePopup483')" > ...< span class = "popuptext" id = "usagePopup483" > Usage of < b > VersionNumberRanges::is_any_range< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "identifier" > R< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > R< / span > < span class = "plain" > == < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > ))< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "inwebparagraph" > < a id = "SP4" > < / a > < b > § 4. < / b > The "compatibility" range for a given version lies at the heart of semver:
to be compatible with version < code class = "display" > < span class = "extract" > V< / span > < / code > , version < code class = "display" > < span class = "extract" > W< / span > < / code > must be of equal or greater
precedence, and must have the same major version number. For example,
for < code class = "display" > < span class = "extract" > 2.1.7< / span > < / code > the range will be < code class = "display" > < span class = "extract" > [2.1.7, 3-A)< / span > < / code > , all versions at least 2.1.7 but
not as high as 3.0.0-A.
< / p >
< p class = "inwebparagraph" > Note that < code class = "display" > < span class = "extract" > 3.0.0-A< / span > < / code > is the least precendent version allowed by semver with
major version 3. The < code class = "display" > < span class = "extract" > -< / span > < / code > gives it lower precedence than all release versions of
3.0.0; the fact that upper case < code class = "display" > < span class = "extract" > A< / span > < / code > is alphabetically the earliest non-empty
alphanumeric string gives it lower precendence than all other prerelease
versions.
< / p >
< pre class = "display" >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "functiontext" > VersionNumberRanges::compatibility_range< button class = "popup" onclick = "togglePopup('usagePopup484')" > ...< span class = "popuptext" id = "usagePopup484" > Usage of < b > VersionNumberRanges::compatibility_range< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > semantic_version_number< / span > < span class = "plain" > < / span > < span class = "identifier" > V< / span > < span class = "plain" > ) {< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "identifier" > R< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "#SP3" > VersionNumberRanges::any_range< / a > < / span > < span class = "plain" > ();< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "functiontext" > < a href = "7-vn.html#SP4" > VersionNumbers::is_null< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > ) == < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > CLOSED_RANGE_END< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > = < / span > < span class = "identifier" > V< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > OPEN_RANGE_END< / span > < span class = "plain" > ;< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > semantic_version_number< / span > < span class = "plain" > < / span > < span class = "identifier" > W< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "7-vn.html#SP4" > VersionNumbers::null< / a > < / span > < span class = "plain" > ();< / span >
2020-04-06 11:26:10 +00:00
< span class = "identifier" > W< / span > < span class = "plain" > .< / span > < span class = "element" > version_numbers< / span > < span class = "plain" > [0] = < / span > < span class = "identifier" > V< / span > < span class = "plain" > .< / span > < span class = "element" > version_numbers< / span > < span class = "plain" > [0] + < / span > < span class = "constant" > 1< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > W< / span > < span class = "plain" > .< / span > < span class = "element" > prerelease_segments< / span > < span class = "plain" > = < / span > < span class = "identifier" > NEW_LINKED_LIST< / span > < span class = "plain" > (< / span > < span class = "reserved" > text_stream< / span > < span class = "plain" > );< / span >
< span class = "identifier" > ADD_TO_LINKED_LIST< / span > < span class = "plain" > (< / span > < span class = "identifier" > I< / span > < span class = "string" > "A"< / span > < span class = "plain" > , < / span > < span class = "reserved" > text_stream< / span > < span class = "plain" > , < / span > < span class = "identifier" > W< / span > < span class = "plain" > .< / span > < span class = "element" > prerelease_segments< / span > < span class = "plain" > );< / span >
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > = < / span > < span class = "identifier" > W< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > R< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "inwebparagraph" > < a id = "SP5" > < / a > < b > § 5. < / b > More straightforwardly, these ranges are for anything from V, or up to V,
inclusive:
< / p >
< pre class = "display" >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "functiontext" > VersionNumberRanges::at_least_range< button class = "popup" onclick = "togglePopup('usagePopup485')" > ...< span class = "popuptext" id = "usagePopup485" > Usage of < b > VersionNumberRanges::at_least_range< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > semantic_version_number< / span > < span class = "plain" > < / span > < span class = "identifier" > V< / span > < span class = "plain" > ) {< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "identifier" > R< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "#SP3" > VersionNumberRanges::any_range< / a > < / span > < span class = "plain" > ();< / span >
2020-04-06 11:26:10 +00:00
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > CLOSED_RANGE_END< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > = < / span > < span class = "identifier" > V< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > R< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "functiontext" > VersionNumberRanges::at_most_range< button class = "popup" onclick = "togglePopup('usagePopup486')" > ...< span class = "popuptext" id = "usagePopup486" > Usage of < b > VersionNumberRanges::at_most_range< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > semantic_version_number< / span > < span class = "plain" > < / span > < span class = "identifier" > V< / span > < span class = "plain" > ) {< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "identifier" > R< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "#SP3" > VersionNumberRanges::any_range< / a > < / span > < span class = "plain" > ();< / span >
2020-04-06 11:26:10 +00:00
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > CLOSED_RANGE_END< / span > < span class = "plain" > ;< / span >
< span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > = < / span > < span class = "identifier" > V< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > R< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "inwebparagraph" > < a id = "SP6" > < / a > < b > § 6. < / b > Here we test whether V is at least a given end, and then at most:
< / p >
< pre class = "display" >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > VersionNumberRanges::version_ge_end< button class = "popup" onclick = "togglePopup('usagePopup487')" > ...< span class = "popuptext" id = "usagePopup487" > Usage of < b > VersionNumberRanges::version_ge_end< / b > :< br > < a href = "#SP7" > § 7< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > semantic_version_number< / span > < span class = "plain" > < / span > < span class = "identifier" > V< / span > < span class = "plain" > , < / span > < span class = "reserved" > range_end< / span > < span class = "plain" > < / span > < span class = "identifier" > E< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > switch< / span > < span class = "plain" > (< / span > < span class = "identifier" > E< / span > < span class = "plain" > .< / span > < span class = "identifier" > end_type< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > CLOSED_RANGE_END:< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "functiontext" > < a href = "7-vn.html#SP4" > VersionNumbers::is_null< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "functiontext" > < a href = "7-vn.html#SP11" > VersionNumbers::ge< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > , < / span > < span class = "identifier" > E< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > OPEN_RANGE_END:< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "functiontext" > < a href = "7-vn.html#SP4" > VersionNumbers::is_null< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "functiontext" > < a href = "7-vn.html#SP11" > VersionNumbers::gt< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > , < / span > < span class = "identifier" > E< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > INFINITE_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > EMPTY_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > VersionNumberRanges::version_le_end< button class = "popup" onclick = "togglePopup('usagePopup488')" > ...< span class = "popuptext" id = "usagePopup488" > Usage of < b > VersionNumberRanges::version_le_end< / b > :< br > < a href = "#SP7" > § 7< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > semantic_version_number< / span > < span class = "plain" > < / span > < span class = "identifier" > V< / span > < span class = "plain" > , < / span > < span class = "reserved" > range_end< / span > < span class = "plain" > < / span > < span class = "identifier" > E< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > switch< / span > < span class = "plain" > (< / span > < span class = "identifier" > E< / span > < span class = "plain" > .< / span > < span class = "identifier" > end_type< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > CLOSED_RANGE_END:< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "functiontext" > < a href = "7-vn.html#SP4" > VersionNumbers::is_null< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "functiontext" > < a href = "7-vn.html#SP8" > VersionNumbers::le< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > , < / span > < span class = "identifier" > E< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > OPEN_RANGE_END:< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "functiontext" > < a href = "7-vn.html#SP4" > VersionNumbers::is_null< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "functiontext" > < a href = "7-vn.html#SP11" > VersionNumbers::lt< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > , < / span > < span class = "identifier" > E< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > break< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > INFINITE_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > case< / span > < span class = "plain" > < / span > < span class = "identifier" > EMPTY_RANGE_END:< / span > < span class = "plain" > < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "inwebparagraph" > < a id = "SP7" > < / a > < b > § 7. < / b > This allows a simple way to write:
< / p >
< pre class = "display" >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > VersionNumberRanges::in_range< button class = "popup" onclick = "togglePopup('usagePopup489')" > ...< span class = "popuptext" id = "usagePopup489" > Usage of < b > VersionNumberRanges::in_range< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > semantic_version_number< / span > < span class = "plain" > < / span > < span class = "identifier" > V< / span > < span class = "plain" > , < / span > < span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "identifier" > R< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > R< / span > < span class = "plain" > == < / span > < span class = "identifier" > NULL< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "functiontext" > < a href = "#SP6" > VersionNumberRanges::version_ge_end< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > , < / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > )) & & < / span >
< span class = "plain" > (< / span > < span class = "functiontext" > < a href = "#SP6" > VersionNumberRanges::version_le_end< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > V< / span > < span class = "plain" > , < / span > < span class = "identifier" > R< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > ))) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "inwebparagraph" > < a id = "SP8" > < / a > < b > § 8. < / b > The following decides which end restriction is stricter: it returns 1
of < code class = "display" > < span class = "extract" > E1< / span > < / code > is, -1 if < code class = "display" > < span class = "extract" > E2< / span > < / code > is, and 0 if they are equally onerous.
< / p >
< p class = "inwebparagraph" > The empty set is as strict as it gets: nothing qualifies.
< / p >
< p class = "inwebparagraph" > Similarly, infinite ends are as relaxed as can be: everything qualifies.
< / p >
< p class = "inwebparagraph" > And otherwise, we need to know which end we're looking at in order to decide:
a lower end of < code class = "display" > < span class = "extract" > [4, ...]< / span > < / code > is stricter than a lower end of < code class = "display" > < span class = "extract" > [3, ...]< / span > < / code > , but an
upper end of < code class = "display" > < span class = "extract" > [..., 4]< / span > < / code > is not as strict as an upper end of < code class = "display" > < span class = "extract" > [..., 3]< / span > < / code > . Where
the boundary value is the same, open ends are stricter than closed ends.
< / p >
< pre class = "display" >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > VersionNumberRanges::stricter< button class = "popup" onclick = "togglePopup('usagePopup490')" > ...< span class = "popuptext" id = "usagePopup490" > Usage of < b > VersionNumberRanges::stricter< / b > :< br > < a href = "#SP9" > § 9< / a > < / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > range_end< / span > < span class = "plain" > < / span > < span class = "identifier" > E1< / span > < span class = "plain" > , < / span > < span class = "reserved" > range_end< / span > < span class = "plain" > < / span > < span class = "identifier" > E2< / span > < span class = "plain" > , < / span > < span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > lower< / span > < span class = "plain" > ) {< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > E1< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > E2< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > 0< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > E1< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > 1< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > E2< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > -1;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > E1< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > E2< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > 0< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > E1< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > -1;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > E2< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > 1< / span > < span class = "plain" > ;< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > c< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "7-vn.html#SP12" > VersionNumbers::cmp< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > E1< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > E2< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > );< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > c< / span > < span class = "plain" > != < / span > < span class = "constant" > 0< / span > < span class = "plain" > ) {< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > lower< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "identifier" > c< / span > < span class = "plain" > ; < / span > < span class = "reserved" > else< / span > < span class = "plain" > < / span > < span class = "reserved" > return< / span > < span class = "plain" > -< / span > < span class = "identifier" > c< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > E1< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "identifier" > E2< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > 0< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > E1< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > CLOSED_RANGE_END< / span > < span class = "plain" > ) < / span > < span class = "reserved" > return< / span > < span class = "plain" > -1;< / span >
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > 1< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< p class = "inwebparagraph" > < a id = "SP9" > < / a > < b > § 9. < / b > And so we finally arrive at the following, which intersects two ranges:
that is, it changes < code class = "display" > < span class = "extract" > R1< / span > < / code > to the range of versions which lie inside both the
original < code class = "display" > < span class = "extract" > R1< / span > < / code > and also < code class = "display" > < span class = "extract" > R2< / span > < / code > . (This is used by Inbuild when an extension is
included in two different places in the source text, but with possibly
different version needs.) The return value is true if an actual change took
place, and false otherwise.
< / p >
< pre class = "display" >
2020-04-13 22:30:42 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "functiontext" > VersionNumberRanges::intersect_range< button class = "popup" onclick = "togglePopup('usagePopup491')" > ...< span class = "popuptext" id = "usagePopup491" > Usage of < b > VersionNumberRanges::intersect_range< / b > :< br > none< / span > < / button > < / span > < span class = "plain" > (< / span > < span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "identifier" > R1< / span > < span class = "plain" > , < / span > < span class = "reserved" > semver_range< / span > < span class = "plain" > *< / span > < span class = "identifier" > R2< / span > < span class = "plain" > ) {< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > lc< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "#SP8" > VersionNumberRanges::stricter< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > , < / span > < span class = "identifier" > R2< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > , < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > );< / span >
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > uc< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "#SP8" > VersionNumberRanges::stricter< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > , < / span > < span class = "identifier" > R2< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > , < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > );< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > lc< / span > < span class = "plain" > > = < / span > < span class = "constant" > 0< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > uc< / span > < span class = "plain" > > = < / span > < span class = "constant" > 0< / span > < span class = "plain" > )) < / span > < span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > FALSE< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > lc< / span > < span class = "plain" > < < / span > < span class = "constant" > 0< / span > < span class = "plain" > ) < / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > = < / span > < span class = "identifier" > R2< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > uc< / span > < span class = "plain" > < < / span > < span class = "constant" > 0< / span > < span class = "plain" > ) < / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > = < / span > < span class = "identifier" > R2< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > ) < / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > else< / span > < span class = "plain" > < / span > < span class = "reserved" > if< / span > < span class = "plain" > (< / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > ) < / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > ;< / span >
< span class = "reserved" > else< / span > < span class = "plain" > < / span > < span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > != < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > ) & & (< / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > != < / span > < span class = "constant" > INFINITE_RANGE_END< / span > < span class = "plain" > )) {< / span >
2020-04-11 22:43:27 +00:00
< span class = "reserved" > int< / span > < span class = "plain" > < / span > < span class = "identifier" > c< / span > < span class = "plain" > = < / span > < span class = "functiontext" > < a href = "7-vn.html#SP12" > VersionNumbers::cmp< / a > < / span > < span class = "plain" > (< / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > , < / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_value< / span > < span class = "plain" > );< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > if< / span > < span class = "plain" > ((< / span > < span class = "identifier" > c< / span > < span class = "plain" > > < / span > < span class = "constant" > 0< / span > < span class = "plain" > ) ||< / span >
< span class = "plain" > ((< / span > < span class = "identifier" > c< / span > < span class = "plain" > == < / span > < span class = "constant" > 0< / span > < span class = "plain" > ) & & ((< / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > OPEN_RANGE_END< / span > < span class = "plain" > ) ||< / span >
< span class = "plain" > (< / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "identifier" > end_type< / span > < span class = "plain" > == < / span > < span class = "constant" > OPEN_RANGE_END< / span > < span class = "plain" > )))) {< / span >
< span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > lower< / span > < span class = "plain" > .< / span > < span class = "identifier" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > ; < / span > < span class = "identifier" > R1< / span > < span class = "plain" > -> < / span > < span class = "element" > upper< / span > < span class = "plain" > .< / span > < span class = "element" > end_type< / span > < span class = "plain" > = < / span > < span class = "constant" > EMPTY_RANGE_END< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
< span class = "plain" > }< / span >
2020-04-06 11:26:10 +00:00
< span class = "reserved" > return< / span > < span class = "plain" > < / span > < span class = "constant" > TRUE< / span > < span class = "plain" > ;< / span >
2020-03-23 15:04:43 +00:00
< span class = "plain" > }< / span >
< / pre >
< p class = "inwebparagraph" > < / p >
< hr class = "tocbar" >
< ul class = "toc" > < li > < a href = "7-vn.html" > Back to 'Version Numbers'< / a > < / li > < li > < i > (This section ends Chapter 7: Semantic Versioning.)< / i > < / li > < / ul > < hr class = "tocbar" >
<!-- End of weave -->
2020-04-11 20:39:43 +00:00
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
< link href = "Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-03-23 15:04:43 +00:00
< / main >
< / body >
< / html >
