Method write_final

src/reflex.cpp:3214–3309

Finalize and display usage report

/// Finalize and display usage report
void Reflex::write_final()
{
  if (!options["verbose"].empty())
  {
    std::cout << "reflex " REFLEX_VERSION " " << infile << " usage report:\n" << "  options used:\n";
    for (StringMap::const_iterator option = options.begin(); option != options.end(); ++option)
      if (!option->second.empty())
        std::cout << "    " << option->first << "=" << option->second << '\n';
    if (!options["verbose"].empty())
      std::cout << "  inclusive (%s) and exclusive (%x) start conditions (with construction time):\n";
  }
  if (!options["matcher"].empty())
  {
    if (!options["verbose"].empty())
    {
      for (Start start = 0; start < conditions.size(); ++start)
      {
        std::cout << "    ";
        if (inclusive.find(start) != inclusive.end())
          std::cout << "%s ";
        else
          std::cout << "%x ";
        std::cout << conditions[start] << ": " << rules[start].size() << " rules\n";
      }
      std::cout << '\n';
    }
  }
  else
  {
    for (Start start = 0; start < conditions.size(); ++start)
    {
      std::string name = options["prefix"];
      if (name == "yy")
        name.clear();
      name.append(conditions[start]);
      std::string option = "r";
      option.append(";n=").append(name);
      if (!options["namespace"].empty())
        option.append(";z=").append(options["namespace"]);
      if (options["graphs_file"] == "true")
        option.append(";f=reflex.").append(name).append(".gv");
      else if (!options["graphs_file"].empty())
        option.append(";f=").append(start > 0 ? "+" : "").append(options["graphs_file"]);
      if (!options["fast"].empty())
        option.append(";o");
      if (!options["find"].empty())
        option.append(";p");
      if (options["tables_file"] == "true")
        option.append(";f=reflex.").append(name).append(".cpp");
      else if (!options["tables_file"].empty())
        option.append(";f=").append(start > 0 ? "+" : "").append(options["tables_file"]);
      if ((!options["full"].empty() || !options["fast"].empty()) && options["tables_file"].empty())
      {
        if (options["stdout"].empty())
          option.append(";f=+").append(options["outfile"]);      
        else
          option.append(";f=stdout.cpp");
      }