redef class ToolContext
+ # --rta
+ var opt_rta = new OptionBool("Compute RTA metrics", "--rta")
# --generate_hyperdoc
var opt_generate_hyperdoc = new OptionBool("Generate Hyperdoc", "--generate_hyperdoc")
redef init
do
super
+ self.option_context.add_option(opt_rta)
self.option_context.add_option(opt_generate_hyperdoc)
self.option_context.add_option(opt_dir)
end