src/var/varVariable.c

Go to the documentation of this file.

#include "varInt.h"

static char rcsid[] UNUSED = "$Id: varVariable.c,v 1.6 2009/01/18 01:58:09 fabio Exp $";

/*---------------------------------------------------------------------------*/
/* Constant declarations                                                     */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Stucture declarations                                                     */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Type declarations                                                         */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Variable declarations                                                     */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Macro declarations                                                        */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Static function prototypes                                                */
/*---------------------------------------------------------------------------*/

static int _VarVariableSetType(Var_Variable_t *var, int type);
static int _VarVariableResetType(Var_Variable_t *var, int type);
static char * _VarTypeDecode(int type);
static array_t * _VarStringArrayDup(array_t *array);
static void _VarStringArrayFree(array_t *array);

/*---------------------------------------------------------------------------*/
/* Definition of exported functions                                          */
/*---------------------------------------------------------------------------*/

boolean
Var_VariableAddRangeInfo(
  Var_Variable_t * var,
  int numValues,
  array_t * symValArray)
{
  int i;
  char *symValue;
  st_table *valueToIndex;

  if (var->indexToValue != NIL(array_t) || var->numValues != 2){
    error_append("Error: The range of variable ");
    error_append(var->name);
    error_append(" has been already set.\n");
    return 0;
  }

  if (symValArray != NIL(array_t)){
    if (numValues != array_n(symValArray)){
      error_append("Error: Mismatch of range and # of symbolic values.\n");
      return 0;
    }
    valueToIndex = st_init_table(strcmp,st_strhash);
    var->indexToValue = _VarStringArrayDup(symValArray);
    for (i=0; i < numValues; i++) {
      symValue = array_fetch(char *,var->indexToValue,i);
      if (st_insert(valueToIndex,symValue,(char *)((long)i))) {
        error_append("Error: Invalid argument for Var_VariableAddRangeInfo().\n");
        error_append("- Symbolic value ");
        error_append(symValue);
        error_append(" is redefined.\n");
        st_free_table(valueToIndex);
        return 0;
      }
    }
    var->valueToIndex = valueToIndex;
  }
  var->numValues = numValues;
  return 1;
}


boolean
Var_VariableExpandRange(
  Var_Variable_t *var,
  int numValues)
{
  if (numValues <= var->numValues){
    error_append("Error: A range can only be expanded.\n");
    return 0;
  }
  if (var->indexToValue != NIL(array_t)){
    int i;
    char *dummyName;

    for (i=var->numValues; i < numValues; i++){
      /* put empty strings for expanded range */
      dummyName = ALLOC(char,1);
      *dummyName = '\0';
      array_insert_last(char *,var->indexToValue,dummyName);
    }
  }
  var->numValues = numValues;
  return 1;
} 

boolean
Var_VariableReduceRange(
  Var_Variable_t *var,
  int numValues)
{
  if(numValues > var->numValues){
    return Var_VariableExpandRange(var,numValues);
  }
  else if (var->indexToValue != NIL(array_t)){
    error_append("Error: Cannot reduce the range of a symbolic variable.\n");
    return 0;
  }

  var->numValues = numValues;
  return 1;
}

Var_Variable_t *
Var_VariableAlloc(
  Hrc_Node_t *hnode, 
  char *name)
{
  Var_Variable_t *var;

  var = ALLOC(Var_Variable_t,1);
  var->name = util_strsav(name);
  var->hnode = hnode;
  if (hnode != NIL(Hrc_Node_t)){
    if ( Hrc_NodeAddVariable(hnode,var) == 0 ){
      Var_VariableFree(var);
      return NIL(Var_Variable_t);
    }
  }
  var->type = 0;
  /* assume that this is a Boolean variable w/o symbolic value definition */
  var->numValues = 2;
  var->numFanoutTables = 0;
  var->indexToValue = NIL(array_t);
  var->valueToIndex = NIL(st_table);
  var->typeIdentifier = NIL(char);
  var->undef = NIL(void);
  return var;
}

