/ - Diff - Pobyso - Forge du Centre Blaise Pascal

     void
     pobyso_autoprint_v(sollya_obj_t soObj, va_list va);
     /**
      * Check if a sollya object is a constant expression.
      * @return 1 if true and zero otherwise
      */
     int
     pobyso_is_constant_expression(sollya_obj_t obj_to_text);
     /**
      * Parse a string to create a Sollya object.
      * A very thin wrapper around the sollya_lib_parse_string() function.
      * If the final ";" is forgotten in the expression, it is added by the
      * function.
      * @return a Sollya expression if successes, a Sollya error if fails.
      * Create a Sollya monomial from a Sollya constant,
      * the coefficient, and an integer, the exponent
      * @return a Sollya functional expression if successes, or a Sollya error
      * if fails.
      */
     pobyso_error_t
     pobyso_parse(const char* expression);
     sollya_obj_t
     pobyso_new_monomial(pobyso_func_exp_t coefficient, long degree);
     /**
      * A wrapper around the Sollya Remez function.
-...
      * A very thin wrapper around the sollya_lib_parse_string() function.
      * If the final ";" is forgotten in the expression, it is added by the
      * function.
      * @return a Sollya functional expression if successes, a Sollya error if fails.
      * @return a Sollya functional expression if successes, or a Sollya error
      * if fails.
      */
     pobyso_error_t
     pobyso_parse_string(const char* expression);

     int
     main(int argc, char** argv)
+    {
       pobyso_func_exp_t f;
       pobyso_func_exp_t f = NULL;
       pobyso_func_exp_t one = NULL;
       sollya_lib_init();
       pobyso_set_canonical_on();
       f = pobyso_parse_string(argv[1]);
-...
             argv[1]);
+      }
       sollya_lib_clear_obj(f);
       /*  */
       one = pobyso_parse_string("1");
       if (pobyso_is_function(one))
+      {
         pobyso_is_constant_expression(one);
         fprintf(stdout, "%s is a function.\n", "1");
+      }
       else
+      {
         fprintf(stdout,"%s is not a function.\n", "1");
+      }
       sollya_lib_clear_obj(one);
       sollya_lib_close();
       return 0;
     } /* End main */

       va_end(va);
     } /* End pobyso_autoprint. */
     /* @see pobyso.h#pobyso_is_constant_expression*/
     int
     pobyso_is_constant_expression(sollya_obj_t obj_to_test)
+    {
       mpfr_t dummy;
       int test;
       sollya_obj_t verbosity_level      = NULL;
       /* Test argument. */
       if (obj_to_test == NULL)
+      {
         pobyso_error_message("pobyso_parse_string",
                             "NULL_POINTER_ARGUMENT",
                             "The expression is a NULL pointer");
         return 0;
+      }
       verbosity_level = pobyso_set_verbosity_off();
       if (! sollya_lib_obj_is_function(obj_to_test))
+      {
         pobyso_set_verbosity_to(verbosity_level);
         sollya_lib_clear_obj(verbosity_level);
         return 0;
+      }
       mpfr_init2(dummy,64);
       /* Call to previous Sollya function resets verbosity. */
       verbosity_level = pobyso_set_verbosity_off();
       test = sollya_lib_get_constant(dummy, obj_to_test);
       mpfr_clear(dummy);
       pobyso_set_verbosity_to(verbosity_level);
       sollya_lib_clear_obj(verbosity_level);
       return test;
     } /* End pobyso_is_constant_expression. */
     /** @see pobyso.h#pobyso_new_monomial. */
     pobyso_func_exp_t
     pobyso_new_monomial(pobyso_func_exp_t coefficientSa, long degree)
+    {
       sollya_obj_t degreeSa   = NULL;
       sollya_obj_t varToPowSa = NULL;
       sollya_obj_t monomialSa = NULL;
       if (coefficientSa == NULL)
+      {
         pobyso_error_message("pobyso_parse_string",
                             "NULL_POINTER_ARGUMENT",
                             "The expression is a NULL pointer");
         return sollya_lib_error();
+      }
       if (! pobyso_is_constant_expression(coefficientSa))
+      {
         return sollya_lib_error();
+      }
       if (degree < 0)
+      {
         return sollya_lib_error();
+      }
       degreeSa    = sollya_lib_constant_from_int64(degree);
       varToPowSa  = sollya_lib_build_function_pow(sollya_lib_free_variable(),
                                                   degreeSa);
       monomialSa = sollya_lib_mul(coefficientSa,varToPowSa);
       sollya_lib_clear_obj(varToPowSa);
       return monomialSa;
     } /* End pobyso_new_monomial. */
     /* @see pobyso.h#pobyso_parse_string*/
     pobyso_func_exp_t
     pobyso_parse_string(const char* expression)

     TEST_SOURCES = $(TEST_DIR)/$(TEST_DRIVER).c \
                    # Add the suites definition sources
     ALL_TARGETS = test-pobyso-01 test-pobyso-02
     ALL_TARGETS = test-pobyso-01 test-pobyso-02 \
                   test-pobyso-constant-expression
     SCRATCH_PRG := $(patsubst %.c,%,$(wildcard *.c))
     SCRATCH_ALL := $(SCRATCH_PRG)

     /** @file test-pobyso-constant-expression.c
      * Name & purpose
+     *
      * @author
      * @date
+     *
      * @details Verbosity manipulation are performed  to make sur  that verbosity
      *  suppression is correctly managed in pobyso_is_constant_expression()
      *  function.
      */
     /******************************************************************************/
     /* Headers, applying the "particular to general" convention.*/
     #include "pobyso.h"
     /* includes of local headers */
     /* includes of project headers */
     /* includes of system headers */
     /* Other declarations */
     /* Internal prototypes */
     /* Types, constants and macros definitions */
     /* Global variables */
     /* Functions */
     int
     main(int argc, char** argv)
