CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
xml_interface.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: XML Interface
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_XMLLANG_XML_INTERFACE_H
13#define CPROVER_XMLLANG_XML_INTERFACE_H
14
15class cmdlinet;
17
33
34// clang-format off
35#define OPT_XML_INTERFACE \
36 "(xml-ui)" \
37 "(xml-interface)"
38
39#define HELP_XML_INTERFACE \
40 " {y--xml-ui} \t use XML-formatted output\n" \
41 " {y--xml-interface} \t bi-directional XML interface\n"
42// clang-format on
43
44#endif // CPROVER_XMLLANG_XML_INTERFACE_H
void xml_interface(cmdlinet &, message_handlert &)
Parse XML-formatted commandline options from stdin.