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