#!/usr/bin/env python
"""
Summarize the information in the given coverage files.

Emits the number of rules covered or the percentage of rules covered depending
on whether --num-rules has been used to specify the total number of rules.
"""

import argparse
import struct

class FileFormatError(Exception):
  pass

def backend_int_pair(s):
  backend, sep, value = s.partition('=')
  if (sep is None):
    raise argparse.ArgumentTypeError("'=' missing, expected name=value")
  if (not backend):
    raise argparse.ArgumentTypeError("Expected name=value")
  if (not value):
    raise argparse.ArgumentTypeError("Expected name=value")
  return backend, int(value)

def main():
  parser = argparse.ArgumentParser(description=__doc__)
  parser.add_argument('input', nargs='+')
  parser.add_argument('--num-rules', type=backend_int_pair, action='append',
                      metavar='BACKEND=NUM',
                      help='Specify the number of rules for a backend')
  args = parser.parse_args()

  covered_rules = {}

  for input_filename in args.input:
    with open(input_filename, 'rb') as input_fh:
      data = input_fh.read()
      pos = 0
      while data:
        backend, _, data = data.partition('\0')
        pos += len(backend)
        pos += 1

        if len(backend) == 0:
          raise FileFormatError()
        backend, = struct.unpack("%ds" % len(backend), backend)

        while data:
          if len(data) < 8:
            raise FileFormatError()
          rule_id, = struct.unpack("Q", data[:8])
          pos += 8
          data = data[8:]
          if rule_id == (2 ** 64) - 1:
            break
          covered_rules[backend] = covered_rules.get(backend, {})
          covered_rules[backend][rule_id] = covered_rules[backend].get(rule_id, 0) + 1

  num_rules = dict(args.num_rules)
  for backend, rules_for_backend in covered_rules.items():
    if backend in num_rules:
      print "%s: %3.2f%% of rules covered" % (backend, (float(len(rules_for_backend.keys())) / num_rules[backend]) * 100)
    else:
      print "%s: %d rules covered" % (backend, len(rules_for_backend.keys()))

if __name__ == '__main__':
  main()