Skip to content

Commit b267bd1

Browse files
Update properties to getters which is inline with the actual implementation.
1 parent b49b84e commit b267bd1

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

csharp/ql/test/resources/stubs/System.Web.cs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -178,12 +178,12 @@ public class HttpRequest
178178
public string RawUrl { get; set; }
179179
public HttpCookieCollection Cookies => null;
180180
public bool IsAuthenticated { get; set; }
181-
public NameValueCollection Form => null;
182-
public NameValueCollection Headers => null;
183-
public NameValueCollection Params => null;
184-
public string UserAgent(string s) => null;
185-
public string UrlReferrer(string s) => null;
186-
public NameValueCollection ServerVariables => null;
181+
public NameValueCollection Form { get; }
182+
public NameValueCollection Headers { get; }
183+
public NameValueCollection Params { get; }
184+
public string UserAgent { get; }
185+
public Uri UrlReferrer { get; }
186+
public NameValueCollection ServerVariables { get; }
187187
public String this[String key] => null;
188188
}
189189

0 commit comments

Comments
 (0)