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 )
