Searched refs:GeneratedFile (Results 1 – 1 of 1) sorted by relevance
42 class GeneratedFile : class58 class Header(GeneratedFile) :71 GeneratedFile.__init__(self, name)79 GeneratedFile.close(self)82 class Implementation(GeneratedFile) :86 GeneratedFile.__init__(self, name)