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

/** @file createObj-01.c

 * CreateObj-01: create a function for an expression given on the command line.

 *

 * @author S.T.

 * @date 2012-11-21

 *

 */

/******************************************************************************/

/* Headers, applying the "particular to general" convention.*/

#include "pobyso.h"

/* includes of local headers */

/* includes of project headers */

/* includes of system headers */

#include <gmp.h>

#include <sollya.h>

#include <setjmp.h>

#include <string.h>

/* Other declarations */

/* Internal prototypes */

/* Types, constants and macros definitions */

#define NUM_ARGS 3

#define VARIABLE_NAME_STRING "x"

#define RADIX 10

/* Global variables */

/* Functions */

int

main(int argc, char** argv)

{

  //jmp_buf recover;

  pobyso_function_t functionObj     = NULL;

  sollya_verbosity_t curVerbLevel   = NULL;

  char *freeVariableName            = NULL;

  char *functionString              = NULL;

  char *initialFreeVariableName     = NULL;

  /* check the command line arguments */

  if (argc < NUM_ARGS)

  {

    fprintf(stderr,

            "\n\nusage: %s expressionString freeVariableName\n\n",

            argv[0]);

    fprintf(stderr,

            "\texpressionString: the expression to create a node from.\n");

    fprintf(stderr,

            "\t\tmust be in quotes (e. g. \"cos(x)\");\n");

    fprintf(stderr,

            "\tfreeVariableName: the name of the free variable;\n");

    fprintf(stderr,

            "\t\t(e. g. x (no quotes needed));\n");

    fprintf(stderr,"\n\n");

    return(1);

  }

  functionString    = argv[1];

  freeVariableName  = argv[2];

  /* Debug printing. */

  fprintf(stdout,

          "%s: function: %s\n", argv[0], functionString);

  fprintf(stdout,

          "%s: variable name: %s\n", argv[0], freeVariableName);

  fprintf(stdout, "\n");

  /* Initialize Sollya. */

  sollya_lib_init();

  initialFreeVariableName = sollya_lib_get_free_variable_name();

  if (initialFreeVariableName == NULL)

  {

    fprintf(stderr, "%s: could not get the name of the free variable. Aborting!\n",

                    argv[0]);

    sollya_lib_close();

    return(1);

  }

  fprintf(stderr, "%s: name of variable (before any assignment): %s\n",

                  argv[0],

                  initialFreeVariableName);

  /* Set the free variable name. */

  sollya_lib_name_free_variable(freeVariableName);

  if (strcmp(sollya_lib_get_free_variable_name(), freeVariableName))

  {

    fprintf(stderr, "Could not set \"%s\" as the variable name. Aborting!\n",

                      freeVariableName);

    sollya_lib_close();

    return(1);

  }

  /* Keep Sollya quiet. */

  curVerbLevel = pobyso_set_verbosity_off();

  /* Parse the function string. */

  functionObj = pobyso_parse_string(functionString);

  if (pobyso_is_error(functionObj))

  {

    fprintf(stderr, "%s: could not parse \"%s\". Aborting!\n", argv[0], functionString);

    sollya_lib_close();

    return(1);

  }

  //sollya_lib_fprintf(stdout, "%s: function: %b\n", argv[0], functionObj );

  //pobyso_autoprint(functionObj, NULL);

  pobyso_autoprint(functionObj, NULL);

  if (pobyso_is_function(functionObj))

  {

    fprintf(stdout, " is a function.\n");

  }

  else

  {

    fprintf(stdout, " is *not* a function!\n");

  }

  pobyso_autoprint(curVerbLevel, NULL);

  pobyso_set_verbosity_to(curVerbLevel);

  sollya_lib_clear_obj(curVerbLevel);

  sollya_lib_clear_obj(functionObj);

  sollya_lib_close();

  return(0);

} /* End main */