#!/usr/bin/env python
import sys;
import re;
import glob;

def print_results (source_name):
    digits_end = r"[0-9]+$"
    float_start = r"^[0-9]+\.[0-9]+"
    time_name = source_name.replace (".txt", ".time")

    source_file = open (source_name, "r")
    source_contents = source_file.readlines ()

    time_file = open (time_name, "r")
    time_contents = time_file.readlines ()

    language = source_name.replace (".txt", "")
    cpu_time = re.search (float_start, time_contents[0]).group(0)
    num_strings = re.search (digits_end, source_contents[0]).group(0)
    num_chars = re.search (digits_end, source_contents[1]).group(0)
    num_fonts = re.search (digits_end, source_contents[3]).group(0)
    num_caches = re.search (r"([0-9]+) \(.*\)$", source_contents[4]).group(1)
    num_hits = re.search (digits_end, source_contents[5]).group(0)
    num_misses = re.search (digits_end, source_contents[6]).group(0)
    miss_rate = re.search (r"([0-9]+\.[0-9]+)\%$", source_contents[7]).group(1)

    print "%s, %s, %s, %s, %s, %s, %s, %s, %s" % (language,
                                                  cpu_time,
                                                  num_strings,
                                                  num_chars,
                                                  num_fonts,
                                                  num_caches,
                                                  num_hits,
                                                  num_misses,
                                                  miss_rate)
        
print "Language, Time, Nstrings, Nchars, Fonts, Caches, Hits, Misses, Miss rate"

sources = glob.glob ("*.txt")

for source_name in sources:
    print_results (source_name)