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

/** @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;

  int verbosity               = 0;

  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 */