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 "pobyso4/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;

  sollya_obj_t functionObj      = NULL;

  sollya_obj_t curVerbLevel     = NULL;

  char *freeVariableName        = NULL;

  char *functionString          = NULL;

  char *initialFreeVariableName = NULL;

  char buffer[20];

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

  }

  buffer[0] ='\0';

  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);

  }

  /* Parse the function string. */

  pobyso_set_verbosity_off(&curVerbLevel);

  functionObj = pobyso_parse_string(functionString);

  if (sollya_lib_obj_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);

  sollya_lib_clear_obj(functionObj);

  if (sollya_lib_obj_is_function(curVerbLevel))

  {

    pobyso_autoprint(curVerbLevel, NULL);

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

  }

  pobyso_autoprint(curVerbLevel, NULL);

  pobyso_set_verbosity_to(curVerbLevel);

  sollya_lib_clear_obj(curVerbLevel);

  strncat(buffer, functionString, strlen(functionString) - 1);

  functionObj = pobyso_parse_string(buffer);

  if (sollya_lib_obj_is_error(functionObj))

  {

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

    sollya_lib_close();

    return(1);

  }

  /* Attic from previous versions. */

#if 0

  fprintf(stderr, "Name of variable: %s\n", getNameOfVariable());

  if (functionNode->nodeType == VARIABLE)

  {

    fprintf(stderr, "Node type is VARIABLE.\n");

    if (getNameOfVariable != NULL)

    {

      if (strcmp(freeVariableName, getNameOfVariable()))

      {

        fprintf(stderr, "Could not parse %s. Aborting!\n", functionString);

        finishTool();

        return(1);

      }

    }

  }

  variableNode      = makeVariable();

  powNode = makePow(variableNode, makeConstantDouble(3.0));

  functionDiffNode  = differentiate(functionNode);

  fprintf(stderr, "\tfunctionNode tree...\n");

  fprintTree(stderr, functionNode);

  fprintf(stderr, "\n");

  fprintf(stderr, "\t...end functionNode tree.\n");

  fprintf(stderr, "\n");

  fprintf(stderr, "\tfunctionDiffNode tree...\n");

  fprintTree(stderr,functionDiffNode);

  fprintf(stderr, "\n");

  fprintf(stderr, "\t...end functionDiffNode tree.\n");

  fprintf(stderr, "\n\tvariableNode tree...\n");

  fprintTree(stderr, variableNode);

  fprintf(stderr, "\n");

  fprintf(stderr, "\t...end variableNode tree.\n");

  fprintf(stderr, "\n\tpowNode tree...\n");

  fprintTree(stderr, powNode);

  fprintf(stderr, "\n");

  fprintf(stderr, "\t...end powNode tree.\n");

  free_memory(variableNode);

  free_memory(functionNode);

  free_memory(functionDiffNode);

#endif

  sollya_lib_close();

  return(0);

} /* End main */