Merge pull request #2834 from diffblue/protect-exprt-methods

kroening · web-flow · commit a6da81137415 · 2018-08-26T12:05:35.000+01:00
add protection to internal methods of exprt
diff --git a/src/util/expr.h b/src/util/expr.h
@@ -139,6 +139,7 @@ class exprt:public irept
     return static_cast<source_locationt &>(add(ID_C_source_location));
   }
 
+protected:
   exprt &add_expr(const irep_idt &name)
   {
     return static_cast<exprt &>(add(name));
@@ -149,6 +150,7 @@ class exprt:public irept
     return static_cast<const exprt &>(find(name));
   }
 
+public:
   void visit(class expr_visitort &visitor);
   void visit(class const_expr_visitort &visitor) const;
 

Original file line number	Diff line number	Diff line change
`@@ -139,6 +139,7 @@ class exprt:public irept`
`139`	`139`	`return static_cast<source_locationt &>(add(ID_C_source_location));`
`140`	`140`	`}`
`141`	`141`
	`142`	`+protected:`
`142`	`143`	`exprt &add_expr(const irep_idt &name)`
`143`	`144`	`{`
`144`	`145`	`return static_cast<exprt &>(add(name));`
`@@ -149,6 +150,7 @@ class exprt:public irept`
`149`	`150`	`return static_cast<const exprt &>(find(name));`
`150`	`151`	`}`
`151`	`152`
	`153`	`+public:`
`152`	`154`	`void visit(class expr_visitort &visitor);`
`153`	`155`	`void visit(class const_expr_visitort &visitor) const;`
`154`	`156`