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

C#: Re-write some of the existing source model generation tests and introduce a new one for ToString.

Browse Source
This commit is contained in:
Michael Nebel
2024-06-27 14:23:00 +02:00
parent a108b9c37d
commit 70494d339d
1 changed files with 44 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

53
csharp/ql/test/utils/modelgenerator/dataflow/Sources.cs
View File

@@ -52,25 +52,39 @@ public class NewSources
return s == "hello";
}
public class MyConsoleReader
public abstract class ValueReader
{
// source=Sources;NewSources+MyConsoleReader;false;ToString;();;ReturnValue;local;df-generated
// neutral=Sources;NewSources+MyConsoleReader;ToString;();summary;df-generated
public override string ToString()
// neutral=Sources;NewSources+ValueReader;GetValue;();summary;df-generated
public abstract string GetValue();
}
public class MyConsoleReader : ValueReader
{
// source=Sources;NewSources+MyConsoleReader;true;GetValue;();;ReturnValue;local;df-generated
// neutral=Sources;NewSources+MyConsoleReader;GetValue;();summary;df-generated
public override string GetValue()
{
return Console.ReadLine();
}
}
public class MyOtherReader : ValueReader
{
// neutral=Sources;NewSources+MyOtherReader;GetValue;();summary;df-generated
public override string GetValue()
{
return "";
}
}
public class MyContainer<T>
public class MyContainer<T> where T : ValueReader
{
public T Value { get; set; }
// summary=Sources;NewSources+MyContainer<T>;false;Read;();;Argument[this];ReturnValue;taint;df-generated
// neutral=Sources;NewSources+MyContainer<T>;Read;();summary;df-generated
public string Read()
{
return Value.ToString();
return Value.GetValue();
}
}
@@ -105,13 +119,34 @@ public class NewSources
}
}
public class DataReaderKind2 : DataReader
public sealed class DataReaderKind2 : DataReader
{
// source=Sources;NewSources+DataReaderKind2;true;Read;();;ReturnValue;source-kind-2;df-generated
// source=Sources;NewSources+DataReaderKind2;false;Read;();;ReturnValue;source-kind-2;df-generated
// neutral=Sources;NewSources+DataReaderKind2;Read;();summary;df-generated
public override string Read()
{
return Source2();
}
}
public class C1
{
// source=Sources;NewSources+C1;false;ToString;();;ReturnValue;source-kind-1;df-generated
// neutral=Sources;NewSources+C1;ToString;();summary;df-generated
public override string ToString()
{
return Source1();
}
}
public sealed class C2
{
// source=Sources;NewSources+C2;false;ToString;();;ReturnValue;source-kind-1;df-generated
// neutral=Sources;NewSources+C2;ToString;();summary;df-generated
public override string ToString()
{
return Source1();
}
}
}