Rename _goto_program to goto_program

thomasspriggs · thomasspriggs · commit cf286971e2f6 · 2020-11-26T17:56:08.000Z
As there is no other goto program in scope the underscore is not needed
for avoiding naming clashes. Therefore this rename can be done in order
to help with readability.
diff --git a/src/goto-instrument/cover_basic_blocks.cpp b/src/goto-instrument/cover_basic_blocks.cpp
@@ -29,12 +29,12 @@ optionalt<std::size_t> cover_basic_blockst::continuation_of_block(
   return {};
 }
 
-cover_basic_blockst::cover_basic_blockst(const goto_programt &_goto_program)
+cover_basic_blockst::cover_basic_blockst(const goto_programt &goto_program)
 {
   bool next_is_target = true;
   std::size_t current_block = 0;
 
-  forall_goto_program_instructions(it, _goto_program)
+  forall_goto_program_instructions(it, goto_program)
   {
     // Is it a potential beginning of a block?
     if(next_is_target || it->is_target())
diff --git a/src/goto-instrument/cover_basic_blocks.h b/src/goto-instrument/cover_basic_blocks.h
@@ -63,7 +63,7 @@ class cover_blocks_baset
 class cover_basic_blockst final : public cover_blocks_baset
 {
 public:
-  explicit cover_basic_blockst(const goto_programt &_goto_program);
+  explicit cover_basic_blockst(const goto_programt &goto_program);
 
   /// \param t: a goto instruction
   /// \return the block number of the block

Original file line number	Diff line number	Diff line change
`@@ -29,12 +29,12 @@ optionalt<std::size_t> cover_basic_blockst::continuation_of_block(`
`29`	`29`	`return {};`
`30`	`30`	`}`
`31`	`31`
`32`		`-cover_basic_blockst::cover_basic_blockst(const goto_programt &_goto_program)`
	`32`	`+cover_basic_blockst::cover_basic_blockst(const goto_programt &goto_program)`
`33`	`33`	`{`
`34`	`34`	`bool next_is_target = true;`
`35`	`35`	`std::size_t current_block = 0;`
`36`	`36`
`37`		`- forall_goto_program_instructions(it, _goto_program)`
	`37`	`+ forall_goto_program_instructions(it, goto_program)`
`38`	`38`	`{`
`39`	`39`	`// Is it a potential beginning of a block?`
`40`	`40`	`if(next_is_target \|\| it->is_target())`
Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,7 @@ class cover_blocks_baset`
`63`	`63`	`class cover_basic_blockst final : public cover_blocks_baset`
`64`	`64`	`{`
`65`	`65`	`public:`
`66`		`- explicit cover_basic_blockst(const goto_programt &_goto_program);`
	`66`	`+ explicit cover_basic_blockst(const goto_programt &goto_program);`
`67`	`67`
`68`	`68`	`/// \param t: a goto instruction`
`69`	`69`	`/// \return the block number of the block`