def generate_source(self): """ Creates the sources, and returns a JvmGeneratedSource object for manipulating them """ GenOO.generate_source(self) self.jvmsrc.set_jasmin_files(self.db.jasmin_files()) return self.jvmsrc
def generate_source(self): GenOO.generate_source(self) self.db.const_count.dump(self.const_stat) query.savedesc() return self.tmpfile.strpath
def generate_source(self): GenOO.generate_source(self) self.db.const_count.dump(self.const_stat) return self.tmpfile.strpath