synopkg 14.0.1

Consistent dependency versions in large JavaScript Monorepos
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255

use {crate::specifier::Specifier, std::rc::Rc};

#[test]
fn exact_version_satisfies_multiple_ranges() {
  let cases: Vec<(&str, Vec<&str>, bool)> = vec![
    // Single range
    ("1.2.3", vec!["^1.0.0"], true),
    ("1.2.3", vec!["^2.0.0"], false),
    // Multiple compatible ranges
    ("1.2.3", vec!["^1.0.0", "~1.2.0"], true),
    ("1.2.3", vec![">=1.0.0", "<2.0.0"], true),
    ("1.2.3", vec!["^1.0.0", ">=1.2.0", "<=1.3.0"], true),
    // One incompatible range fails all
    ("1.2.3", vec!["^1.0.0", "^2.0.0"], false),
    ("1.2.3", vec![">=1.0.0", "<1.2.0"], false),
    ("1.2.3", vec!["^1.0.0", "~1.3.0"], false),
    // Empty ranges (should be true - vacuous truth)
    ("1.2.3", vec![], true),
    // Many ranges all compatible
    ("1.2.3", vec![">=1.0.0", ">=1.2.0", ">=1.2.3", "<2.0.0", "<=1.2.3"], true),
  ];
  for (version, ranges_str, expected) in cases {
    let spec = Specifier::new(version);
    let others: Vec<Rc<Specifier>> = ranges_str.iter().map(|r| Specifier::new(r)).collect();
    assert_eq!(
      spec.satisfies_all(&others),
      expected,
      "'{version}'.satisfies_all({ranges_str:?}) should be {expected}"
    );
  }
}

#[test]
fn range_specifiers_satisfy_multiple_ranges() {
  let cases: Vec<(&str, Vec<&str>, bool)> = vec![
    // Caret satisfies multiple
    ("^1.2.3", vec!["^1.0.0"], true),
    ("^1.2.3", vec!["^1.0.0", ">=1.2.0"], true),
    ("^1.2.3", vec!["^1.0.0", "^2.0.0"], false),
    // Tilde satisfies multiple
    ("~1.2.3", vec!["~1.2.0"], true),
    ("~1.2.3", vec!["^1.0.0", "~1.2.0"], true),
    ("~1.2.3", vec!["~1.2.0", "~1.3.0"], false),
    // Major version
    ("1", vec!["^1.0.0", ">=1.0.0"], true),
    ("1", vec!["^1.0.0", "^2.0.0"], false),
    // Minor version
    ("1.2", vec!["^1.0.0", "~1.2.0"], true),
    ("1.2", vec!["^1.0.0", "^2.0.0"], false),
  ];
  for (specifier, ranges_str, expected) in cases {
    let spec = Specifier::new(specifier);
    let others: Vec<Rc<Specifier>> = ranges_str.iter().map(|r| Specifier::new(r)).collect();
    assert_eq!(
      spec.satisfies_all(&others),
      expected,
      "'{specifier}'.satisfies_all({ranges_str:?}) should be {expected}"
    );
  }
}

#[test]
#[ignore] // node-semver doesn't allow prereleases to satisfy non-prerelease ranges by
          // default
fn prerelease_versions_with_multiple_ranges() {
  let cases: Vec<(&str, Vec<&str>, bool)> = vec![
    // Prerelease satisfies multiple compatible ranges
    ("1.2.3-alpha.1", vec!["^1.0.0", ">=1.2.0"], true),
    ("1.2.3-alpha.1", vec![">=1.2.3-alpha.0", "<1.2.3-beta.0"], true),
    ("1.2.3-alpha.1", vec!["^1.2.3-alpha.0", ">=1.2.3-alpha.1"], true),
    // Prerelease fails one range
    ("1.2.3-alpha.1", vec!["^1.0.0", ">=1.2.3"], false),
    ("1.2.3-alpha.1", vec![">=1.2.3-alpha.0", ">=1.2.3-beta.0"], false),
    // Release with prerelease ranges
    ("1.2.3", vec![">=1.2.3-alpha.0", "<=2.0.0"], true),
    ("1.2.3", vec!["^1.2.3-alpha.0", ">=1.2.3"], false),
  ];
  for (version, ranges_str, expected) in cases {
    let spec = Specifier::new(version);
    let others: Vec<Rc<Specifier>> = ranges_str.iter().map(|r| Specifier::new(r)).collect();
    assert_eq!(
      spec.satisfies_all(&others),
      expected,
      "'{version}'.satisfies_all({ranges_str:?}) should be {expected}"
    );
  }
}

