Skip to content

Commit 9a355c1

Browse files
committed
C#: Add stubs for Microsoft.Extensions.Primitives.
1 parent 586fddb commit 9a355c1

File tree

3 files changed

+221
-0
lines changed

3 files changed

+221
-0
lines changed
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
semmle-extractor-options: /nostdlib /noconfig
22
semmle-extractor-options: --load-sources-from-project:${testdir}/../../../resources/stubs/Newtonsoft.Json/13.0.1/Newtonsoft.Json.csproj
3+
semmle-extractor-options: --load-sources-from-project:${testdir}/../../../resources/stubs/Microsoft.Extensions.Primitives/6.0.0/Microsoft.Extensions.Primitives.csproj
34
semmle-extractor-options: ${testdir}/../../../resources/stubs/System.Web.cs
Lines changed: 208 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,208 @@
1+
// This file contains auto-generated code.
2+
3+
namespace Microsoft
4+
{
5+
namespace Extensions
6+
{
7+
namespace Primitives
8+
{
9+
// Generated from `Microsoft.Extensions.Primitives.CancellationChangeToken` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
10+
public class CancellationChangeToken : Microsoft.Extensions.Primitives.IChangeToken
11+
{
12+
public bool ActiveChangeCallbacks { get => throw null; set => throw null; }
13+
public CancellationChangeToken(System.Threading.CancellationToken cancellationToken) => throw null;
14+
public bool HasChanged { get => throw null; }
15+
public System.IDisposable RegisterChangeCallback(System.Action<object> callback, object state) => throw null;
16+
}
17+
18+
// Generated from `Microsoft.Extensions.Primitives.ChangeToken` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
19+
public static class ChangeToken
20+
{
21+
public static System.IDisposable OnChange(System.Func<Microsoft.Extensions.Primitives.IChangeToken> changeTokenProducer, System.Action changeTokenConsumer) => throw null;
22+
public static System.IDisposable OnChange<TState>(System.Func<Microsoft.Extensions.Primitives.IChangeToken> changeTokenProducer, System.Action<TState> changeTokenConsumer, TState state) => throw null;
23+
}
24+
25+
// Generated from `Microsoft.Extensions.Primitives.CompositeChangeToken` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
26+
public class CompositeChangeToken : Microsoft.Extensions.Primitives.IChangeToken
27+
{
28+
public bool ActiveChangeCallbacks { get => throw null; }
29+
public System.Collections.Generic.IReadOnlyList<Microsoft.Extensions.Primitives.IChangeToken> ChangeTokens { get => throw null; }
30+
public CompositeChangeToken(System.Collections.Generic.IReadOnlyList<Microsoft.Extensions.Primitives.IChangeToken> changeTokens) => throw null;
31+
public bool HasChanged { get => throw null; }
32+
public System.IDisposable RegisterChangeCallback(System.Action<object> callback, object state) => throw null;
33+
}
34+
35+
// Generated from `Microsoft.Extensions.Primitives.Extensions` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
36+
public static class Extensions
37+
{
38+
public static System.Text.StringBuilder Append(this System.Text.StringBuilder builder, Microsoft.Extensions.Primitives.StringSegment segment) => throw null;
39+
}
40+
41+
// Generated from `Microsoft.Extensions.Primitives.IChangeToken` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
42+
public interface IChangeToken
43+
{
44+
bool ActiveChangeCallbacks { get; }
45+
bool HasChanged { get; }
46+
System.IDisposable RegisterChangeCallback(System.Action<object> callback, object state);
47+
}
48+
49+
// Generated from `Microsoft.Extensions.Primitives.StringSegment` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
50+
public struct StringSegment : System.IEquatable<Microsoft.Extensions.Primitives.StringSegment>, System.IEquatable<string>
51+
{
52+
public static bool operator !=(Microsoft.Extensions.Primitives.StringSegment left, Microsoft.Extensions.Primitives.StringSegment right) => throw null;
53+
public static bool operator ==(Microsoft.Extensions.Primitives.StringSegment left, Microsoft.Extensions.Primitives.StringSegment right) => throw null;
54+
public System.ReadOnlyMemory<System.Char> AsMemory() => throw null;
55+
public System.ReadOnlySpan<System.Char> AsSpan() => throw null;
56+
public System.ReadOnlySpan<System.Char> AsSpan(int start) => throw null;
57+
public System.ReadOnlySpan<System.Char> AsSpan(int start, int length) => throw null;
58+
public string Buffer { get => throw null; }
59+
public static int Compare(Microsoft.Extensions.Primitives.StringSegment a, Microsoft.Extensions.Primitives.StringSegment b, System.StringComparison comparisonType) => throw null;
60+
public static Microsoft.Extensions.Primitives.StringSegment Empty;
61+
public bool EndsWith(string text, System.StringComparison comparisonType) => throw null;
62+
public bool Equals(Microsoft.Extensions.Primitives.StringSegment other) => throw null;
63+
public bool Equals(Microsoft.Extensions.Primitives.StringSegment other, System.StringComparison comparisonType) => throw null;
64+
public static bool Equals(Microsoft.Extensions.Primitives.StringSegment a, Microsoft.Extensions.Primitives.StringSegment b, System.StringComparison comparisonType) => throw null;
65+
public override bool Equals(object obj) => throw null;
66+
public bool Equals(string text) => throw null;
67+
bool System.IEquatable<string>.Equals(string other) => throw null;
68+
public bool Equals(string text, System.StringComparison comparisonType) => throw null;
69+
public override int GetHashCode() => throw null;
70+
public bool HasValue { get => throw null; }
71+
public int IndexOf(System.Char c) => throw null;
72+
public int IndexOf(System.Char c, int start) => throw null;
73+
public int IndexOf(System.Char c, int start, int count) => throw null;
74+
public int IndexOfAny(System.Char[] anyOf) => throw null;
75+
public int IndexOfAny(System.Char[] anyOf, int startIndex) => throw null;
76+
public int IndexOfAny(System.Char[] anyOf, int startIndex, int count) => throw null;
77+
public static bool IsNullOrEmpty(Microsoft.Extensions.Primitives.StringSegment value) => throw null;
78+
public System.Char this[int index] { get => throw null; }
79+
public int LastIndexOf(System.Char value) => throw null;
80+
public int Length { get => throw null; }
81+
public int Offset { get => throw null; }
82+
public Microsoft.Extensions.Primitives.StringTokenizer Split(System.Char[] chars) => throw null;
83+
public bool StartsWith(string text, System.StringComparison comparisonType) => throw null;
84+
// Stub generator skipped constructor
85+
public StringSegment(string buffer) => throw null;
86+
public StringSegment(string buffer, int offset, int length) => throw null;
87+
public Microsoft.Extensions.Primitives.StringSegment Subsegment(int offset) => throw null;
88+
public Microsoft.Extensions.Primitives.StringSegment Subsegment(int offset, int length) => throw null;
89+
public string Substring(int offset) => throw null;
90+
public string Substring(int offset, int length) => throw null;
91+
public override string ToString() => throw null;
92+
public Microsoft.Extensions.Primitives.StringSegment Trim() => throw null;
93+
public Microsoft.Extensions.Primitives.StringSegment TrimEnd() => throw null;
94+
public Microsoft.Extensions.Primitives.StringSegment TrimStart() => throw null;
95+
public string Value { get => throw null; }
96+
public static implicit operator System.ReadOnlyMemory<System.Char>(Microsoft.Extensions.Primitives.StringSegment segment) => throw null;
97+
public static implicit operator System.ReadOnlySpan<System.Char>(Microsoft.Extensions.Primitives.StringSegment segment) => throw null;
98+
public static implicit operator Microsoft.Extensions.Primitives.StringSegment(string value) => throw null;
99+
}
100+
101+
// Generated from `Microsoft.Extensions.Primitives.StringSegmentComparer` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
102+
public class StringSegmentComparer : System.Collections.Generic.IComparer<Microsoft.Extensions.Primitives.StringSegment>, System.Collections.Generic.IEqualityComparer<Microsoft.Extensions.Primitives.StringSegment>
103+
{
104+
public int Compare(Microsoft.Extensions.Primitives.StringSegment x, Microsoft.Extensions.Primitives.StringSegment y) => throw null;
105+
public bool Equals(Microsoft.Extensions.Primitives.StringSegment x, Microsoft.Extensions.Primitives.StringSegment y) => throw null;
106+
public int GetHashCode(Microsoft.Extensions.Primitives.StringSegment obj) => throw null;
107+
public static Microsoft.Extensions.Primitives.StringSegmentComparer Ordinal { get => throw null; }
108+
public static Microsoft.Extensions.Primitives.StringSegmentComparer OrdinalIgnoreCase { get => throw null; }
109+
}
110+
111+
// Generated from `Microsoft.Extensions.Primitives.StringTokenizer` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
112+
public struct StringTokenizer : System.Collections.Generic.IEnumerable<Microsoft.Extensions.Primitives.StringSegment>, System.Collections.IEnumerable
113+
{
114+
// Generated from `Microsoft.Extensions.Primitives.StringTokenizer+Enumerator` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
115+
public struct Enumerator : System.Collections.Generic.IEnumerator<Microsoft.Extensions.Primitives.StringSegment>, System.Collections.IEnumerator, System.IDisposable
116+
{
117+
public Microsoft.Extensions.Primitives.StringSegment Current { get => throw null; set => throw null; }
118+
object System.Collections.IEnumerator.Current { get => throw null; }
119+
public void Dispose() => throw null;
120+
// Stub generator skipped constructor
121+
public Enumerator(ref Microsoft.Extensions.Primitives.StringTokenizer tokenizer) => throw null;
122+
public bool MoveNext() => throw null;
123+
public void Reset() => throw null;
124+
}
125+
126+
127+
public Microsoft.Extensions.Primitives.StringTokenizer.Enumerator GetEnumerator() => throw null;
128+
System.Collections.Generic.IEnumerator<Microsoft.Extensions.Primitives.StringSegment> System.Collections.Generic.IEnumerable<Microsoft.Extensions.Primitives.StringSegment>.GetEnumerator() => throw null;
129+
System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator() => throw null;
130+
// Stub generator skipped constructor
131+
public StringTokenizer(Microsoft.Extensions.Primitives.StringSegment value, System.Char[] separators) => throw null;
132+
public StringTokenizer(string value, System.Char[] separators) => throw null;
133+
}
134+
135+
// Generated from `Microsoft.Extensions.Primitives.StringValues` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
136+
public struct StringValues : System.Collections.Generic.ICollection<string>, System.Collections.Generic.IEnumerable<string>, System.Collections.Generic.IList<string>, System.Collections.Generic.IReadOnlyCollection<string>, System.Collections.Generic.IReadOnlyList<string>, System.Collections.IEnumerable, System.IEquatable<Microsoft.Extensions.Primitives.StringValues>, System.IEquatable<string>, System.IEquatable<string[]>
137+
{
138+
// Generated from `Microsoft.Extensions.Primitives.StringValues+Enumerator` in `Microsoft.Extensions.Primitives, Version=6.0.0.0, Culture=neutral, PublicKeyToken=adb9793829ddae60`
139+
public struct Enumerator : System.Collections.Generic.IEnumerator<string>, System.Collections.IEnumerator, System.IDisposable
140+
{
141+
public string Current { get => throw null; }
142+
object System.Collections.IEnumerator.Current { get => throw null; }
143+
public void Dispose() => throw null;
144+
// Stub generator skipped constructor
145+
public Enumerator(ref Microsoft.Extensions.Primitives.StringValues values) => throw null;
146+
public bool MoveNext() => throw null;
147+
void System.Collections.IEnumerator.Reset() => throw null;
148+
}
149+
150+
151+
public static bool operator !=(Microsoft.Extensions.Primitives.StringValues left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
152+
public static bool operator !=(Microsoft.Extensions.Primitives.StringValues left, string[] right) => throw null;
153+
public static bool operator !=(Microsoft.Extensions.Primitives.StringValues left, object right) => throw null;
154+
public static bool operator !=(Microsoft.Extensions.Primitives.StringValues left, string right) => throw null;
155+
public static bool operator !=(string[] left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
156+
public static bool operator !=(object left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
157+
public static bool operator !=(string left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
158+
public static bool operator ==(Microsoft.Extensions.Primitives.StringValues left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
159+
public static bool operator ==(Microsoft.Extensions.Primitives.StringValues left, string[] right) => throw null;
160+
public static bool operator ==(Microsoft.Extensions.Primitives.StringValues left, object right) => throw null;
161+
public static bool operator ==(Microsoft.Extensions.Primitives.StringValues left, string right) => throw null;
162+
public static bool operator ==(string[] left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
163+
public static bool operator ==(object left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
164+
public static bool operator ==(string left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
165+
void System.Collections.Generic.ICollection<string>.Add(string item) => throw null;
166+
void System.Collections.Generic.ICollection<string>.Clear() => throw null;
167+
public static Microsoft.Extensions.Primitives.StringValues Concat(Microsoft.Extensions.Primitives.StringValues values1, Microsoft.Extensions.Primitives.StringValues values2) => throw null;
168+
public static Microsoft.Extensions.Primitives.StringValues Concat(Microsoft.Extensions.Primitives.StringValues values, string value) => throw null;
169+
public static Microsoft.Extensions.Primitives.StringValues Concat(string value, Microsoft.Extensions.Primitives.StringValues values) => throw null;
170+
bool System.Collections.Generic.ICollection<string>.Contains(string item) => throw null;
171+
void System.Collections.Generic.ICollection<string>.CopyTo(string[] array, int arrayIndex) => throw null;
172+
public int Count { get => throw null; }
173+
public static Microsoft.Extensions.Primitives.StringValues Empty;
174+
public bool Equals(Microsoft.Extensions.Primitives.StringValues other) => throw null;
175+
public static bool Equals(Microsoft.Extensions.Primitives.StringValues left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
176+
public static bool Equals(Microsoft.Extensions.Primitives.StringValues left, string[] right) => throw null;
177+
public static bool Equals(Microsoft.Extensions.Primitives.StringValues left, string right) => throw null;
178+
public bool Equals(string[] other) => throw null;
179+
public static bool Equals(string[] left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
180+
public override bool Equals(object obj) => throw null;
181+
public bool Equals(string other) => throw null;
182+
public static bool Equals(string left, Microsoft.Extensions.Primitives.StringValues right) => throw null;
183+
public Microsoft.Extensions.Primitives.StringValues.Enumerator GetEnumerator() => throw null;
184+
System.Collections.Generic.IEnumerator<string> System.Collections.Generic.IEnumerable<string>.GetEnumerator() => throw null;
185+
System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator() => throw null;
186+
public override int GetHashCode() => throw null;
187+
int System.Collections.Generic.IList<string>.IndexOf(string item) => throw null;
188+
void System.Collections.Generic.IList<string>.Insert(int index, string item) => throw null;
189+
public static bool IsNullOrEmpty(Microsoft.Extensions.Primitives.StringValues value) => throw null;
190+
bool System.Collections.Generic.ICollection<string>.IsReadOnly { get => throw null; }
191+
public string this[int index] { get => throw null; }
192+
string System.Collections.Generic.IList<string>.this[int index] { get => throw null; set => throw null; }
193+
bool System.Collections.Generic.ICollection<string>.Remove(string item) => throw null;
194+
void System.Collections.Generic.IList<string>.RemoveAt(int index) => throw null;
195+
// Stub generator skipped constructor
196+
public StringValues(string[] values) => throw null;
197+
public StringValues(string value) => throw null;
198+
public string[] ToArray() => throw null;
199+
public override string ToString() => throw null;
200+
public static implicit operator string(Microsoft.Extensions.Primitives.StringValues values) => throw null;
201+
public static implicit operator string[](Microsoft.Extensions.Primitives.StringValues value) => throw null;
202+
public static implicit operator Microsoft.Extensions.Primitives.StringValues(string[] values) => throw null;
203+
public static implicit operator Microsoft.Extensions.Primitives.StringValues(string value) => throw null;
204+
}
205+
206+
}
207+
}
208+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
<Project Sdk="Microsoft.NET.Sdk">
2+
<PropertyGroup>
3+
<TargetFramework>net5.0</TargetFramework>
4+
<AllowUnsafeBlocks>true</AllowUnsafeBlocks>
5+
<OutputPath>bin\</OutputPath>
6+
<AppendTargetFrameworkToOutputPath>false</AppendTargetFrameworkToOutputPath>
7+
</PropertyGroup>
8+
9+
<ItemGroup>
10+
<ProjectReference Include="../../_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj" />
11+
</ItemGroup>
12+
</Project>

0 commit comments

Comments
 (0)