32 	def __init__(self, filename, revision, checksum):  argument
33 		self.filename	= filename
38 		return hash((self.filename, self.revision, self.checksum))
41 …return (self.filename, self.revision, self.checksum) == (other.filename, other.revision, other.che…
44 		return self.filename
47 		return "r%d-%s" % (self.revision, self.filename)
56 …s.khronos.org/svn/repos/ogl/trunk/doc/registry/public/api/%s?r=%d" % (self.filename, self.revision)
67 	def writeFile (filename, data):  argument
68 		f = open(filename, 'wb')
84 def checkFile (filename, checksum):  argument
85 	def readFile (filename):  argument
86 		f = open(filename, 'rb')
91 	if os.path.exists(filename):
92 		return computeChecksum(readFile(filename)) == checksum