Pvecteur.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "linear.h"
#include "genC.h"
#include "ri.h"
#include "misc.h"

Include dependency graph for Pvecteur.c:

Go to the source code of this file.

Macros
#define	TCST_OLD_NAME   "TERME_CONSTANT" /**compatibility to read old bases */
#define	TCST_NAME   "."

Functions
static void	print_token (FILE *fd, string s)
	print token More...
static string	read_token (int(*f)())
	stop at ' ' or ')'. More...
void	vect_gen_write (FILE *fd, Pvecteur v)
	output is "([val var ]* )" More...
Pvecteur	vect_gen_read (FILE *fd __attribute__((unused)), int(*f)())
void	vect_gen_free (Pvecteur v)
Pvecteur	vect_gen_copy_tree (Pvecteur v)
int	vect_gen_allocated_memory (Pvecteur v)
int	contrainte_gen_allocated_memory (Pcontrainte pc)

Macro Definition Documentation

TCST_NAME

#define TCST_NAME   "."

Definition at line 50 of file Pvecteur.c.

TCST_OLD_NAME

#define TCST_OLD_NAME   "TERME_CONSTANT" /**compatibility to read old bases */

Definition at line 49 of file Pvecteur.c.

Function Documentation

contrainte_gen_allocated_memory()

int contrainte_gen_allocated_memory

(

Pcontrainte

pc

)

Parameters

pc

c

Definition at line 176 of file Pvecteur.c.

{
    int result = 0;
    for(; pc; pc=pc->succ)
        result += sizeof(Scontrainte) +
            vect_gen_allocated_memory(pc->vecteur);
    return result;
}

References Scontrainte::succ, vect_gen_allocated_memory(), and Scontrainte::vecteur.

Referenced by sc_gen_allocated_memory().

Here is the call graph for this function:

Here is the caller graph for this function:

print_token()

static void print_token ( FILE *  fd, string  s  )

static

print token

backslashify '\ )'

Definition at line 53 of file Pvecteur.c.

{
  for (; *s; s++)
  {
    /* backslashify '\ )' */
    if (*s=='\\' || *s==' ' || *s==')')
    {
      putc('\\', fd);
    }
    putc(*s, fd);
  }
}

Referenced by vect_gen_write().

Here is the caller graph for this function:

read_token()

static string read_token ( int(*)()  f )

static

stop at ' ' or ')'.

handles '\' as a protection. returns a pointer to a static buffer.

static internal buffer

should be ok for most codes.

for current char and ending 0

Definition at line 70 of file Pvecteur.c.

{
  /* static internal buffer */
  static string buf = NULL;
  static int bufsize = 0;
  int index = 0, c;
 
  if (!buf)
  {
    bufsize = 64; /* should be ok for most codes. */
    buf = (char*) malloc(bufsize * sizeof(char));
    pips_assert("malloc ok", buf);
  }
 
  while ((c = f()) != -1 && c!=' ' && c!=')')
  {
    if (index+1>=bufsize) /* for current char and ending 0 */
    {
      bufsize *= 2;
      buf = (char*) realloc(buf, bufsize * sizeof(char));
      pips_assert("realloc ok", buf);
    }
 
    if (c == '\\')
    {
      c = f();
      pips_assert("there is a char after a backslash", c!=-1);
    }
 
    buf[index++] = (char) c;
  }
  buf[index++] = '\0';
 
  return buf;
}

References buf, f(), malloc(), and pips_assert.

Referenced by vect_gen_read().

Here is the call graph for this function:

Here is the caller graph for this function:

vect_gen_allocated_memory()

int vect_gen_allocated_memory

(

Pvecteur

v

)

Definition at line 168 of file Pvecteur.c.

{
    int result = 0;
    for (; v; v=v->succ)
        result += sizeof(Svecteur);
    return result;
}

References Svecteur::succ.

Referenced by contrainte_gen_allocated_memory(), initialize_newgen(), monome_gen_allocated_memory(), pips_init(), and sc_gen_allocated_memory().

Here is the caller graph for this function:

vect_gen_copy_tree()

Pvecteur vect_gen_copy_tree

(

Pvecteur

v

)

Definition at line 163 of file Pvecteur.c.

{
    return vect_copy(v);
}

References vect_copy().

Referenced by initialize_newgen(), main(), and pips_init().

Here is the call graph for this function:

Here is the caller graph for this function:

vect_gen_free()

void vect_gen_free

(

Pvecteur

v

)

Definition at line 158 of file Pvecteur.c.

{
    vect_rm(v);
}

References vect_rm().

Referenced by initialize_newgen(), main(), and pips_init().

Here is the call graph for this function:

Here is the caller graph for this function:

vect_gen_read()

Pvecteur vect_gen_read	(	FILE *fd	__attribute__(unused),
		int(*)()	f
	)

Definition at line 124 of file Pvecteur.c.

{
  Pvecteur p = NULL;
  string svar, sval;
  Variable var;
  Value val;
  int openpar;
 
  openpar = f();
  pips_assert("vect starts with '('", openpar=='(');
 
  while ((sval = read_token(f)) && *sval)
  {
    sscan_Value(sval, &val);
    svar = read_token(f);
 
    if (same_string_p(svar, TCST_NAME) ||
        same_string_p(svar, TCST_OLD_NAME))
    {
      var = (Variable) 0;
    }
    else 
    {
      var = (Variable) gen_find_tabulated(svar, entity_domain);
      pips_assert("valid variable entity", !entity_undefined_p((entity)var));
    }
    vect_add_elem(&p, var, val);
  }
 
  p = vect_reversal(p);
  return p;
}

References entity_domain, entity_undefined_p, f(), gen_find_tabulated(), pips_assert, read_token(), same_string_p, sscan_Value(), TCST_NAME, TCST_OLD_NAME, vect_add_elem(), and vect_reversal().

Here is the call graph for this function:

vect_gen_write()

void vect_gen_write	(	FILE *	fd,
		Pvecteur	v
	)

output is "([val var ]* )"

Pvecteur.c.

Parameters

fd

d

Definition at line 108 of file Pvecteur.c.

{
    Pvecteur p;
 
    putc('(', fd);
    for (p = v; p != NULL; p = p->succ)
    {
      fprint_Value(fd, val_of(p));
      putc(' ', fd);
      print_token(fd, (p->var == (Variable) 0) ? TCST_NAME :
                  entity_name((entity) p->var));
      putc(' ', fd);
    }
    putc(')', fd);
}

References entity_name, fprint_Value(), print_token(), Svecteur::succ, TCST_NAME, val_of, and Svecteur::var.

Referenced by initialize_newgen(), main(), monome_gen_write(), pips_init(), and sc_gen_write().

Here is the call graph for this function:

Here is the caller graph for this function: