Skip to content

Commit fe99fdd

Browse files
author
kroening
committed
parseoptions -> parse_options
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@5161 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
1 parent c86ca30 commit fe99fdd

File tree

4 files changed

+39
-39
lines changed

4 files changed

+39
-39
lines changed

‎src/symex/Makefile‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
SRC = symex_main.cpp symex_parseoptions.cpp path_search.cpp
1+
SRC = symex_main.cpp symex_parse_options.cpp path_search.cpp
22

33
OBJ += ../ansi-c/ansi-c$(LIBEXT) \
44
../linking/linking$(LIBEXT) \

‎src/symex/symex_main.cpp‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ Author: Daniel Kroening, kroening@kroening.com
88

99
#include <util/unicode.h>
1010

11-
#include "symex_parseoptions.h"
11+
#include "symex_parse_options.h"
1212

1313
/*******************************************************************\
1414
@@ -26,13 +26,13 @@ Function: main
2626
int wmain(int argc, const wchar_t **argv_wide)
2727
{
2828
const char **argv=narrow_argv(argc, argv_wide);
29-
symex_parseoptionst parseoptions(argc, argv);
30-
return parseoptions.main();
29+
symex_parse_optionst parse_options(argc, argv);
30+
return parse_options.main();
3131
}
3232
#else
3333
int main(int argc, const char **argv)
3434
{
35-
symex_parseoptionst parseoptions(argc, argv);
36-
return parseoptions.main();
35+
symex_parse_optionst parse_options(argc, argv);
36+
return parse_options.main();
3737
}
3838
#endif

‎src/symex/symex_parseoptions.cpp‎ renamed to ‎src/symex/symex_parse_options.cpp‎

Lines changed: 26 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -38,11 +38,11 @@ Author: Daniel Kroening, kroening@kroening.com
3838
#include <path-symex/locs.h>
3939

4040
#include "path_search.h"
41-
#include "symex_parseoptions.h"
41+
#include "symex_parse_options.h"
4242

4343
/*******************************************************************\
4444
45-
Function: symex_parseoptionst::symex_parseoptionst
45+
Function: symex_parse_optionst::symex_parse_optionst
4646
4747
Inputs:
4848
@@ -52,15 +52,15 @@ Function: symex_parseoptionst::symex_parseoptionst
5252
5353
\*******************************************************************/
5454

55-
symex_parseoptionst::symex_parseoptionst(int argc, const char **argv):
56-
parseoptions_baset(SYMEX_OPTIONS, argc, argv),
55+
symex_parse_optionst::symex_parse_optionst(int argc, const char **argv):
56+
parse_options_baset(SYMEX_OPTIONS, argc, argv),
5757
language_uit("Symex " CBMC_VERSION, cmdline)
5858
{
5959
}
6060

6161
/*******************************************************************\
6262
63-
Function: symex_parseoptionst::eval_verbosity
63+
Function: symex_parse_optionst::eval_verbosity
6464
6565
Inputs:
6666
@@ -70,7 +70,7 @@ Function: symex_parseoptionst::eval_verbosity
7070
7171
\*******************************************************************/
7272