#[test]
fn non_version_specifiers_return_false() {
  let specifiers = vec![
    "",
    "alpha",
    "beta",
    "workspace:^",
    "https://example.com/package.tgz",
    "file:../foo",
    "github:user/repo#main",
    "}invalid{",
  ];
  let ranges_str = vec!["^1.0.0", ">=1.2.0"];
  let others: Vec<Rc<Specifier>> = ranges_str.iter().map(|r| Specifier::new(r)).collect();

  for specifier in specifiers {
    let spec = Specifier::new(specifier);
    assert!(
      !spec.satisfies_all(&others),
      "'{specifier}'.satisfies_all({ranges_str:?}) should return false (no concrete version or range)"
    );
  }
}

#[test]
fn edge_cases() {
  let cases: Vec<(&str, Vec<&str>, bool)> = vec![
    // Zero versions
    ("0.0.0", vec![">=0.0.0", "<=1.0.0"], true),
    ("0.0.0", vec![">0.0.0", "<1.0.0"], false),
    // Large versions
    ("999.999.999", vec![">=0.0.0", "<1000.0.0"], true),
    // Narrow range intersection
    ("1.2.3", vec![">=1.2.3", "<=1.2.3"], true),
    ("1.2.3", vec![">1.2.3", "<1.2.3"], false),
    // Many ranges
    ("5.0.0", vec![">=4.0.0", ">=5.0.0", "<=6.0.0", "<=5.0.0", "^5.0.0", "~5.0.0"], true),
    ("5.1.0", vec![">=4.0.0", ">=5.0.0", "<=6.0.0", "<=5.0.0", "^5.0.0", "~5.0.0"], false),
  ];
  for (version, ranges_str, expected) in cases {
    let spec = Specifier::new(version);
    let others: Vec<Rc<Specifier>> = ranges_str.iter().map(|r| Specifier::new(r)).collect();
    assert_eq!(
      spec.satisfies_all(&others),
      expected,
      "'{version}'.satisfies_all({ranges_str:?}) should be {expected}"
    );
  }
}

#[test]
fn alias_and_git_with_multiple_ranges() {
  let cases: Vec<(&str, Vec<&str>, bool)> = vec![
    // Alias with multiple ranges
    ("npm:lodash@4.17.21", vec!["^4.0.0", ">=4.17.0"], true),
    ("npm:lodash@4.17.21", vec!["^4.0.0", "^5.0.0"], false),
    ("npm:react@^18.2.0", vec![">=18.0.0", "<19.0.0"], true),
    // Git with multiple ranges
    ("github:user/repo#v1.2.3", vec!["^1.0.0", "~1.2.0"], true),
    ("github:user/repo#v1.2.3", vec!["^1.0.0", "^2.0.0"], false),
    ("github:user/repo#semver:^1.2.0", vec![">=1.2.0", "<2.0.0"], true),
  ];
  for (specifier, ranges_str, expected) in cases {
    let spec = Specifier::new(specifier);
    let others: Vec<Rc<Specifier>> = ranges_str.iter().map(|r| Specifier::new(r)).collect();
    assert_eq!(
      spec.satisfies_all(&others),
      expected,
      "'{specifier}'.satisfies_all({ranges_str:?}) should be {expected}"
    );
  }
}

#[test]
fn empty_ranges_array() {
  let cases = vec!["1.2.3", "^1.2.3", "~1.2.3", "npm:pkg@1.0.0", "github:user/repo#v1.0.0"];

  for specifier in cases {
    let spec = Specifier::new(specifier);
    let others: Vec<Rc<Specifier>> = vec![];
    assert!(
      spec.satisfies_all(&others),
      "'{specifier}'.satisfies_all([]) should be true (vacuous truth)"
    );
  }
}

