clang-format fixes for variable_sensitivity_object_factory.cpp

jezhiggins · jezhiggins · commit 301aa50374c7 · 2020-11-12T11:25:18.000Z
diff --git a/src/analyses/variable-sensitivity/variable_sensitivity_object_factory.cpp b/src/analyses/variable-sensitivity/variable_sensitivity_object_factory.cpp
@@ -25,14 +25,16 @@ variable_sensitivity_object_factoryt::get_abstract_object_type(const typet type)
   {
     abstract_object_type =
       configuration.advanced_sensitivities.intervals ? INTERVAL : CONSTANT;
-    if(configuration.advanced_sensitivities.new_value_set) {
+    if(configuration.advanced_sensitivities.new_value_set)
+    {
       abstract_object_type = VALUE_SET;
     }
   }
   else if(type.id() == ID_floatbv)
   {
     abstract_object_type = CONSTANT;
-    if(configuration.advanced_sensitivities.new_value_set) {
+    if(configuration.advanced_sensitivities.new_value_set)
+    {
       abstract_object_type = VALUE_SET;
     }
   }
@@ -128,7 +130,8 @@ variable_sensitivity_object_factoryt::get_abstract_object(
     return initialize_abstract_object<abstract_objectt>(
       followed_type, top, bottom, e, environment, ns);
   case VALUE_SET:
-    if(configuration.advanced_sensitivities.new_value_set) {
+    if(configuration.advanced_sensitivities.new_value_set)
+    {
       return initialize_abstract_object<value_set_abstract_valuet>(
         followed_type, top, bottom, e, environment, ns);
     }

Original file line number	Diff line number	Diff line change
`@@ -25,14 +25,16 @@ variable_sensitivity_object_factoryt::get_abstract_object_type(const typet type)`
`25`	`25`	`{`
`26`	`26`	`abstract_object_type =`
`27`	`27`	`configuration.advanced_sensitivities.intervals ? INTERVAL : CONSTANT;`
`28`		`- if(configuration.advanced_sensitivities.new_value_set) {`
	`28`	`+ if(configuration.advanced_sensitivities.new_value_set)`
	`29`	`+ {`
`29`	`30`	`abstract_object_type = VALUE_SET;`
`30`	`31`	`}`
`31`	`32`	`}`
`32`	`33`	`else if(type.id() == ID_floatbv)`
`33`	`34`	`{`
`34`	`35`	`abstract_object_type = CONSTANT;`
`35`		`- if(configuration.advanced_sensitivities.new_value_set) {`
	`36`	`+ if(configuration.advanced_sensitivities.new_value_set)`
	`37`	`+ {`
`36`	`38`	`abstract_object_type = VALUE_SET;`
`37`	`39`	`}`
`38`	`40`	`}`
`@@ -128,7 +130,8 @@ variable_sensitivity_object_factoryt::get_abstract_object(`
`128`	`130`	`return initialize_abstract_object<abstract_objectt>(`
`129`	`131`	`followed_type, top, bottom, e, environment, ns);`
`130`	`132`	`case VALUE_SET:`
`131`		`- if(configuration.advanced_sensitivities.new_value_set) {`
	`133`	`+ if(configuration.advanced_sensitivities.new_value_set)`
	`134`	`+ {`
`132`	`135`	`return initialize_abstract_object<value_set_abstract_valuet>(`
`133`	`136`	`followed_type, top, bottom, e, environment, ns);`
`134`	`137`	`}`