void
Var_VariableFree(Var_Variable_t *var)
{
  if (var->hnode != NIL(Hrc_Node_t)){
    Hrc_NodeDeleteVariable(var->hnode,var);
  }
  FREE(var->name);
  if (var->indexToValue != NIL(array_t)){
    _VarStringArrayFree(var->indexToValue);
  }
  if (var->valueToIndex != NIL(st_table)){
    st_free_table(var->valueToIndex);
  }
  if (var->typeIdentifier != NIL(char)){
    FREE(var->typeIdentifier);
  }
  FREE(var);
}

Var_Variable_t *
Var_VariableDup(
  Var_Variable_t *var,
  Hrc_Node_t *hnode)
{
  Var_Variable_t *varDup;

  varDup = Var_VariableAlloc(hnode,var->name);
  varDup->type = var->type;
  varDup->hnode = hnode;
  varDup->numFanoutTables = var->numFanoutTables;
  if (Var_VariableAddRangeInfo(varDup,var->numValues,var->indexToValue) == 0){
    return NIL(Var_Variable_t);
  }
  if (var->typeIdentifier != NIL(char)){
    varDup->typeIdentifier = util_strsav(var->typeIdentifier);
  }
  return varDup;
}

char *
Var_VariableReadName(Var_Variable_t *var)
{
  return var->name;
}

boolean
Var_VariableTestIsPI(Var_Variable_t *var)
{
  return (((var->type) & VarPI) ? 1:0);
}

boolean
Var_VariableTestIsPO(Var_Variable_t *var)
{
  return (((var->type) & VarPO) ? 1:0);
}

boolean
Var_VariableTestIsPS(Var_Variable_t *var)
{
  return (((var->type) & VarPS) ? 1:0);
}

boolean
Var_VariableTestIsNS(Var_Variable_t *var)
{
  return (((var->type) & VarNS) ? 1:0);
}

boolean
Var_VariableTestIsSI(Var_Variable_t *var)
{
  return (((var->type) & VarSI) ? 1:0);
}

boolean
Var_VariableTestIsSO(Var_Variable_t *var)
{
  return (((var->type) & VarSO) ? 1:0);
}

boolean
Var_VariableTestIsSymbolic(Var_Variable_t *var)
{
  if (var->indexToValue != NIL(array_t)){
    return 1;
  }
  return 0;
}

boolean
Var_VariableTestIsEnumerative(Var_Variable_t *var)
{
  if (var->indexToValue == NIL(array_t)){
    return 1;
  }
  return 0;
}

boolean
Var_VariableTestIsValueInRange(
  Var_Variable_t *var,
  int value)
{
  if (var->indexToValue != NIL(array_t)){
    return 0;
  }
  if (value >= 0 && value < var->numValues){
    return 1;
  }
  return 0;
}

int
Var_VariableReadNumValues(Var_Variable_t *var)
{
  return var->numValues;
}

int
Var_VariableReadNumFanoutTables(Var_Variable_t *var)
{
  return var->numFanoutTables;
}

void
Var_VariableIncrementNumFanoutTables(Var_Variable_t *var)
{
  (var->numFanoutTables)++;
}

void
Var_VariableResetNumFanoutTables(
  Var_Variable_t* var)
{
  var->numFanoutTables = 0;
}


char *
Var_VariableReadSymbolicValueFromIndex(
  Var_Variable_t *var,
  int i)
{
  assert(var->indexToValue != NIL(array_t));
  return array_fetch(char *,var->indexToValue,i);
}

int
Var_VariableReadIndexFromSymbolicValue(
  Var_Variable_t *var,
  char *symbolicValue)
{
  int  isFound;
  int  index;

  assert(var->valueToIndex != NIL(st_table));
  isFound = st_lookup_int(var->valueToIndex,symbolicValue,&index);
  return( isFound ? index : -1);
}

Hrc_Node_t *
Var_VariableReadHnode(Var_Variable_t *var)
{
  return var->hnode;
}

char *
Var_VariableReadTypeIdentifier(Var_Variable_t *var)
{
  return var->typeIdentifier;
}


void *
Var_VariableReadUndef(Var_Variable_t *var)
{
  return var->undef;
}

boolean
Var_VariableChangeName(
  Var_Variable_t *var,
  char *name)
{
  if (var->hnode != NIL(Hrc_Node_t)){
    if (Hrc_NodeDeleteVariable(var->hnode,var) == 0){
      /* this variable should have been in the hnode */
      return 0;
    }
  }
  FREE(var->name);
  var->name = util_strsav(name); 
  if (var->hnode != NIL(Hrc_Node_t)){
    if (Hrc_NodeAddVariable(var->hnode,var) == 0){
      /* there is a node with the new name in the hnode already */
      return 0;
    }
  }
  return 1;
}

