def replace_included_headers(self, headers, leave_system_headers=True): to_be_removed = [] for creator in self.creators: if isinstance(creator, include.include_t): to_be_removed.append(creator) elif isinstance(creator, module_body.module_body_t): break for creator in to_be_removed: if creator.is_system: if not leave_system_headers: self.remove_creator(creator) elif creator.is_user_defined: pass else: self.remove_creator(creator) map(lambda header: self.adopt_include(include.include_t(header=header)), headers)
def replace_included_headers( self, headers, leave_system_headers=True ): to_be_removed = [] for creator in self.creators: if isinstance( creator, include.include_t ): to_be_removed.append( creator ) elif isinstance( creator, module_body.module_body_t ): break for creator in to_be_removed: if creator.is_system: if not leave_system_headers: self.remove_creator( creator ) elif creator.is_user_defined: pass else: self.remove_creator( creator ) map( lambda header: self.adopt_include( include.include_t( header=header ) ) , headers )
def add_include(self, header, user_defined=True, system=False): creator = include.include_t(header=header, user_defined=user_defined, system=system) self.adopt_include(creator)
def add_include( self, header, user_defined=True, system=False ): creator = include.include_t( header=header, user_defined=user_defined, system=system ) self.adopt_include( creator )