hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Add interpolated string handler attributes to generated stubs

Browse Source
This commit is contained in:
Tamas Vajk
2023-12-05 17:11:44 +01:00
parent faa63dda8b
commit 50b7ab8448
3 changed files with 32 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
csharp/extractor/Semmle.Extraction.CSharp.StubGenerator/StubVisitor.cs
View File

@@ -203,10 +203,12 @@ internal sealed class StubVisitor : SymbolVisitor
private static readonly HashSet<string> attributeAllowList = new() {
"System.FlagsAttribute",
"System.AttributeUsageAttribute"
"System.AttributeUsageAttribute",
"System.Runtime.CompilerServices.InterpolatedStringHandlerAttribute",
"System.Runtime.CompilerServices.InterpolatedStringHandlerArgumentAttribute",
};
private void StubAttribute(AttributeData a, string prefix)
private void StubAttribute(AttributeData a, string prefix, bool addNewLine)
{
if (a.AttributeClass is not INamedTypeSymbol @class)
return;
@@ -232,14 +234,18 @@ internal sealed class StubVisitor : SymbolVisitor
});
stubWriter.Write(")");
}
stubWriter.WriteLine("]");
stubWriter.Write("]");
if (addNewLine)
{
stubWriter.WriteLine();
}
}
public void StubAttributes(IEnumerable<AttributeData> a, string prefix = "")
public void StubAttributes(IEnumerable<AttributeData> a, string prefix = "", bool addNewLine = true)
{
foreach (var attribute in a)
{
StubAttribute(attribute, prefix);
StubAttribute(attribute, prefix, addNewLine);
}
}
@@ -513,6 +519,8 @@ internal sealed class StubVisitor : SymbolVisitor
{
WriteCommaSep(parameters, parameter =>
{
StubAttributes(parameter.GetAttributes(), addNewLine: false);
switch (parameter.RefKind)
{
case RefKind.None:

5
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Memory.cs
View File

@@ -436,8 +436,9 @@ namespace System
public static System.ReadOnlySpan<T> TrimStart<T>(this System.ReadOnlySpan<T> span, T trimElement) where T : System.IEquatable<T> => throw null;
public static System.Span<T> TrimStart<T>(this System.Span<T> span, System.ReadOnlySpan<T> trimElements) where T : System.IEquatable<T> => throw null;
public static System.Span<T> TrimStart<T>(this System.Span<T> span, T trimElement) where T : System.IEquatable<T> => throw null;
public static bool TryWrite(this System.Span<char> destination, ref System.MemoryExtensions.TryWriteInterpolatedStringHandler handler, out int charsWritten) => throw null;
public static bool TryWrite(this System.Span<char> destination, System.IFormatProvider provider, ref System.MemoryExtensions.TryWriteInterpolatedStringHandler handler, out int charsWritten) => throw null;
public static bool TryWrite(this System.Span<char> destination, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("destination")] ref System.MemoryExtensions.TryWriteInterpolatedStringHandler handler, out int charsWritten) => throw null;
public static bool TryWrite(this System.Span<char> destination, System.IFormatProvider provider, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument(new[] { "destination", "provider" })] ref System.MemoryExtensions.TryWriteInterpolatedStringHandler handler, out int charsWritten) => throw null;
[System.Runtime.CompilerServices.InterpolatedStringHandler]
public struct TryWriteInterpolatedStringHandler
{
public bool AppendFormatted(System.ReadOnlySpan<char> value) => throw null;

28
csharp/ql/test/resources/stubs/_frameworks/Microsoft.NETCore.App/System.Runtime.cs
View File

@@ -2697,11 +2697,12 @@ namespace System
public static class Debug
{
public static void Assert(bool condition) => throw null;
public static void Assert(bool condition, ref System.Diagnostics.Debug.AssertInterpolatedStringHandler message) => throw null;
public static void Assert(bool condition, ref System.Diagnostics.Debug.AssertInterpolatedStringHandler message, ref System.Diagnostics.Debug.AssertInterpolatedStringHandler detailMessage) => throw null;
public static void Assert(bool condition, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("condition")] ref System.Diagnostics.Debug.AssertInterpolatedStringHandler message) => throw null;
public static void Assert(bool condition, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("condition")] ref System.Diagnostics.Debug.AssertInterpolatedStringHandler message, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("condition")] ref System.Diagnostics.Debug.AssertInterpolatedStringHandler detailMessage) => throw null;
public static void Assert(bool condition, string message) => throw null;
public static void Assert(bool condition, string message, string detailMessage) => throw null;
public static void Assert(bool condition, string message, string detailMessageFormat, params object[] args) => throw null;
[System.Runtime.CompilerServices.InterpolatedStringHandler]
public struct AssertInterpolatedStringHandler
{
public void AppendFormatted(object value, int alignment = default(int), string format = default(string)) => throw null;
@@ -2731,12 +2732,13 @@ namespace System
public static void Write(object value, string category) => throw null;
public static void Write(string message) => throw null;
public static void Write(string message, string category) => throw null;
public static void WriteIf(bool condition, ref System.Diagnostics.Debug.WriteIfInterpolatedStringHandler message) => throw null;
public static void WriteIf(bool condition, ref System.Diagnostics.Debug.WriteIfInterpolatedStringHandler message, string category) => throw null;
public static void WriteIf(bool condition, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("condition")] ref System.Diagnostics.Debug.WriteIfInterpolatedStringHandler message) => throw null;
public static void WriteIf(bool condition, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("condition")] ref System.Diagnostics.Debug.WriteIfInterpolatedStringHandler message, string category) => throw null;
public static void WriteIf(bool condition, object value) => throw null;
public static void WriteIf(bool condition, object value, string category) => throw null;
public static void WriteIf(bool condition, string message) => throw null;
public static void WriteIf(bool condition, string message, string category) => throw null;
[System.Runtime.CompilerServices.InterpolatedStringHandler]
public struct WriteIfInterpolatedStringHandler
{
public void AppendFormatted(object value, int alignment = default(int), string format = default(string)) => throw null;
@@ -2756,8 +2758,8 @@ namespace System
public static void WriteLine(string message) => throw null;
public static void WriteLine(string format, params object[] args) => throw null;
public static void WriteLine(string message, string category) => throw null;
public static void WriteLineIf(bool condition, ref System.Diagnostics.Debug.WriteIfInterpolatedStringHandler message) => throw null;
public static void WriteLineIf(bool condition, ref System.Diagnostics.Debug.WriteIfInterpolatedStringHandler message, string category) => throw null;
public static void WriteLineIf(bool condition, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("condition")] ref System.Diagnostics.Debug.WriteIfInterpolatedStringHandler message) => throw null;
public static void WriteLineIf(bool condition, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("condition")] ref System.Diagnostics.Debug.WriteIfInterpolatedStringHandler message, string category) => throw null;
public static void WriteLineIf(bool condition, object value) => throw null;
public static void WriteLineIf(bool condition, object value, string category) => throw null;
public static void WriteLineIf(bool condition, string message) => throw null;
@@ -9036,6 +9038,7 @@ namespace System
public DefaultDependencyAttribute(System.Runtime.CompilerServices.LoadHint loadHintArgument) => throw null;
public System.Runtime.CompilerServices.LoadHint LoadHint { get => throw null; }
}
[System.Runtime.CompilerServices.InterpolatedStringHandler]
public struct DefaultInterpolatedStringHandler
{
public void AppendFormatted(object value, int alignment = default(int), string format = default(string)) => throw null;
@@ -10876,8 +10879,8 @@ namespace System
public static string Copy(string str) => throw null;
public void CopyTo(int sourceIndex, char[] destination, int destinationIndex, int count) => throw null;
public void CopyTo(System.Span<char> destination) => throw null;
public static string Create(System.IFormatProvider provider, ref System.Runtime.CompilerServices.DefaultInterpolatedStringHandler handler) => throw null;
public static string Create(System.IFormatProvider provider, System.Span<char> initialBuffer, ref System.Runtime.CompilerServices.DefaultInterpolatedStringHandler handler) => throw null;
public static string Create(System.IFormatProvider provider, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("provider")] ref System.Runtime.CompilerServices.DefaultInterpolatedStringHandler handler) => throw null;
public static string Create(System.IFormatProvider provider, System.Span<char> initialBuffer, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument(new[] { "provider", "initialBuffer" })] ref System.Runtime.CompilerServices.DefaultInterpolatedStringHandler handler) => throw null;
public static string Create<TState>(int length, TState state, System.Buffers.SpanAction<char, TState> action) => throw null;
public unsafe String(char* value) => throw null;
public unsafe String(char* value, int startIndex, int length) => throw null;
@@ -11419,7 +11422,7 @@ namespace System
public System.Text.StringBuilder Append(char[] value, int startIndex, int charCount) => throw null;
public System.Text.StringBuilder Append(decimal value) => throw null;
public System.Text.StringBuilder Append(double value) => throw null;
public System.Text.StringBuilder Append(System.IFormatProvider provider, ref System.Text.StringBuilder.AppendInterpolatedStringHandler handler) => throw null;
public System.Text.StringBuilder Append(System.IFormatProvider provider, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument(new[] { "", "provider" })] ref System.Text.StringBuilder.AppendInterpolatedStringHandler handler) => throw null;
public System.Text.StringBuilder Append(short value) => throw null;
public System.Text.StringBuilder Append(int value) => throw null;
public System.Text.StringBuilder Append(long value) => throw null;
@@ -11432,7 +11435,7 @@ namespace System
public System.Text.StringBuilder Append(string value, int startIndex, int count) => throw null;
public System.Text.StringBuilder Append(System.Text.StringBuilder value) => throw null;
public System.Text.StringBuilder Append(System.Text.StringBuilder value, int startIndex, int count) => throw null;
public System.Text.StringBuilder Append(ref System.Text.StringBuilder.AppendInterpolatedStringHandler handler) => throw null;
public System.Text.StringBuilder Append([System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("")] ref System.Text.StringBuilder.AppendInterpolatedStringHandler handler) => throw null;
public System.Text.StringBuilder Append(ushort value) => throw null;
public System.Text.StringBuilder Append(uint value) => throw null;
public System.Text.StringBuilder Append(ulong value) => throw null;
@@ -11444,6 +11447,7 @@ namespace System
public System.Text.StringBuilder AppendFormat(string format, object arg0, object arg1) => throw null;
public System.Text.StringBuilder AppendFormat(string format, object arg0, object arg1, object arg2) => throw null;
public System.Text.StringBuilder AppendFormat(string format, params object[] args) => throw null;
[System.Runtime.CompilerServices.InterpolatedStringHandler]
public struct AppendInterpolatedStringHandler
{
public void AppendFormatted(object value, int alignment = default(int), string format = default(string)) => throw null;
@@ -11466,9 +11470,9 @@ namespace System
public System.Text.StringBuilder AppendJoin<T>(char separator, System.Collections.Generic.IEnumerable<T> values) => throw null;
public System.Text.StringBuilder AppendJoin<T>(string separator, System.Collections.Generic.IEnumerable<T> values) => throw null;
public System.Text.StringBuilder AppendLine() => throw null;
public System.Text.StringBuilder AppendLine(System.IFormatProvider provider, ref System.Text.StringBuilder.AppendInterpolatedStringHandler handler) => throw null;
public System.Text.StringBuilder AppendLine(System.IFormatProvider provider, [System.Runtime.CompilerServices.InterpolatedStringHandlerArgument(new[] { "", "provider" })] ref System.Text.StringBuilder.AppendInterpolatedStringHandler handler) => throw null;
public System.Text.StringBuilder AppendLine(string value) => throw null;
public System.Text.StringBuilder AppendLine(ref System.Text.StringBuilder.AppendInterpolatedStringHandler handler) => throw null;
public System.Text.StringBuilder AppendLine([System.Runtime.CompilerServices.InterpolatedStringHandlerArgument("")] ref System.Text.StringBuilder.AppendInterpolatedStringHandler handler) => throw null;
public int Capacity { get => throw null; set { } }
public struct ChunkEnumerator
{