#[test]
fn complex_range_specifiers_as_left_side() {
  let cases: Vec<(&str, Vec<&str>, bool)> = vec![
    // Complex OR ranges as left specifier
    ("~1.4.2 || ^1.4.2", vec!["1.4.2"], true),
    ("~1.0.0 || ^1.0.0", vec!["1.4.2"], true),
    ("~1.4.2 || ^1.4.2", vec!["^1.0.0", ">=1.4.0"], true),
    ("~1.0.0 || ^1.0.0", vec!["^1.5.0"], true),
    // Complex AND ranges as left specifier
    (">=1.0.0 <2.0.0", vec!["^1.5.0"], true),
    (">=1.0.0 <2.0.0", vec!["^2.0.0"], false),
    (">1.0.0 <=2.0.0", vec!["1.5.0"], true),
    (">1.0.0 <=2.0.0", vec!["1.0.0"], false),
    // Multiple ranges to satisfy
    (">=1.0.0 <2.0.0", vec![">=1.5.0", "<=1.8.0"], true),
    (">=1.0.0 <2.0.0", vec![">=1.5.0", ">=2.0.0"], false),
    // More complex cases
    ("<1.5.0 || >=1.6.0", vec!["1.4.0"], true),
    ("<1.5.0 || >=1.6.0", vec!["1.7.0"], true),
    ("<1.5.0 || >=1.6.0", vec!["1.5.5"], false),
    ("<1.5.0 || >=1.6.0", vec![">=1.3.0", "<=2.0.0"], true),
    // Real-world complex ranges
    ("<1.6.16 || >=1.7.0 <1.7.11 || >=1.8.0 <1.8.2", vec!["1.6.0"], true),
    ("<1.6.16 || >=1.7.0 <1.7.11 || >=1.8.0 <1.8.2", vec!["1.7.5"], true),
    ("<1.6.16 || >=1.7.0 <1.7.11 || >=1.8.0 <1.8.2", vec!["1.8.1"], true),
    ("<1.6.16 || >=1.7.0 <1.7.11 || >=1.8.0 <1.8.2", vec!["1.6.20"], false),
    ("<1.6.16 || >=1.7.0 <1.7.11 || >=1.8.0 <1.8.2", vec![">=1.0.0", "<2.0.0"], true),
  ];
  for (specifier, ranges_str, expected) in cases {
    let spec = Specifier::new(specifier);
    let others: Vec<Rc<Specifier>> = ranges_str.iter().map(|r| Specifier::new(r)).collect();
    assert_eq!(
      spec.satisfies_all(&others),
      expected,
      "'{specifier}'.satisfies_all({ranges_str:?}) should be {expected}"
    );
  }
}

#[test]
fn original_test_coverage() {
  // These cases mirror the original Specifier::satisfies_all test
  // to ensure behavioral compatibility
  let cases: Vec<(&str, Vec<&str>, bool)> = vec![
    // Original test case: ("^1.4.2", vec!["1.4.2"], true)
    ("^1.4.2", vec!["1.4.2"], true),
    // Original test case: ("1.4.2", vec!["1.4.2"], true)
    ("1.4.2", vec!["1.4.2"], true),
    // Original test case: (">1.4.2", vec!["1.4.2"], false)
    (">1.4.2", vec!["1.4.2"], false),
    // Original test case: (">=1.4.2", vec!["1.4.2"], true)
    (">=1.4.2", vec!["1.4.2"], true),
    // Original test case: ("<1.4.2", vec!["1.4.2"], false)
    ("<1.4.2", vec!["1.4.2"], false),
    // Original test case: ("<=1.4.2", vec!["1.4.2"], true)
    ("<=1.4.2", vec!["1.4.2"], true),
    // Original test case: ("~1.4.2", vec!["1.4.2"], true)
    ("~1.4.2", vec!["1.4.2"], true),
    // Original test case: ("^1.0.0", vec!["1.4.2"], true)
    ("^1.0.0", vec!["1.4.2"], true),
    // Original test case: ("~1.0.0", vec!["1.4.2"], false)
    ("~1.0.0", vec!["1.4.2"], false),
    // Original test case: ("*", vec!["1.4.2"], true)
    // Note: "*" (Latest) returns range ">=0.0.0 <=999999.999999.999999" which satisfies any specific range
    ("*", vec!["1.4.2"], true),
    // Original test case: ("~1.4.2 || ^1.4.2", vec!["1.4.2"], true)
    ("~1.4.2 || ^1.4.2", vec!["1.4.2"], true),
    // Original test case: ("~1.0.0 || ^1.0.0", vec!["1.4.2"], true)
    ("~1.0.0 || ^1.0.0", vec!["1.4.2"], true),
  ];
  for (specifier, ranges_str, expected) in cases {
    let spec = Specifier::new(specifier);
    let others: Vec<Rc<Specifier>> = ranges_str.iter().map(|r| Specifier::new(r)).collect();
    assert_eq!(
      spec.satisfies_all(&others),
      expected,
      "'{specifier}'.satisfies_all({ranges_str:?}) should be {expected} (original test compatibility)"
    );
  }
}