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):

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

    ## Private utility ##

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