class Mark: def __init__(self, reader, fileid=None, stream=None, inBaseDir=None, encoding=None): ## JSP has an equals function, but I don't think I need that, b/c of using copy, ## but maybe I do def getFile(self): def __str__(self): def __repr__(self): def pushStream(self, infileid, inStream, inBaseDir, inEncoding): def popStream(self): class StreamReader: def __init__(self,filename,ctxt): def init(self): def registerSourceFile(self, file): def pushFile(self, file, encoding=None): def popFile(self): def getFile(self,i): def newSourceFile(self,filename): def Mark(self): def skipUntil(self, st): def reset(self, mark): def Matches(self,st): def Advance(self,length): def nextChar(self): def isSpace(self): def isDelimiter(self): def peekChar(self,cnt=1): def skipSpaces(self): def getChars(self,start,stop): def hasMoreInput(self): def nextContent(self): def parseTagAttributes(self): def parseAttributeValue(self, valuedict): def parseToken(self, quoted):