namespace System
{
    namespace Web
    {
        // Generated from `System.Web.HttpContext` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
        public class HttpContext : System.Web.IPrincipalContainer
        {
            public System.Web.HttpServerUtility Server { get => throw null; }
            public static System.Web.HttpContext Current { get => throw null; set => throw null; }
        }

        // Generated from `System.Web.HttpRequestBase` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
        abstract public class HttpRequestBase
        {
            public virtual System.Collections.Specialized.NameValueCollection QueryString { get => throw null; }
        }

        // Generated from `System.Web.HttpServerUtility` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
        public class HttpServerUtility
        {
            public string HtmlEncode(string s) => throw null;
        }

        // Generated from `System.Web.IPrincipalContainer` in `System.Web, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a`
        interface IPrincipalContainer
        {
        }

        namespace Mvc
        {
            // Generated from `System.Web.Mvc.HtmlHelper<>` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            public class HtmlHelper<TModel> : System.Web.Mvc.HtmlHelper
            {
            }

            // Generated from `System.Web.Mvc.HtmlHelper` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            public class HtmlHelper
            {
                public System.Web.IHtmlString Raw(string value) => throw null;
                public string Encode(string value) => throw null;
            }

            // Generated from `System.Web.Mvc.IViewDataContainer` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            public interface IViewDataContainer
            {
            }

            // Generated from `System.Web.Mvc.IViewStartPageChild` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            interface IViewStartPageChild
            {
            }

            // Generated from `System.Web.Mvc.WebViewPage<>` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            abstract public class WebViewPage<TModel> : System.Web.Mvc.WebViewPage
            {
                public System.Web.Mvc.HtmlHelper<TModel> Html { get => throw null; set => throw null; }
            }

            // Generated from `System.Web.Mvc.WebViewPage` in `System.Web.Mvc, Version=5.2.3.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            abstract public class WebViewPage : System.Web.WebPages.WebPageBase, System.Web.Mvc.IViewStartPageChild, System.Web.Mvc.IViewDataContainer
            {
            }

        }
        namespace WebPages
        {
            // Generated from `System.Web.WebPages.ITemplateFile` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            public interface ITemplateFile
            {
            }

            // Generated from `System.Web.WebPages.StringExtensions` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            static public class StringExtensions
            {
                public static bool IsEmpty(this string value) => throw null;
            }

            // Generated from `System.Web.WebPages.WebPageBase` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            abstract public class WebPageBase : System.Web.WebPages.WebPageRenderingBase
            {
                public System.IO.TextWriter Output { get => throw null; }
                public override dynamic Page { get => throw null; }
                public override string Layout { get => throw null; set => throw null; }
                public override void Write(object value) => throw null;
                public override void WriteLiteral(object value) => throw null;
            }

            // Generated from `System.Web.WebPages.WebPageExecutingBase` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            abstract public class WebPageExecutingBase
            {
                protected void BeginContext(string virtualPath, int startPosition, int length, bool isLiteral) => throw null;
                protected void EndContext(string virtualPath, int startPosition, int length, bool isLiteral) => throw null;
                public abstract void Execute();
                public abstract void Write(object value);
                public abstract void WriteLiteral(object value);
                public static void WriteLiteralTo(System.IO.TextWriter writer, object content) => throw null;
            }

            // Generated from `System.Web.WebPages.WebPageRenderingBase` in `System.Web.WebPages, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35`
            abstract public class WebPageRenderingBase : System.Web.WebPages.WebPageExecutingBase, System.Web.WebPages.ITemplateFile
            {
                public abstract dynamic Page { get; }
                public abstract string Layout { get; set; }
                public virtual System.Web.HttpRequestBase Request { get => throw null; }
            }

        }
    }
}
