import model_utils
import csv
+import counter
redef class ToolContext
var opt_generate_csv = new OptionBool("Generate CVS format metrics", "--generate-csv")
# --generate_hyperdoc
var opt_generate_hyperdoc = new OptionBool("Generate Hyperdoc", "--generate_hyperdoc")
+ # --poset
+ var opt_poset = new OptionBool("Complete metrics on posets", "--poset")
var opt_dir = new OptionString("Directory where some statistics files are generated", "-d", "--dir")
var output_dir: String = "."
self.option_context.add_option(opt_rta)
self.option_context.add_option(opt_generate_csv)
self.option_context.add_option(opt_generate_hyperdoc)
+ self.option_context.add_option(opt_poset)
self.option_context.add_option(opt_dir)
end
return not self.model.std_modules.has(self.name)
end
end
-
-# A counter counts occurence of things
-# Use this instead of a HashMap[E, Int]
-class Counter[E: Object]
- # Total number of counted occurences
- var total: Int = 0
-
- private var map = new HashMap[E, Int]
-
- # The number of counted occurences of `e'
- fun [](e: E): Int
- do
- var map = self.map
- if map.has_key(e) then return map[e]
- return 0
- end
-
- # Count one more occurence of `e'
- fun inc(e: E)
- do
- self.map[e] = self[e] + 1
- total += 1
- end
-
- # Return an array of elements sorted by occurences
- fun sort: Array[E]
- do
- var res = map.keys.to_a
- var sorter = new CounterSorter[E](self)
- sorter.sort(res)
- #res.sort !cmp a, b = map[a] <=> map[b]
- return res
- end
-end
-
-private class CounterSorter[E: Object]
- super AbstractSorter[E]
- var counter: Counter[E]
- redef fun compare(a,b) do return self.counter.map[a] <=> self.counter.map[b]
-end
-
-# Helper function to display n/d and handle division by 0
-fun div(n: Int, d: Int): String
-do
- if d == 0 then return "na"
- return ((100*n/d).to_f/100.0).to_precision(2)
-end