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='