CBMC
xml_interface.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: XML Interface
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_XMLLANG_XML_INTERFACE_H
13 #define CPROVER_XMLLANG_XML_INTERFACE_H
14 
15 class cmdlinet;
16 class message_handlert;
17 
32 void xml_interface(cmdlinet &, message_handlert &);
33 
34 // clang-format off
35 #define OPT_XML_INTERFACE \
36  "(xml-ui)" \
37  "(xml-interface)"
38 
39 #define HELP_XML_INTERFACE \
40  " --xml-ui use XML-formatted output\n" \
41  " --xml-interface bi-directional XML interface\n"
42 // clang-format on
43 
44 #endif // CPROVER_XMLLANG_XML_INTERFACE_H
cmdlinet
Definition: cmdline.h:20
message_handlert
Definition: message.h:27
xml_interface
void xml_interface(cmdlinet &, message_handlert &)
Parse XML-formatted commandline options from stdin.
Definition: xml_interface.cpp:47