int
Var_VariableSetPI(Var_Variable_t *var)
{
  return _VarVariableSetType(var,VarPI);
}

int
Var_VariableSetPO(Var_Variable_t *var)
{
  return _VarVariableSetType(var,VarPO);
}

int
Var_VariableSetPS(Var_Variable_t *var)
{
  return _VarVariableSetType(var,VarPS);
}

int
Var_VariableSetNS(Var_Variable_t *var)
{
  return _VarVariableSetType(var,VarNS);
}

int
Var_VariableSetSI(Var_Variable_t *var)
{
  return _VarVariableSetType(var,VarSI);
}

int
Var_VariableSetSO(Var_Variable_t *var)
{
  return _VarVariableSetType(var,VarSO);
}

int
Var_VariableResetPI(Var_Variable_t *var)
{
  return _VarVariableResetType(var,VarPI);
}

int
Var_VariableResetPO(Var_Variable_t *var)
{
  return _VarVariableResetType(var,VarPO);
}

int
Var_VariableResetPS(Var_Variable_t *var)
{
  return _VarVariableResetType(var,VarPS);
}

int
Var_VariableResetNS(Var_Variable_t *var)
{
  return _VarVariableResetType(var,VarNS);
}

int
Var_VariableResetSI(Var_Variable_t *var)
{
  return _VarVariableResetType(var,VarSI);
}

int
Var_VariableResetSO(Var_Variable_t *var)
{
  return _VarVariableResetType(var,VarSO);
}

void
Var_VariableResetAllTypes(Var_Variable_t *var)
{
  var->type = 0;
}


void
Var_VariableSetTypeIdentifier(
  Var_Variable_t *var,
  char *typeIdentifier)
{
  if (var->typeIdentifier != NIL(char)){
    FREE(var->typeIdentifier);
  }
  var->typeIdentifier = util_strsav(typeIdentifier);
}

boolean
Var_VariablesTestIdentical(
  Var_Variable_t *var1, 
  Var_Variable_t *var2)
{
  Hrc_Manager_t *hmgr1, *hmgr2;
  Hrc_Node_t *hnode1, *hnode2, *rootNode;
  Var_Variable_t *varCanonical1, *varCanonical2;

  hnode1 = Var_VariableReadHnode(var1);
  hnode2 = Var_VariableReadHnode(var2);
  hmgr1 = Hrc_NodeReadManager(hnode1);
  hmgr2 = Hrc_NodeReadManager(hnode2);

  if (hmgr1 != hmgr2){
    error_append("Error: Variables ");
    error_append(Var_VariableReadName(var1));
    error_append(" and ");
    error_append(Var_VariableReadName(var2));
    error_append(" are not under the same manager.\n");
    return 0;
  }
  /* if two variables reside in the same hnode */
  if (hnode1 == hnode2){
    if (var1 == var2){
      return 1;
    }
    return 0;
  }

  /* otherwise */
  rootNode = Hrc_ManagerReadRootNode(hmgr1);
 
  varCanonical1 = Hrc_VariableFindActualFromFormal(hnode1,var1,rootNode);
  varCanonical2 = Hrc_VariableFindActualFromFormal(hnode2,var2,rootNode);
  if (varCanonical1 == varCanonical2){
    return 1;
  }
  return 0;
}


boolean
Var_VariablesTestHaveSameDomain(
  Var_Variable_t *var1, 
  Var_Variable_t *var2)
{
  array_t *indexToValue1, *indexToValue2;
  char *value1, *value2;
  int i;

  if (var1->numValues != var2->numValues)
    return 0;
  indexToValue1 = var1->indexToValue;
  indexToValue2 = var2->indexToValue;
  if (indexToValue1 == NIL(array_t) || indexToValue2 == NIL(array_t))
    return 1;
  for (i=0; i < array_n(indexToValue1); i++){
    value1 = array_fetch(char *,indexToValue1,i);
    value2 = array_fetch(char *,indexToValue2,i);
    if (strcmp(value1,value2)){
      return 0;    
    }
  }
  return 1;
}

