Merge pull request #222 from microsoft/revert-218-update-csharp-stub-models

Revert "Update the C# stub models"

Author: dilanbhalla

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

@@ -49,22 +49,6 @@ public class StringContent
     {
         public StringContent(string s) { }
     }
-
-    public class HttpResponseMessage : IDisposable
-    {
-        public HttpResponseMessage() { }
-        public HttpResponseMessage(HttpStatusCode statusCode) { }
-
-
-        public Version Version { get; set; }
-        public HttpContent Content { get; set; }
-        public HttpStatusCode StatusCode { get; set; }
-        public HttpResponseHeaders Headers { get; }
-        public HttpRequestMessage RequestMessage { get; set; }
-        public bool IsSuccessStatusCode { get; }
-    }
-
-
 }
 
 namespace System.Net.Mail

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

@@ -19,15 +19,6 @@ public class HttpRequestBase
     public class HttpResponseBase
     {
         public void Write(object obj) { }
-        public virtual void AppendHeader(string name, string value) { }
-        public virtual void Redirect(string url) { }
-        public virtual void RedirectPermanent(string url) { }
-        public virtual int StatusCode { get; set; }
-        public virtual void AddHeader(string name, string value) { }
-        public virtual void End() { }
-        public virtual string RedirectLocation { get; set; }
-        public virtual NameValueCollection Headers => null;
-
     }
 
     public class HttpContextBase
@@ -64,51 +55,22 @@ namespace System.Web.Http
 {
     public class ApiController
     {
-        public Microsoft.AspNetCore.Http.HttpContext Context => null;
-        public virtual Microsoft.AspNetCore.Mvc.RedirectResult Redirect(Uri location) => null;
-        public virtual Microsoft.AspNetCore.Mvc.RedirectResult Redirect(string location) => null;
-        public virtual ResponseMessageResult ResponseMessage(System.Net.Http.HttpResponseMessage response) => null;
-        public virtual Microsoft.AspNetCore.Mvc.RedirectToRouteResult RedirectToRoute(string routeName, object routeValues) => null;
-        public Microsoft.AspNetCore.Mvc.IUrlHelper Url { get; set; }
     }
-
-    public class ResponseMessageResult { }
 }
 
 namespace System.Web.Mvc
 {
     public class Controller
     {
         public ViewResult View() => null;
-        public HttpRequestBase Request => null;
-        public HttpResponseBase Response => null;
-        protected internal virtual RedirectResult RedirectPermanent(string url) => null;
-        protected internal RedirectToRouteResult RedirectToRoute(string routeName) => null;
-        public UrlHelper Url { get; set; }
-        protected internal virtual RedirectResult Redirect(string url) => null;
     }
 
     public class MvcHtmlString : HtmlString
     {
         public MvcHtmlString(string s) : base(s) { }
     }
-
-    public class RoutePrefixAttribute : Attribute
-    {
-        public virtual string Prefix { get; private set; }
-        public RoutePrefixAttribute(string prefix) { }
-    }
-
-    public sealed class RouteAttribute : Attribute
-    {
-
-        public RouteAttribute(string template) { }
-    }
-
-    public class RedirectToRouteResult : ActionResult { }
 }
 
-
 namespace System.Web.UI
 {
     public class Control
@@ -119,7 +81,6 @@ public class Page
     {
         public System.Security.Principal.IPrincipal User { get; }
         public System.Web.HttpRequest Request { get; }
-        public HttpResponse Response => null;
     }
 
     interface IPostBackDataHandler
@@ -192,7 +153,6 @@ public class HttpRequest
         public UnvalidatedRequestValues Unvalidated { get; }
         public string RawUrl { get; set; }
         public HttpCookieCollection Cookies => null;
-        public bool IsAuthenticated { get; set; }
     }
 
     public class HttpRequestWrapper : System.Web.HttpRequestBase
@@ -209,13 +169,6 @@ public void WriteFile(string s) { }
         public void AddHeader(string name, string value) { }
         public void Redirect(string url) { }
         public void AppendHeader(string name, string value) { }
-        public void End() { }
-        public string RedirectLocation { get; set; }
-        public int StatusCode { get; set; }
-        public void RedirectPermanent(string url) { }
-        public virtual NameValueCollection Headers { get; set; }
-
-
     }
 
     public class HttpContext : IServiceProvider
@@ -224,7 +177,6 @@ public class HttpContext : IServiceProvider
         public HttpResponse Response => null;
         public SessionState.HttpSessionState Session => null;
         public HttpServerUtility Server => null;
-        public static HttpContext Current => null;
     }
 
     public class HttpCookie
@@ -349,15 +301,6 @@ public class UrlHelper
         public UrlHelper(Routing.RequestContext requestContext) { }
         public virtual bool IsLocalUrl(string url) => false;
     }
-
-    public class RedirectResult : ActionResult
-    {
-        public bool Permanent { get; set; }
-        public string Url => null;
-
-        public RedirectResult(string url) : this(url, permanent: false) { }
-        public RedirectResult(string url, bool permanent) { }
-    }
 }
 
 namespace System.Web.Routing
@@ -447,7 +390,7 @@ public class JavaScriptSerializer
         public JavaScriptSerializer() => throw null;
         public JavaScriptSerializer(System.Web.Script.Serialization.JavaScriptTypeResolver resolver) => throw null;
         public object DeserializeObject(string input) => throw null;
-        public T Deserialize<T>(string input) => throw null;
+        public T Deserialize<T> (string input) => throw null;
         public object Deserialize(string input, Type targetType) => throw null;
     }