[PPL-devel] [GIT] ppl/ppl(devel): Added missing braces. Fixed indentation.

Roberto Bagnara roberto.bagnara at bugseng.com
Thu Jun 25 08:57:40 CEST 2020


Module: ppl/ppl
Branch: devel
Commit: 1bcfe132213c6cb6f1037beed552d831174c2424
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bcfe132213c6cb6f1037beed552d831174c2424

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Wed Jun 24 20:26:41 2020 +0200

Added missing braces.  Fixed indentation.

---

 .../ppl_interface_generator_prolog_cc_code.m4      |   24 ++++++++++---------
 1 files changed, 13 insertions(+), 11 deletions(-)

diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
index a710aa6..176c7b1 100644
--- a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
+++ b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
@@ -37,23 +37,25 @@ ppl_new_ at TOPOLOGY@@CLASS at _from_space_dimension(Prolog_term_ref t_nd,
     @TOPOLOGY@@CPP_CLASS@* ph;
     Prolog_atom uoe = term_to_universe_or_empty(t_uoe, where);
 
-    if (uoe == a_empty)
+    if (uoe == a_empty) {
       ph = new @TOPOLOGY@@CPP_CLASS@(term_to_unsigned<dimension_type>(t_nd,
                                                                       where),
                                      EMPTY);
-    else
+    }
+    else {
       ph = new @TOPOLOGY@@CPP_CLASS@(term_to_unsigned<dimension_type>(t_nd,
                                                                       where),
                                      UNIVERSE);
-
-      Prolog_term_ref tmp = Prolog_new_term_ref();
-      Prolog_put_address(tmp, ph);
-      if (Prolog_unify(t_ph, tmp)) {
-        PPL_REGISTER(ph);
-        return PROLOG_SUCCESS;
-      }
-      else
-        delete ph;
+    }
+    Prolog_term_ref tmp = Prolog_new_term_ref();
+    Prolog_put_address(tmp, ph);
+    if (Prolog_unify(t_ph, tmp)) {
+      PPL_REGISTER(ph);
+      return PROLOG_SUCCESS;
+    }
+    else {
+      delete ph;
+    }
   }
   CATCH_ALL;
 }




More information about the PPL-devel mailing list