+    {
       pobyso_func_exp_t func_exp  = NULL;
       sollya_obj_t verbosity      = NULL;
       sollya_obj_t on             = NULL;
       sollya_obj_t off            = NULL;
       sollya_lib_init();
       pobyso_set_canonical_on();
       off = sollya_lib_off();
       on  = sollya_lib_on();
       fprintf(stdout, "NULL argument:\n");
       if (! pobyso_is_constant_expression(func_exp))
+      {
         fprintf(stdout, "OK.\n");
+      }
       else
+      {
         fprintf(stdout, "Error for NULL argument.\n");
         return 1;
+      }
       fprintf(stdout, "Argument : 1\n");
       func_exp = pobyso_parse_string("1");
       if (pobyso_is_constant_expression(func_exp))
+      {
         pobyso_autoprint(func_exp);
         fprintf(stdout, "OK.\n");
         sollya_lib_clear_obj(func_exp);
+      }
       else
+      {
         fprintf(stdout, "Error for \"1\".\n");
         return 1;
+      }
       verbosity = pobyso_set_verbosity_off();
       func_exp = pobyso_parse_string("1.1");
       pobyso_set_verbosity_to(verbosity);
       if (pobyso_is_constant_expression(func_exp))
+      {
         pobyso_autoprint(func_exp);
         fprintf(stdout, "OK.\n");
         sollya_lib_clear_obj(func_exp);
+      }
       else
+      {
         fprintf(stdout, "Error for \"1.1\".\n");
         return 1;
+      }
       func_exp = pobyso_parse_string("1/2");
       if (pobyso_is_constant_expression(func_exp))
+      {
         pobyso_autoprint(func_exp);
         fprintf(stdout, "OK for \"1/2\".\n");
         sollya_lib_clear_obj(func_exp);
+      }
       else
+      {
         fprintf(stdout, "Error for \"1/2\".\n");
         return 1;
+      }
       verbosity = pobyso_set_verbosity_off();
       sollya_lib_set_roundingwarnings(off);
       func_exp = sollya_lib_pi();
       pobyso_set_verbosity_to(verbosity);
       sollya_lib_set_roundingwarnings(on);
       if (pobyso_is_constant_expression(func_exp))
+      {
         pobyso_autoprint(func_exp);
         fprintf(stdout,"OK for pi.\n");
         sollya_lib_clear_obj(func_exp);
+      }
       else
+      {
         fprintf(stdout, "Error for \"pi\".\n");
         return 1;
+      }
       func_exp = pobyso_parse_string("x^2");
       if (! pobyso_is_constant_expression(func_exp))
+      {
         fprintf(stdout, "Non constant expression \"x^2\": OK\n");
+      }
       else
+      {
         fprintf(stdout, "Error for \"x^2\".\n");
         return 1;
+      }
       func_exp = pobyso_parse_string("cos(x)");
       if (! pobyso_is_constant_expression(func_exp))
+      {
         pobyso_autoprint(func_exp);
         fprintf(stdout, "Non constant expression \"cos(x)\": OK\n");
         sollya_lib_clear_obj(func_exp);
+      }
       else
+      {
         fprintf(stdout, "Error for \"cos(x)\".\n");
         return 1;
+      }
       verbosity = pobyso_set_verbosity_off();
       func_exp = pobyso_parse_string("cos(pi)");
       pobyso_set_verbosity_to(verbosity);
+      {
         pobyso_autoprint(func_exp);
         fprintf(stdout, "OK for \"cos(pi)\".\n");
         sollya_lib_clear_obj(func_exp);
+      }
       /*  */
       sollya_lib_close();
       return 0;
     } /* End main */

Laboratoire de l'Informatique et du Parallélisme » Pobyso

Révision 133