variable.c

Go to the documentation of this file.

#include "variable.h"

#include "error.h"
#include "defines.h"

#include <stdlib.h>
#include <string.h>


void NewVariable(unsigned int type,char *name,Tvariable *v)
{
  v->type=type;

  NEW(v->name,strlen(name)+1,char);
  strcpy(v->name,name);

  NewInterval(-INF,INF,&(v->is)); /*default range for the variable*/
}


void CopyVariable(Tvariable *v_dst,Tvariable *v_src)
{
  v_dst->type=v_src->type;

  NEW(v_dst->name,strlen(v_src->name)+1,char);
  strcpy(v_dst->name,v_src->name);

  CopyInterval(&(v_dst->is),&(v_src->is));
}

unsigned int GetVariableType(Tvariable *v)
{
  return(v->type);
}

char *GetVariableName(Tvariable *v)
{
  return(v->name);
}

void SetVariableInterval(Tinterval *i,Tvariable *v)
{ 
  CopyInterval(&(v->is),i);
}

Tinterval *GetVariableInterval(Tvariable *v)
{
  return(&(v->is));
}

void PrintVariable(FILE *f,Tvariable *v)
{
  PRINT_VARIABLE_NAME(f,v->name);
  fprintf(f," : ");
  PrintInterval(f,&(v->is));
  fprintf(f,"\n");
}

void DeleteVariable(Tvariable *v)
{
  free(v->name);
}