C++ (Cpp) xml_typecheck примеры использования

Пример #1

bool xml_languaget::typecheck(
  symbol_tablet &symbol_table,
  const std::string &module,
  message_handlert &message_handler)
{
  return xml_typecheck(
    xml_parse_tree, symbol_table, module, message_handler);
}

Пример #2

bool xml_typecheck(
  xml_parse_treet &xml_parse_tree,
  symbol_tablet &symbol_table,
  const std::string &module,
  message_handlert &message_handler)
{
  xml_typecheckt xml_typecheck(
    xml_parse_tree, symbol_table, module, message_handler);
  return xml_typecheck.typecheck_main();
}

Пример #3

bool xml_typecheck(exprt &expr,
                   std::ostream &err,
                   const namespacet &ns)
{
  symbol_tablet symbol_table;
  xml_parse_treet xml_parse_tree;

  #if 0
  bool result=false;

  xml_typecheckt xml_typecheck(xml_parse, symbol_table,
                                   ns.get_symbol_table(), "", err);

  try
  {
    xml_typecheck.typecheck_expr(expr);
  }

  catch(int e)
  {
    result=true;
  }

  catch(const char *e)
  {
    str << e << std::endl;
    result=true;
  }

  catch(const std::string &e)
  {
    str << e << std::endl;
    result=true;
  }

  return result;
  #endif
  return true;
}