boolean
Var_VariableTestTypeConsistency(Var_Variable_t *var)
{
  /* checking PI/PO */
  if ((var->type & 03) == 03){
    error_append("Error: Variable ");
    error_append(Var_VariableReadName(var));
    error_append(" is of type PI/PO.\n");
    return 0;
  }
  /* checking PI/PS */
  if ((var->type & 05) == 05){
    error_append("Error: Variable ");
    error_append(Var_VariableReadName(var));
    error_append(" is of type PI/PS.\n");
    return 0;
  }
  /* checking PI/SO */
  if ((var->type & 041) == 041){
    error_append("Error: Variable ");
    error_append(Var_VariableReadName(var));
    error_append(" is of type PI/SO.\n");
    return 0;
  }
  return 1;
}

boolean
Var_VariablesTestHaveSameTypeIdentifier(
  Var_Variable_t *var1,
  Var_Variable_t *var2)
{
  if (var1->typeIdentifier == NIL(char) && var2->typeIdentifier == NIL(char)){
    return 1;
  }
  if (var1->typeIdentifier == NIL(char) || var2->typeIdentifier == NIL(char)){
    return 0;
  }
  if (strcmp(var1->typeIdentifier,var2->typeIdentifier) == 0 ){
    return 1;
  }
  return 0;
}


/*---------------------------------------------------------------------------*/
/* Definition of internal functions                                          */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Definition of static functions                                            */
/*---------------------------------------------------------------------------*/

static int
_VarVariableSetType(Var_Variable_t *var,int type)
{
/*
  if (var->type & type){
    error_append("Warning: Variable ");
    error_append(Var_VariableReadName(var));
    error_append(" is already set to ");
    error_append(_VarTypeDecode(type));
    error_append(".\n");
     return 0;
  }
*/
  var->type |= type;
  if (Var_VariableTestTypeConsistency(var) == 0){
     return -1;
  }
  return 1;
}

static int
_VarVariableResetType(Var_Variable_t *var,int type)
{
/*
  if (var->type & type){
    error_append("Warning: Variable ");
    error_append(Var_VariableReadName(var));
    error_append(" is already set to ");
    error_append(_VarTypeDecode(type));
    error_append(".\n");
     return 0;
  }
*/
  if ((var->type & type) == 0){
    return 0;
  }
  var->type &= ~type;
  return 1;
}

static char *
_VarTypeDecode(int type)
{
  /* suppress information on SI/SO for simplicity */
  type &= 017;
  switch(type){
    case 00:
      return "Internal";
    case 01: 
      return "PI";
    case 02: 
      return "PO";
    case 03: 
      error_append("Error: Strange type PI/PO.\n");
      return "PI/PO";
    case 04: 
      return "PS";
    case 05:
      error_append("Error: Strange type PI/PS.\n");
      return "PI/PS";
    case 06:
      return "PO/PS";
    case 07:
      error_append("Error: Strange type PI/PO/PS.\n");
      return "PI/PO/PS";
    case 010: 
      return "NS";
    case 011:
      return "PI/NS";
    case 012:
      return "PO/NS";
    case 013:
      error_append("Error: Strange type PI/PO/NS.\n");
      return "PI/PO/NS";
    case 014:
      return "PS/NS";
    case 015:
      error_append("Error: Strange type PI/PS/NS.\n");
      return "PI/PS/NS";
    case 016:
      return "PO/PS/NS";
    case 017:
      error_append("Error: Strange type PI/PO/PS/NS.\n");
      return "PI/PO/PS/NS";
    default: 
      fail("Strange type in VarTypeDecode().\n");
      return NIL(char); /* not reached */
  }
}

static array_t *
_VarStringArrayDup(array_t *array)
{
  int i;
  char *symbol,*newSymbol;
  array_t *newArray;

  newArray = array_alloc(char *,0);
  for (i=0; i < array_n(array); i++) {
    symbol = array_fetch(char *, array, i);
    newSymbol = util_strsav(symbol);
    array_insert_last(char *,newArray,newSymbol);
  }
  return newArray;
}

static void
_VarStringArrayFree(array_t *array)
{
  int i;
  char *symbol;

  for (i=0; i < array_n(array); i++) {
    symbol = array_fetch(char *, array, i);
    FREE(symbol);
  }
  array_free(array);
}