Skip to content

Commit 2090d69

Browse files
calumgrantcalumgrant
committed
C#: Tidy up tests.
1 parent 697e66e commit 2090d69

File tree

2 files changed

+389
-389
lines changed
  • csharp/ql/test/query-tests/Security Features/CWE-079

2 files changed

+389
-389
lines changed

‎csharp/ql/test/query-tests/Security Features/CWE-079/XSSFlowAspNet/stubs.cs‎

Lines changed: 153 additions & 153 deletions
Original file line numberDiff line numberDiff line change
@@ -1,153 +1,153 @@
1-
namespace System
2-
{
3-
namespace Collections
4-
{
5-
namespace Specialized
6-
{
7-
// Generated from `System.Collections.Specialized.NameObjectCollectionBase` in `System.Collections.Specialized, Version=4.1.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
8-
abstract public class NameObjectCollectionBase : System.Runtime.Serialization.ISerializable, System.Runtime.Serialization.IDeserializationCallback, System.Collections.IEnumerable, System.Collections.ICollection
9-
{
10-
bool System.Collections.ICollection.IsSynchronized { get => throw null; }
11-
object System.Collections.ICollection.SyncRoot { get => throw null; }
12-
public virtual System.Collections.IEnumerator GetEnumerator() => throw null;
13-
public virtual int Count { get => throw null; }
14-
public virtual void GetObjectData(System.Runtime.Serialization.SerializationInfo info, System.Runtime.Serialization.StreamingContext context) => throw null;
15-
public virtual void OnDeserialization(object sender) => throw null;
16-
void System.Collections.ICollection.CopyTo(System.Array array, int index) => throw null;
17-
}
18-
19-
// Generated from `System.Collections.Specialized.NameValueCollection` in `System.Collections.Specialized, Version=4.1.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
20-
public class NameValueCollection : System.Collections.Specialized.NameObjectCollectionBase
21-
{
22-
public string this[string name] { get => throw null; set => throw null; }
23-
}
24-
25-
}
26-
}
27-
namespace IO
28-
{
29-
// Generated from `System.IO.TextWriter` in `System.Runtime.Extensions, Version=4.2.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
30-
abstract public class TextWriter : System.MarshalByRefObject, System.IDisposable
31-
{
32-
public void Dispose() => throw null;
33-
}
34-
35-
}
36-
namespace Web
37-
{
38-
// Generated from `System.Web.HttpContext` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
39-
public class HttpContext : System.Web.IPrincipalContainer
40-
{
41-
public System.Web.HttpServerUtility Server { get => throw null; }
42-
public static System.Web.HttpContext Current { get => throw null; set => throw null; }
43-
}
44-
45-
// Generated from `System.Web.HttpRequestBase` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
46-
abstract public class HttpRequestBase
47-
{
48-
public virtual System.Collections.Specialized.NameValueCollection QueryString { get => throw null; }
49-
}
50-
51-
// Generated from `System.Web.HttpServerUtility` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
52-
public class HttpServerUtility
53-
{
54-
public string HtmlEncode(string s) => throw null;
55-
}
56-
57-
// Generated from `System.Web.HttpUtility` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
58-
public class HttpUtility
59-
{
60-
public static string HtmlEncode(string s) => throw null;
61-
}
62-
63-
// Generated from `System.Web.IHtmlString` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
64-
public interface IHtmlString
65-
{
66-
}
67-
68-
// Generated from `System.Web.IPrincipalContainer` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
69-
interface IPrincipalContainer
70-
{
71-
}
72-
73-
namespace Mvc
74-
{
75-
// Generated from `System.Web.Mvc.HtmlHelper<>` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
76-
public class HtmlHelper<TModel> : System.Web.Mvc.HtmlHelper
77-
{
78-
}
79-
80-
// Generated from `System.Web.Mvc.HtmlHelper` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
81-
public class HtmlHelper
82-
{
83-
public System.Web.IHtmlString Raw(string value) => throw null;
84-
public string Encode(string value) => throw null;
85-
}
86-
87-
// Generated from `System.Web.Mvc.IViewDataContainer` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
88-
public interface IViewDataContainer
89-
{
90-
}
91-
92-
// Generated from `System.Web.Mvc.IViewStartPageChild` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
93-
interface IViewStartPageChild
94-
{
95-
}
96-
97-
// Generated from `System.Web.Mvc.WebViewPage<>` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
98-
abstract public class WebViewPage<TModel> : System.Web.Mvc.WebViewPage
99-
{
100-
public System.Web.Mvc.HtmlHelper<TModel> Html { get => throw null; set => throw null; }
101-
}
102-
103-
// Generated from `System.Web.Mvc.WebViewPage` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
104-
abstract public class WebViewPage : System.Web.WebPages.WebPageBase, System.Web.Mvc.IViewStartPageChild, System.Web.Mvc.IViewDataContainer
105-
{
106-
}
107-
108-
}
109-
namespace WebPages
110-
{
111-
// Generated from `System.Web.WebPages.ITemplateFile` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
112-
public interface ITemplateFile
113-
{
114-
}
115-
116-
// Generated from `System.Web.WebPages.StringExtensions` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
117-
static public class StringExtensions
118-
{
119-
public static bool IsEmpty(this string value) => throw null;
120-
}
121-
122-
// Generated from `System.Web.WebPages.WebPageBase` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
123-
abstract public class WebPageBase : System.Web.WebPages.WebPageRenderingBase
124-
{
125-
public System.IO.TextWriter Output { get => throw null; }
126-
public override dynamic Page { get => throw null; }
127-
public override string Layout { get => throw null; set => throw null; }
128-
public override void Write(object value) => throw null;
129-
public override void WriteLiteral(object value) => throw null;
130-
}
131-
132-
// Generated from `System.Web.WebPages.WebPageExecutingBase` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
133-
abstract public class WebPageExecutingBase
134-
{
135-
protected void BeginContext(string virtualPath, int startPosition, int length, bool isLiteral) => throw null;
136-
protected void EndContext(string virtualPath, int startPosition, int length, bool isLiteral) => throw null;
137-
public abstract void Execute();
138-
public abstract void Write(object value);
139-
public abstract void WriteLiteral(object value);
140-
public static void WriteLiteralTo(System.IO.TextWriter writer, object content) => throw null;
141-
}
142-
143-
// Generated from `System.Web.WebPages.WebPageRenderingBase` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
144-
abstract public class WebPageRenderingBase : System.Web.WebPages.WebPageExecutingBase, System.Web.WebPages.ITemplateFile
145-
{
146-
public abstract dynamic Page { get; }
147-
public abstract string Layout { get; set; }
148-
public virtual System.Web.HttpRequestBase Request { get => throw null; }
149-
}
150-
151-
}
152-
}
153-
}
1+
namespace System
2+
{
3+
namespace Collections
4+
{
5+
namespace Specialized
6+
{
7+
// Generated from `System.Collections.Specialized.NameObjectCollectionBase` in `System.Collections.Specialized, Version=4.1.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
8+
abstract public class NameObjectCollectionBase : System.Runtime.Serialization.ISerializable, System.Runtime.Serialization.IDeserializationCallback, System.Collections.IEnumerable, System.Collections.ICollection
9+
{
10+
bool System.Collections.ICollection.IsSynchronized { get => throw null; }
11+
object System.Collections.ICollection.SyncRoot { get => throw null; }
12+
public virtual System.Collections.IEnumerator GetEnumerator() => throw null;
13+
public virtual int Count { get => throw null; }
14+
public virtual void GetObjectData(System.Runtime.Serialization.SerializationInfo info, System.Runtime.Serialization.StreamingContext context) => throw null;
15+
public virtual void OnDeserialization(object sender) => throw null;
16+
void System.Collections.ICollection.CopyTo(System.Array array, int index) => throw null;
17+
}
18+
19+
// Generated from `System.Collections.Specialized.NameValueCollection` in `System.Collections.Specialized, Version=4.1.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
20+
public class NameValueCollection : System.Collections.Specialized.NameObjectCollectionBase
21+
{
22+
public string this[string name] { get => throw null; set => throw null; }
23+
}
24+
25+
}
26+
}
27+
namespace IO
28+
{
29+
// Generated from `System.IO.TextWriter` in `System.Runtime.Extensions, Version=4.2.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
30+
abstract public class TextWriter : System.MarshalByRefObject, System.IDisposable
31+
{
32+
public void Dispose() => throw null;
33+
}
34+
35+
}
36+
namespace Web
37+
{
38+
// Generated from `System.Web.HttpContext` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
39+
public class HttpContext : System.Web.IPrincipalContainer
40+
{
41+
public System.Web.HttpServerUtility Server { get => throw null; }
42+
public static System.Web.HttpContext Current { get => throw null; set => throw null; }
43+
}
44+
45+
// Generated from `System.Web.HttpRequestBase` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
46+
abstract public class HttpRequestBase
47+
{
48+
public virtual System.Collections.Specialized.NameValueCollection QueryString { get => throw null; }
49+
}
50+
51+
// Generated from `System.Web.HttpServerUtility` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
52+
public class HttpServerUtility
53+
{
54+
public string HtmlEncode(string s) => throw null;
55+
}
56+
57+
// Generated from `System.Web.HttpUtility` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
58+
public class HttpUtility
59+
{
60+
public static string HtmlEncode(string s) => throw null;
61+
}
62+
63+
// Generated from `System.Web.IHtmlString` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
64+
public interface IHtmlString
65+
{
66+
}
67+
68+
// Generated from `System.Web.IPrincipalContainer` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
69+
interface IPrincipalContainer
70+
{
71+
}
72+
73+
namespace Mvc
74+
{
75+
// Generated from `System.Web.Mvc.HtmlHelper<>` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
76+
public class HtmlHelper<TModel> : System.Web.Mvc.HtmlHelper
77+
{
78+
}
79+
80+
// Generated from `System.Web.Mvc.HtmlHelper` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
81+
public class HtmlHelper
82+
{
83+
public System.Web.IHtmlString Raw(string value) => throw null;
84+
public string Encode(string value) => throw null;
85+
}
86+
87+
// Generated from `System.Web.Mvc.IViewDataContainer` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
88+
public interface IViewDataContainer
89+
{
90+
}
91+
92+
// Generated from `System.Web.Mvc.IViewStartPageChild` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
93+
interface IViewStartPageChild
94+
{
95+
}
96+
97+
// Generated from `System.Web.Mvc.WebViewPage<>` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
98+
abstract public class WebViewPage<TModel> : System.Web.Mvc.WebViewPage
99+
{
100+
public System.Web.Mvc.HtmlHelper<TModel> Html { get => throw null; set => throw null; }
101+
}
102+
103+
// Generated from `System.Web.Mvc.WebViewPage` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
104+
abstract public class WebViewPage : System.Web.WebPages.WebPageBase, System.Web.Mvc.IViewStartPageChild, System.Web.Mvc.IViewDataContainer
105+
{
106+
}
107+
108+
}
109+
namespace WebPages
110+
{
111+
// Generated from `System.Web.WebPages.ITemplateFile` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
112+
public interface ITemplateFile
113+
{
114+
}
115+
116+
// Generated from `System.Web.WebPages.StringExtensions` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
117+
static public class StringExtensions
118+
{
119+
public static bool IsEmpty(this string value) => throw null;
120+
}
121+
122+
// Generated from `System.Web.WebPages.WebPageBase` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
123+
abstract public class WebPageBase : System.Web.WebPages.WebPageRenderingBase
124+
{
125+
public System.IO.TextWriter Output { get => throw null; }
126+
public override dynamic Page { get => throw null; }
127+
public override string Layout { get => throw null; set => throw null; }
128+
public override void Write(object value) => throw null;
129+
public override void WriteLiteral(object value) => throw null;
130+
}
131+
132+
// Generated from `System.Web.WebPages.WebPageExecutingBase` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
133+
abstract public class WebPageExecutingBase
134+
{
135+
protected void BeginContext(string virtualPath, int startPosition, int length, bool isLiteral) => throw null;
136+
protected void EndContext(string virtualPath, int startPosition, int length, bool isLiteral) => throw null;
137+
public abstract void Execute();
138+
public abstract void Write(object value);
139+
public abstract void WriteLiteral(object value);
140+
public static void WriteLiteralTo(System.IO.TextWriter writer, object content) => throw null;
141+
}
142+
143+
// Generated from `System.Web.WebPages.WebPageRenderingBase` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
144+
abstract public class WebPageRenderingBase : System.Web.WebPages.WebPageExecutingBase, System.Web.WebPages.ITemplateFile
145+
{
146+
public abstract dynamic Page { get; }
147+
public abstract string Layout { get; set; }
148+
public virtual System.Web.HttpRequestBase Request { get => throw null; }
149+
}
150+
151+
}
152+
}
153+
}

0 commit comments

Comments
 (0)