73-
void symex_parseoptionst::eval_verbosity()
73+
void symex_parse_optionst::eval_verbosity()
7474
{
7575
// this is our default verbosity
7676
int v=messaget::M_STATISTICS;
@@ -89,7 +89,7 @@ void symex_parseoptionst::eval_verbosity()
8989

9090
/*******************************************************************\
9191
92-
Function: symex_parseoptionst::get_command_line_options
92+
Function: symex_parse_optionst::get_command_line_options
9393
9494
Inputs:
9595
@@ -99,7 +99,7 @@ Function: symex_parseoptionst::get_command_line_options
9999
100100
\*******************************************************************/
101101

102-
void symex_parseoptionst::get_command_line_options(optionst &options)
102+
void symex_parse_optionst::get_command_line_options(optionst &options)
103103
{
104104
if(config.set(cmdline))
105105
{
@@ -180,7 +180,7 @@ void symex_parseoptionst::get_command_line_options(optionst &options)
180180

181181
/*******************************************************************\
182182
183-
Function: symex_parseoptionst::doit
183+
Function: symex_parse_optionst::doit
184184
185185
Inputs:
186186
@@ -190,7 +190,7 @@ Function: symex_parseoptionst::doit
190190
191191
\*******************************************************************/
192192

193-
int symex_parseoptionst::doit()
193+
int symex_parse_optionst::doit()
194194
{
195195
if(cmdline.isset("version"))
196196
{
@@ -301,7 +301,7 @@ int symex_parseoptionst::doit()
301301

302302
/*******************************************************************\
303303
304-
Function: symex_parseoptionst::set_properties
304+
Function: symex_parse_optionst::set_properties
305305
306306
Inputs:
307307
@@ -311,7 +311,7 @@ Function: symex_parseoptionst::set_properties
311311
312312
\*******************************************************************/
313313

314-
bool symex_parseoptionst::set_properties(goto_functionst &goto_functions)
314+
bool symex_parse_optionst::set_properties(goto_functionst &goto_functions)
315315
{
316316
try
317317
{
@@ -341,7 +341,7 @@ bool symex_parseoptionst::set_properties(goto_functionst &goto_functions)
341341

342342
/*******************************************************************\
343343
344-
Function: symex_parseoptionst::get_goto_program
344+
Function: symex_parse_optionst::get_goto_program
345345
346346
Inputs:
347347
@@ -351,7 +351,7 @@ Function: symex_parseoptionst::get_goto_program
351351
352352
\*******************************************************************/
353353

354-
bool symex_parseoptionst::get_goto_program(
354+
bool symex_parse_optionst::get_goto_program(
355355
const optionst &options,
356356
goto_functionst &goto_functions)
357357
{
@@ -496,7 +496,7 @@ bool symex_parseoptionst::get_goto_program(
496496

497497
/*******************************************************************\
498498
499-
Function: symex_parseoptionst::process_goto_program
499+
Function: symex_parse_optionst::process_goto_program
500500
501501
Inputs:
502502
@@ -506,7 +506,7 @@ Function: symex_parseoptionst::process_goto_program
506506
507507
\*******************************************************************/
508508

509-
bool symex_parseoptionst::process_goto_program(
509+
bool symex_parse_optionst::process_goto_program(
510510
const optionst &options,
511511
goto_functionst &goto_functions)
512512
{
@@ -577,7 +577,7 @@ bool symex_parseoptionst::process_goto_program(
577577

578578
/*******************************************************************\
579579
580-
Function: symex_parseoptionst::report_properties
580+
Function: symex_parse_optionst::report_properties
581581
582582
Inputs:
583583
@@ -587,7 +587,7 @@ Function: symex_parseoptionst::report_properties
587587
588588
\*******************************************************************/
589589

590-
void symex_parseoptionst::report_properties(
590+
void symex_parse_optionst::report_properties(
591591
const path_searcht::property_mapt &property_map)
592592
{
593593
for(path_searcht::property_mapt::const_iterator
@@ -652,7 +652,7 @@ void symex_parseoptionst::report_properties(
652652

653653
/*******************************************************************\
654654
655-
Function: symex_parseoptionst::report_success
655+
Function: symex_parse_optionst::report_success
656656
657657
Inputs:
658658
@@ -662,7 +662,7 @@ Function: symex_parseoptionst::report_success
662662
663663
\*******************************************************************/
664664

665-
void symex_parseoptionst::report_success()
665+
void symex_parse_optionst::report_success()
666666
{
667667
result() << "VERIFICATION SUCCESSFUL" << eom;
668668

@@ -687,7 +687,7 @@ void symex_parseoptionst::report_success()
687687

688688
/*******************************************************************\
689689
690-
Function: symex_parseoptionst::show_counterexample
690+
Function: symex_parse_optionst::show_counterexample
691691
692692
Inputs:
693693
@@ -697,7 +697,7 @@ Function: symex_parseoptionst::show_counterexample
697697
698698
\*******************************************************************/
699699

700-
void symex_parseoptionst::show_counterexample(
700+
void symex_parse_optionst::show_counterexample(
701701
const goto_tracet &error_trace)
702702
{
703703
const namespacet ns(symbol_table);
@@ -724,7 +724,7 @@ void symex_parseoptionst::show_counterexample(
724724

725725
/*******************************************************************\
726726
727-
Function: symex_parseoptionst::report_failure
727+
Function: symex_parse_optionst::report_failure
728728
729729
Inputs:
730730
@@ -734,7 +734,7 @@ Function: symex_parseoptionst::report_failure
734734
735735
\*******************************************************************/
736736

737-
void symex_parseoptionst::report_failure()
737+
void symex_parse_optionst::report_failure()
738738
{
739739
result() << "VERIFICATION FAILED" << eom;
740740

@@ -759,7 +759,7 @@ void symex_parseoptionst::report_failure()
759759

760760
/*******************************************************************\
761761
762-
Function: symex_parseoptionst::help
762+
Function: symex_parse_optionst::help
763763
764764
Inputs:
765765
@@ -769,7 +769,7 @@ Function: symex_parseoptionst::help
769769
770770
\*******************************************************************/
771771

772-
void symex_parseoptionst::help()
772+
void symex_parse_optionst::help()
773773
{
774774
std::cout <<
775775
"\n"

‎src/symex/symex_parseoptions.h‎ renamed to ‎src/symex/symex_parse_options.h‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -6,11 +6,11 @@ Author: Daniel Kroening, kroening@kroening.com
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_SYMEX_PARSEOPTIONS_H
10-
#define CPROVER_SYMEX_PARSEOPTIONS_H
9+
#ifndef CPROVER_SYMEX_PARSE_OPTIONS_H
10+
#define CPROVER_SYMEX_PARSE_OPTIONS_H
1111

1212
#include <util/ui_message.h>
13-
#include <util/parseoptions.h>
13+
#include <util/parse_options.h>
1414

1515
#include <langapi/language_ui.h>
1616

@@ -40,16 +40,16 @@ class optionst;
4040
"(no-simplify)(no-unwinding-assertions)(no-propagation)"
4141
// the last line is for CBMC-regression testing only
4242

43-
class symex_parseoptionst:
44-
public parseoptions_baset,
43+
class symex_parse_optionst:
44+
public parse_options_baset,
4545
public language_uit
4646
{
4747
public:
4848
virtual int doit();
4949
virtual void help();
5050

51-
symex_parseoptionst(int argc, const char **argv);
52-
symex_parseoptionst(
51+
symex_parse_optionst(int argc, const char **argv);
52+
symex_parse_optionst(
5353
int argc,
5454
const char **argv,
5555
const std::string &extra_options);

0 commit comments

Comments
 (0)