12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152 |
- import core.api
- class Plugin(core.api.Plugin, core.api.Child, core.api.IConfigurable):
-
- def declare_configuration(self, parser):
- parser.add_option("--std.code.length.total", "--sclent", action="store_true", default=False,
- help="Enables collection of size metric (in number of symbols per region) [default: %default]")
-
- def configure(self, options):
- self.is_active = options.__dict__['std.code.length.total']
-
- def initialize(self):
- fields = []
- if self.is_active == True:
- fields.append(self.Field('total', int))
- core.api.Plugin.initialize(self, fields=fields)
-
- if len(fields) != 0:
- core.api.subscribe_by_parents_interface(core.api.ICode, self, 'callback')
- def callback(self, parent, data, is_updated):
- is_updated = is_updated or self.is_updated
- if is_updated == True:
- for region in data.iterate_regions():
- size = 0
- start_pos = region.get_offset_begin()
- for sub_id in region.iterate_subregion_ids():
-
- size += data.get_region(sub_id).get_offset_begin() - start_pos
- start_pos = data.get_region(sub_id).get_offset_end()
- size += region.get_offset_end() - start_pos
- region.set_data(self.get_name(), 'total', size)
|