    class PageError(Exception):

    class Page(HTTPServlet):

        ## Transactions ##
        def awake(self, transaction):
        def respondToGet(self, transaction):
        def respondToPost(self, transaction):
        def sleep(self, transaction):

        ## Access ##
        def application(self):
        def transaction(self):
        def request(self):
        def response(self):
        def session(self):

        ## Generating results ##
        def title(self):
        def htTitle(self):
        def htBodyArgs(self):
        def writeHTML(self):
        def writeDocType(self):
        def writeHead(self):
        def writeHeadParts(self):
        def writeTitle(self):
        def writeStyleSheet(self):
        def writeBody(self):
        def writeBodyParts(self):
        def writeContent(self):

        ## Writing ##
        def write(self, *args):
        def writeln(self, *args):

        ## Threading ##
        def canBeThreaded(self):

        ## Actions ##
        def handleAction(self, action):
        def actions(self):
        def preAction(self, actionName):
        def postAction(self, actionName):
        def methodNameForAction(self, name):

        ## Convenience ##
        def htmlEncode(self, s):
        def htmlDecode(self, s):
        def urlEncode(self, s):
        def urlDecode(self, s):
        def forward(self, URL):
        def includeURL(self, URL):
        def callMethodOfServlet(self, URL, method, *args, **kwargs):
        def endResponse(self):
        def sendRedirectAndEnd(self, url):

        ## Self utility ##
        def sessionEncode(self, url=None):

        ## Private utility ##

        ## Validate HTML output (developer debugging) ##
        def validateHTML(self, closingTags='

'): def writeBodyParts(self): ## Exception reports ## def writeExceptionReport(self, handler): def writeExceptionReport(self, handler):