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

/** @file test-pobyso-is-constant-expression.c

 * Name & purpose

 *

 * @author S. T.

 * @date 2014-11-14

 *

 * @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 funcExpSo  = NULL;

  int outcome = 1;

  sollya_lib_init();

  /* No command line argument test the function with the NULL argument. */

  if (argc == 1)

  {

    outcome = pobyso_is_constant_expression(funcExpSo);

    sollya_lib_close();

    return ! outcome;

  }

  pobyso_set_canonical_on();

  funcExpSo = pobyso_parse_string(argv[1]);

  if (funcExpSo != NULL)

  {

    fprintf(stdout, "Sollya expression: ");

    pobyso_autoprint(funcExpSo);

  }

  else

  {

    fprintf(stdout, "NULL expression");

  }

  if (pobyso_is_constant_expression(funcExpSo))

  {

    sollya_lib_close();

    return 0;

  }

  else

  {

    sollya_lib_close();

    return 1;

  }

} /* End main */