prettyprint.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include "genC.h"
#include "text.h"
#include "text-util.h"
#include "top-level.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "ri-util.h"
#include "workspace-util.h"
#include "effects-util.h"
#include "callgraph.h"
#include "database.h"
#include "pipsdbm.h"
#include "resources.h"
#include "misc.h"
#include "properties.h"
#include "prettyprint.h"
#include "transformer.h"
#include "effects-generic.h"
#include "semantics.h"
#include "pips-libs.h"

Include dependency graph for prettyprint.c:

Go to the source code of this file.

Macros
#define	PREC_FORESYS_PREFIX   "C$PREC"
#define	TRAN_FORESYS_PREFIX   "C$TRAN"
#define	append(s)   add_to_current_line(crt_line, s, str_prefix, txt)
#define	MAX_PRED_COMMENTARY_STRLEN   70
	to convert strings containing predicates to text of commentaries More...

Functions
void	set_prettyprint_transformer (void)
static bool	print_code_semantics ()
static text	get_semantic_text (const char *, bool)
bool	print_code_transformers (const char *module_name)
bool	print_code_as_a_graph_transformers (const string mod_name)
bool	print_code_preconditions (const char *module_name)
bool	print_code_as_a_graph_preconditions (const string mod_name)
bool	print_code_total_preconditions (const char *module_name)
bool	print_code_as_a_graph_total_preconditions (const string mod_name)
bool	print_source_transformers (const char *module_name)
bool	print_source_preconditions (const char *module_name)
bool	print_source_total_preconditions (const char *module_name)
text	get_text_transformers (const string module_name)
text	get_text_preconditions (const string module_name)
text	get_text_total_preconditions (const string module_name)
static bool	print_code_semantics (const char *module_name)
text	semantic_to_text (entity module, int margin, statement stmt)
	this function name is VERY misleading - it should be changed, sometime FI More...
static int	semantics_is_inferior_pvarval (Pvecteur *pvarval1, Pvecteur *pvarval2)
	The strange argument type is required by qsort(), deep down in the calls. More...
static bool	__attribute__ ((unused))
text	text_transformer (transformer tran)
	text text_transformer(transformer tran) input : a transformer representing a transformer or a precondition output : a text containing commentaries representing the transformer modifies : nothing. More...
text	text_for_a_transformer (transformer tran, bool is_a_transformer)
	call this one from outside. More...
text	string_predicate_to_commentary (string str_pred, string comment_prefix)
	text string_predicate_to_commentary(string str_pred, string comment_prefix) input : a string, part of which represents a predicate. More...
text	words_predicate_to_commentary (list w_pred, string comment_prefix)
	text words_predicate_to_commentary(list w_pred, string comment_prefix) input : a list of strings, one of them representing a predicate. More...
sentence	make_pred_commentary_sentence (string str_pred, string comment_prefix)
	sentence make_pred_commentary_sentence(string str_pred, string comment_prefix) input : a substring formatted to be a commentary output : a sentence, containing the commentary form of this string, beginning with the comment_prefix. More...
bool	print_call_graph_with_transformers (const string module_name)
bool	print_call_graph_with_preconditions (const string module_name)
bool	print_call_graph_with_total_preconditions (const string module_name)

Variables
static bool	is_transformer
static bool	is_total_precondition
static bool	is_user_view
static bool	is_transformer_filtered
static hash_table	nts = hash_table_undefined

Macro Definition Documentation

append

#define append

(

s

)

add_to_current_line(crt_line, s, str_prefix, txt)

Definition at line 433 of file prettyprint.c.

MAX_PRED_COMMENTARY_STRLEN

#define MAX_PRED_COMMENTARY_STRLEN   70

to convert strings containing predicates to text of commentaries

---

BA, april 1994

---

Definition at line 560 of file prettyprint.c.

PREC_FORESYS_PREFIX

#define PREC_FORESYS_PREFIX   "C$PREC"

Definition at line 67 of file prettyprint.c.

TRAN_FORESYS_PREFIX

#define TRAN_FORESYS_PREFIX   "C$TRAN"

Definition at line 68 of file prettyprint.c.

Function Documentation

__attribute__()

static bool __attribute__ ( (unused)  )

static

Definition at line 435 of file prettyprint.c.

{
  bool is_inferior = true;
 
  if (term_cst(*pvarval1))
    is_inferior = false;
  else if(term_cst(*pvarval2))
    is_inferior = true;
  else
    is_inferior = (strcmp(external_value_name((entity) vecteur_var(*pvarval1)),
                          external_value_name((entity) vecteur_var(*pvarval2)))
                   > 0 );
 
  return is_inferior;
}

References external_value_name(), term_cst, and vecteur_var.

Here is the call graph for this function:

get_semantic_text()

static text get_semantic_text ( const char *  module_name, bool  give_code_p  )

static

To set up the hash table to translate value into value names

The summary precondition may be in another module's frame

initial version; to be used again when prettyprint really prettyprints

print_text(fd, text_statement(mod, 0, mod_stat));

summary information first

Definition at line 254 of file prettyprint.c.

{
  text r = make_text(NIL), txt_summary;
  entity mod;
  statement mod_stat;
  transformer summary = transformer_undefined;
  statement user_stat = statement_undefined;
 
  set_current_module_entity(module_name_to_entity(module_name));
  mod = get_current_module_entity();
 
  set_current_module_statement
    ((statement)db_get_memory_resource(DBR_CODE, module_name, true) );
  mod_stat = get_current_module_statement();
 
  /* To set up the hash table to translate value into value names */
  set_cumulated_rw_effects((statement_effects)
                           db_get_memory_resource
                           (DBR_CUMULATED_EFFECTS, module_name, true));
  set_proper_rw_effects((statement_effects)
                           db_get_memory_resource
                           (DBR_PROPER_EFFECTS, module_name, true));
 
  debug_on("SEMANTICS_PRINT_DEBUG_LEVEL");
 
  module_to_value_mappings(mod);
 
  if(is_user_view) {
    user_stat =  (statement)
      db_get_memory_resource(DBR_PARSED_CODE, module_name, true);
 
    nts = allocate_number_to_statement();
    nts = build_number_to_statement(nts, mod_stat);
 
    ifdebug(1) print_number_to_statement(nts);
  }
 
  set_semantic_map((statement_mapping)
      db_get_memory_resource(is_transformer? DBR_TRANSFORMERS:
                             (is_total_precondition?
                              DBR_TOTAL_PRECONDITIONS : DBR_PRECONDITIONS),
                             module_name, true));
 
  summary = (transformer)
      db_get_memory_resource(is_transformer? DBR_SUMMARY_TRANSFORMER:
                             (is_total_precondition?
                    DBR_SUMMARY_TOTAL_PRECONDITION: DBR_SUMMARY_PRECONDITION),
                             module_name, true);
  /* The summary precondition may be in another module's frame */
  translate_global_values(mod, summary);
 
  init_prettyprint(semantic_to_text);
 
  /* initial version; to be used again when prettyprint really prettyprints*/
  /* print_text(fd, text_statement(mod, 0, mod_stat)); */
 
  /* summary information first */
  txt_summary = text_transformer(summary);
  ifdebug(7){
    dump_text(txt_summary);
    pips_debug(7, "summary text consistent? %s\n",
               text_consistent_p(txt_summary)? "YES":"NO");
  }
  MERGE_TEXTS(r,txt_summary );
  attach_decoration_to_text(r);
  if (is_transformer) {
    attach_transformers_decoration_to_text(r);
  }
  else if(is_total_precondition) {
    attach_total_preconditions_decoration_to_text(r);
  }
  else {
    attach_preconditions_decoration_to_text(r);
  }
 
  if (give_code_p == true) {
    MERGE_TEXTS(r, text_module(mod, is_user_view? user_stat:mod_stat));
  }
 
  debug_off();
 
  if(is_user_view) {
    hash_table_free(nts);
    nts = hash_table_undefined;
  }
 
  close_prettyprint();
 
  reset_semantic_map();
  reset_current_module_entity();
  reset_current_module_statement();
  reset_cumulated_rw_effects();
  reset_proper_rw_effects();
 
  free_value_mappings();
 
  return r;
}

References allocate_number_to_statement(), attach_decoration_to_text(), attach_preconditions_decoration_to_text(), attach_total_preconditions_decoration_to_text(), attach_transformers_decoration_to_text(), build_number_to_statement(), close_prettyprint(), db_get_memory_resource(), debug_off, debug_on, dump_text(), free_value_mappings(), get_current_module_entity(), get_current_module_statement(), hash_table_free(), hash_table_undefined, ifdebug, init_prettyprint(), is_total_precondition, is_transformer, is_user_view, make_text(), MERGE_TEXTS, mod_stat, module_name(), module_name_to_entity(), module_to_value_mappings(), NIL, nts, pips_debug, print_number_to_statement(), reset_cumulated_rw_effects(), reset_current_module_entity(), reset_current_module_statement(), reset_proper_rw_effects(), reset_semantic_map(), semantic_to_text(), set_cumulated_rw_effects(), set_current_module_entity(), set_current_module_statement(), set_proper_rw_effects(), set_semantic_map(), statement_undefined, text_consistent_p(), text_module(), text_transformer(), transformer_undefined, and translate_global_values().

Referenced by get_text_preconditions(), get_text_total_preconditions(), get_text_transformers(), and print_code_semantics().

Here is the call graph for this function:

Here is the caller graph for this function:

get_text_preconditions()

text get_text_preconditions

(

const string

module_name

)

Parameters

module_name

odule_name

Definition at line 193 of file prettyprint.c.

{
  is_user_view = false;
  is_transformer = false;
  is_total_precondition = false;
  is_transformer_filtered =
    get_bool_property("SEMANTICS_FILTERED_PRECONDITIONS");
  return get_semantic_text(module_name,false);
}

References get_bool_property(), get_semantic_text(), is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, and module_name().

Referenced by print_call_graph_with_preconditions().

Here is the call graph for this function:

Here is the caller graph for this function:

get_text_total_preconditions()

text get_text_total_preconditions

(

const string

module_name

)

Parameters

module_name

odule_name

Definition at line 203 of file prettyprint.c.

{
  is_user_view = false;
  is_transformer = false;
  is_total_precondition = true;
  is_transformer_filtered =
    get_bool_property("SEMANTICS_FILTERED_PRECONDITIONS");
  return get_semantic_text(module_name,false);
}

References get_bool_property(), get_semantic_text(), is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, and module_name().

Referenced by print_call_graph_with_total_preconditions().

Here is the call graph for this function:

Here is the caller graph for this function:

get_text_transformers()

text get_text_transformers

(

const string

module_name

)

Parameters

module_name

odule_name

Definition at line 184 of file prettyprint.c.

{
  is_user_view = false;
  is_transformer = true;
  is_total_precondition = false;
  is_transformer_filtered = false;
  return get_semantic_text(module_name,false);
}

References get_semantic_text(), is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, and module_name().

Referenced by print_call_graph_with_transformers().

Here is the call graph for this function:

Here is the caller graph for this function:

make_pred_commentary_sentence()

sentence make_pred_commentary_sentence	(	string	str_pred,
		string	comment_prefix
	)

sentence make_pred_commentary_sentence(string str_pred, string comment_prefix) input : a substring formatted to be a commentary output : a sentence, containing the commentary form of this string, beginning with the comment_prefix.

modifies : nothing

Parameters

str_pred	tr_pred
comment_prefix	omment_prefix

Definition at line 678 of file prettyprint.c.

{
  /*
  char str_tmp[MAX_PRED_COMMENTARY_STRLEN + 1];
 
  str_tmp[0] = '\0';
  (void) strcat(str_tmp, comment_prefix);
  (void) strcat(str_tmp, "  ");
  (void) strcat(str_tmp, str_pred);
  (void) strcat(str_tmp, "\n");
  */
  char * str_tmp = NULL;
  sentence sent_pred = sentence_undefined;
 
  str_tmp = strdup(concatenate(comment_prefix, "  ", str_pred, "\n", NULL));
  sent_pred = make_sentence_formatted(str_tmp);
  return(sent_pred);
}

References concatenate(), make_sentence_formatted(), sentence_undefined, and strdup().

Referenced by string_predicate_to_commentary(), and text_comp_region().

Here is the call graph for this function:

Here is the caller graph for this function:

print_call_graph_with_preconditions()

bool print_call_graph_with_preconditions

(

const string

module_name

)

Parameters

module_name

odule_name

Definition at line 712 of file prettyprint.c.

{
  bool success = false;
  success = print_decorated_call_graph(module_name, get_text_preconditions);
  return success;
}

References get_text_preconditions(), module_name(), and print_decorated_call_graph().

Here is the call graph for this function:

print_call_graph_with_total_preconditions()

bool print_call_graph_with_total_preconditions

(

const string

module_name

)

Parameters

module_name

odule_name

Definition at line 722 of file prettyprint.c.

{
  bool success = false;
  success = print_decorated_call_graph(module_name,
                                       get_text_total_preconditions);
  return success;
}

References get_text_total_preconditions(), module_name(), and print_decorated_call_graph().

Here is the call graph for this function:

print_call_graph_with_transformers()

bool print_call_graph_with_transformers

(

const string

module_name

)

Parameters

module_name

odule_name

Definition at line 702 of file prettyprint.c.

{
  bool success = false;
  success = print_decorated_call_graph(module_name, get_text_transformers);
  return success;
}

References get_text_transformers(), module_name(), and print_decorated_call_graph().

Here is the call graph for this function:

print_code_as_a_graph_preconditions()

bool print_code_as_a_graph_preconditions

(

const string

mod_name

)

Parameters

mod_name

od_name

Definition at line 120 of file prettyprint.c.

{
    bool success;
 
    set_bool_property("PRETTYPRINT_UNSTRUCTURED_AS_A_GRAPH", true);
    success = print_code_preconditions(mod_name);
    set_bool_property("PRETTYPRINT_UNSTRUCTURED_AS_A_GRAPH", false);
 
    return success;
}

References print_code_preconditions(), and set_bool_property().

Here is the call graph for this function:

print_code_as_a_graph_total_preconditions()

bool print_code_as_a_graph_total_preconditions

(

const string

mod_name

)

Parameters

mod_name

od_name

Definition at line 144 of file prettyprint.c.

{
    bool success;
 
    set_bool_property("PRETTYPRINT_UNSTRUCTURED_AS_A_GRAPH", true);
    success = print_code_total_preconditions(mod_name);
    set_bool_property("PRETTYPRINT_UNSTRUCTURED_AS_A_GRAPH", false);
 
    return success;
}

References print_code_total_preconditions(), and set_bool_property().

Here is the call graph for this function:

print_code_as_a_graph_transformers()

bool print_code_as_a_graph_transformers

(

const string

mod_name

)

Parameters

mod_name

od_name

Definition at line 99 of file prettyprint.c.

{
    bool success;
 
    set_bool_property("PRETTYPRINT_UNSTRUCTURED_AS_A_GRAPH", true);
    success = print_code_transformers(mod_name);
    set_bool_property("PRETTYPRINT_UNSTRUCTURED_AS_A_GRAPH", false);
 
    return success;
}

References print_code_transformers(), and set_bool_property().

Here is the call graph for this function:

print_code_preconditions()

bool print_code_preconditions

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 110 of file prettyprint.c.

{
  is_user_view = false;
  is_transformer = false;
  is_total_precondition = false;
  is_transformer_filtered =
    get_bool_property("SEMANTICS_FILTERED_PRECONDITIONS");
  return print_code_semantics(module_name);
}

References get_bool_property(), is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, module_name(), and print_code_semantics().

Referenced by print_code_as_a_graph_preconditions().

Here is the call graph for this function:

Here is the caller graph for this function:

print_code_semantics() [1/2]

static bool print_code_semantics ( )

static

Referenced by print_code_preconditions(), print_code_total_preconditions(), print_code_transformers(), print_source_preconditions(), print_source_total_preconditions(), and print_source_transformers().

Here is the caller graph for this function:

print_code_semantics() [2/2]

static bool print_code_semantics ( const char *  module_name )

static

To exploit the language sensitive prettyprint ability of the display

Definition at line 213 of file prettyprint.c.

{
    bool success = true;
    text t = text_undefined;
 
    char * file_ext =
      strdup(concatenate(is_transformer?
                         (is_user_view? USER_TRANSFORMER_SUFFIX :
                          SEQUENTIAL_TRANSFORMER_SUFFIX )
                     :
                         (is_total_precondition?
                          (is_user_view? USER_TOTAL_PRECONDITION_SUFFIX :
                           SEQUENTIAL_TOTAL_PRECONDITION_SUFFIX) :
                          (is_user_view? USER_PRECONDITION_SUFFIX :
                           SEQUENTIAL_PRECONDITION_SUFFIX)),
 
                         get_bool_property
                         ("PRETTYPRINT_UNSTRUCTURED_AS_A_GRAPH") ?
                         GRAPH_FILE_EXT : "",
 
                         /* To exploit the language sensitive prettyprint ability of the display */
                         c_module_p(module_name_to_entity(module_name))? ".c" : ".f",
 
                         NULL));
 
    char * resource_name =
        get_bool_property("PRETTYPRINT_UNSTRUCTURED_AS_A_GRAPH") ?
            DBR_GRAPH_PRINTED_FILE :
                (is_user_view? DBR_PARSED_PRINTED_FILE :
                 DBR_PRINTED_FILE);
 
    begin_attachment_prettyprint();
    t = get_semantic_text(module_name,true);
    success = make_text_resource(module_name, resource_name, file_ext, t);
    end_attachment_prettyprint();
 
    free_text(t);
    free(file_ext);
    return success;
}

References begin_attachment_prettyprint(), c_module_p(), concatenate(), end_attachment_prettyprint(), free(), free_text(), get_bool_property(), get_semantic_text(), is_total_precondition, is_transformer, is_user_view, make_text_resource(), module_name(), module_name_to_entity(), resource_name, SEQUENTIAL_PRECONDITION_SUFFIX, SEQUENTIAL_TOTAL_PRECONDITION_SUFFIX, SEQUENTIAL_TRANSFORMER_SUFFIX, strdup(), text_undefined, USER_PRECONDITION_SUFFIX, USER_TOTAL_PRECONDITION_SUFFIX, and USER_TRANSFORMER_SUFFIX.

Here is the call graph for this function:

print_code_total_preconditions()

bool print_code_total_preconditions

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 131 of file prettyprint.c.

{
  bool success;
 
  is_user_view = false;
  is_transformer = false;
  is_total_precondition = true;
  is_transformer_filtered =
    get_bool_property("SEMANTICS_FILTERED_PRECONDITIONS");
  success = print_code_semantics(module_name);
  return success;
}

References get_bool_property(), is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, module_name(), and print_code_semantics().

Referenced by print_code_as_a_graph_total_preconditions().

Here is the call graph for this function:

Here is the caller graph for this function:

print_code_transformers()

bool print_code_transformers

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 90 of file prettyprint.c.

{
  is_user_view = false;
  is_transformer = true;
  is_total_precondition = false;
  is_transformer_filtered = false;
  return print_code_semantics(module_name);
}

References is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, module_name(), and print_code_semantics().

Referenced by print_code_as_a_graph_transformers().

Here is the call graph for this function:

Here is the caller graph for this function:

print_source_preconditions()

bool print_source_preconditions

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 164 of file prettyprint.c.

{
  is_user_view = true;
  is_transformer = false;
  is_total_precondition = false;
  is_transformer_filtered =
    get_bool_property("SEMANTICS_FILTERED_PRECONDITIONS");
  return print_code_semantics(module_name);
}

References get_bool_property(), is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, module_name(), and print_code_semantics().

Here is the call graph for this function:

print_source_total_preconditions()

bool print_source_total_preconditions

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 174 of file prettyprint.c.

{
  is_user_view = true;
  is_transformer = false;
  is_total_precondition = true;
  is_transformer_filtered =
    get_bool_property("SEMANTICS_FILTERED_PRECONDITIONS");
  return print_code_semantics(module_name);
}

References get_bool_property(), is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, module_name(), and print_code_semantics().

Here is the call graph for this function:

print_source_transformers()

bool print_source_transformers

(

const char *

module_name

)

Parameters

module_name

odule_name

Definition at line 155 of file prettyprint.c.

{
  is_user_view = true;
  is_transformer = true;
  is_total_precondition = false;
  is_transformer_filtered = false;
  return print_code_semantics(module_name);
}

References is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, module_name(), and print_code_semantics().

Here is the call graph for this function:

semantic_to_text()

text semantic_to_text	(	entity	module,
		int	margin,
		statement	stmt
	)

this function name is VERY misleading - it should be changed, sometime FI

Parameters

module	odule
margin	argin
stmt	tmt

Definition at line 354 of file prettyprint.c.

{
    transformer t;
    text txt;
 
    pips_assert("To please the compiler", module==module && margin==margin);
 
    if(is_user_view) {
        statement i = apply_number_to_statement(nts, statement_number(stmt));
 
        if(!statement_undefined_p(i)) {
            t = load_statement_semantic(i);
        }
        else
            t = (transformer) HASH_UNDEFINED_VALUE;
    }
    else
        t = load_statement_semantic(stmt);
 
    if(is_transformer_filtered && !transformer_undefined_p(t)
        && t != (transformer) HASH_UNDEFINED_VALUE) {
        list ef = load_cumulated_rw_effects_list(stmt);
        t = filter_transformer(t, ef);
    }
 
    txt = text_transformer(t);
 
    if (is_transformer)
        attach_transformers_decoration_to_text(txt);
    else if (is_total_precondition)
        attach_total_preconditions_decoration_to_text(txt);
    else
        attach_preconditions_decoration_to_text(txt);
 
    return txt;
}

References apply_number_to_statement(), attach_preconditions_decoration_to_text(), attach_total_preconditions_decoration_to_text(), attach_transformers_decoration_to_text(), filter_transformer(), HASH_UNDEFINED_VALUE, is_total_precondition, is_transformer, is_transformer_filtered, is_user_view, load_cumulated_rw_effects_list(), load_statement_semantic(), module, nts, pips_assert, statement_number, statement_undefined_p, text_transformer(), and transformer_undefined_p.

Referenced by get_semantic_text().

Here is the call graph for this function:

Here is the caller graph for this function:

semantics_is_inferior_pvarval()

static int semantics_is_inferior_pvarval ( Pvecteur *  pvarval1, Pvecteur *  pvarval2  )

static

The strange argument type is required by qsort(), deep down in the calls.

FI: what is it supposed to do? Is it allowed to return with equal==0, which leads to an assert failure later above vect_lexicographic_unsafe_compare_generic ().

The constant term is given the highest weight to push constant terms at the end of the constraints and to make those easy to compare. If not, constant 0 will be handled differently from other constants. However, it would be nice to give constant terms the lowest weight to print simple constraints first...

Either I define two comparison functions, or I cheat somewhere else. Let's cheat?

Definition at line 402 of file prettyprint.c.

{
    /* The constant term is given the highest weight to push constant
       terms at the end of the constraints and to make those easy
       to compare. If not, constant 0 will be handled differently from
       other constants. However, it would be nice to give constant terms
       the lowest weight to print simple constraints first...
 
       Either I define two comparison functions, or I cheat somewhere else.
       Let's cheat? */
    int is_equal = 0;
 
    if (term_cst(*pvarval1) && !term_cst(*pvarval2))
        is_equal = 1;
    else if (term_cst(*pvarval1) && term_cst(*pvarval2))
        is_equal = 0;
    else if(term_cst(*pvarval2))
        is_equal = -1;
    else {
        is_equal =
            strcmp(pips_user_value_name((entity) vecteur_var(*pvarval1)),
                   pips_user_value_name((entity) vecteur_var(*pvarval2)));
        if(is_equal==0 && !vect_equal(*pvarval1, *pvarval2))
          is_equal =
            strcmp(entity_name((entity) vecteur_var(*pvarval1)),
                   entity_name((entity) vecteur_var(*pvarval2)));
    }
 
    return is_equal;
}

References entity_name, pips_user_value_name(), term_cst, vect_equal(), and vecteur_var.

Referenced by text_transformer().

Here is the call graph for this function:

Here is the caller graph for this function:

set_prettyprint_transformer()

void set_prettyprint_transformer

(

void

)

Definition at line 77 of file prettyprint.c.

{
  is_transformer = true;
  is_total_precondition = false;
  is_transformer_filtered = false;
}

References is_total_precondition, is_transformer, and is_transformer_filtered.

string_predicate_to_commentary()

text string_predicate_to_commentary	(	string	str_pred,
		string	comment_prefix
	)

text string_predicate_to_commentary(string str_pred, string comment_prefix) input : a string, part of which represents a predicate.

output : a text consisting of several lines of commentaries, containing the string str_pred, and beginning with comment_prefix. modifies : str_pred;

if str_pred is too long, it must be splitted in several lines; the hyphenation must be done only between the constraints of the predicate, when there is a "," or a ")". A space is added at the beginning of extra lines, for indentation.

search the maximal substring which length is less than longueur_max

add it to the text

if the remaining string fits in one line

Parameters

str_pred	tr_pred
comment_prefix	omment_prefix

Definition at line 570 of file prettyprint.c.

{
  text t_pred = make_text(NIL);
  string str_suiv = NULL;
  string str_prefix = comment_prefix;
  char str_tmp[MAX_PRED_COMMENTARY_STRLEN];
  int len, new_str_pred_len, longueur_max;
  bool premiere_ligne = true;
  bool foresys = get_bool_property("PRETTYPRINT_FOR_FORESYS");
  longueur_max = MAX_PRED_COMMENTARY_STRLEN - strlen(str_prefix) - 2;
 
  /* if str_pred is too long, it must be splitted in several lines;
   * the hyphenation must be done only between the constraints of the
   * predicate, when there is a "," or a ")". A space is added at the beginning
   * of extra lines, for indentation. */
  while((len = strlen(str_pred)) > 0) {
    if (len > longueur_max) {
 
      /* search the maximal substring which length
       * is less than longueur_max */
      str_tmp[0] = '\0';
      (void) strncat(str_tmp, str_pred, longueur_max);
 
      if (foresys)
        str_suiv = strrchr(str_tmp, ')');
      else
        str_suiv = strrchr(str_tmp, ',');
 
      new_str_pred_len = (strlen(str_tmp) - strlen(str_suiv)) + 1;
      str_suiv = strdup(&(str_pred[new_str_pred_len]));
 
      str_tmp[0] = '\0';
      if (!premiere_ligne)
        (void) strcat(str_tmp, " ");
      (void) strncat(str_tmp, str_pred, new_str_pred_len);
 
      /* add it to the text */
      ADD_SENTENCE_TO_TEXT(t_pred,
                           make_pred_commentary_sentence(strdup(str_tmp),
                                                         str_prefix));
      str_pred =  str_suiv;
    }
    else {
      /* if the remaining string fits in one line */
      str_tmp[0] = '\0';
      if (!premiere_ligne)
        (void) strcat(str_tmp, " ");
      (void) strcat(str_tmp, str_pred);
 
      ADD_SENTENCE_TO_TEXT(t_pred,
                           make_pred_commentary_sentence(str_tmp,
                                                         str_prefix));
      str_pred[0] = '\0';
    }
 
    if (premiere_ligne) {
      premiere_ligne = false;
      longueur_max = longueur_max - 1;
      if (foresys){
        int i;
        int nb_espaces = strlen(str_prefix) -
          strlen(FORESYS_CONTINUATION_PREFIX);
 
        str_prefix = strdup(str_prefix);
        str_prefix[0] = '\0';
        (void) strcat(str_prefix, FORESYS_CONTINUATION_PREFIX);
        for (i=1; i <= nb_espaces; i++)
          (void) strcat(str_prefix, " ");
      }
    }
  }
 
  return(t_pred);
}

References ADD_SENTENCE_TO_TEXT, FORESYS_CONTINUATION_PREFIX, get_bool_property(), make_pred_commentary_sentence(), make_text(), MAX_PRED_COMMENTARY_STRLEN, NIL, and strdup().

Referenced by words_predicate_to_commentary().

Here is the call graph for this function:

Here is the caller graph for this function:

text_for_a_transformer()

text text_for_a_transformer	(	transformer	tran,
		bool	is_a_transformer
	)

call this one from outside.

Parameters

tran	ran
is_a_transformer	s_a_transformer

Definition at line 540 of file prettyprint.c.

{
  bool save_is_transformer = is_transformer;
  bool save_is_total_precondition = is_total_precondition;
  text t = text_undefined;
 
  is_transformer = is_a_transformer;
  is_total_precondition = false;
  t = text_transformer(tran);
  is_transformer = save_is_transformer;
  is_total_precondition = save_is_total_precondition;
  return t;
}

References is_total_precondition, is_transformer, text_transformer(), and text_undefined.

Referenced by call_site_to_module_precondition_text().

Here is the call graph for this function:

Here is the caller graph for this function:

text_transformer()

text text_transformer

(

transformer

tran

)

text text_transformer(transformer tran) input : a transformer representing a transformer or a precondition output : a text containing commentaries representing the transformer modifies : nothing.

Modification: AP, Nov 10th, 1995. Instead of building a (very long) string, I directly use the transformer to build the prettyprint in text format. This is to avoid the problem occuring when the buffer used in transformer[precondition]_to_string() is too small. I also use a static buffer to build each constraint; we are restricted to constraints of lengths smaller than the line length.

If in EMACS mode, does not add any separator line:

Parameters

tran

ran

Definition at line 464 of file prettyprint.c.

{
  text txt = make_text(NIL);
  bool foresys = get_bool_property("PRETTYPRINT_FOR_FORESYS");
  string str_prefix;
  char crt_line[MAX_LINE_LENGTH];
 
  /* If in EMACS mode, does not add any separator line: */
  if (get_bool_property("PRETTYPRINT_ANALYSES_WITH_LF")
      && !get_bool_property("PRETTYPRINT_ADD_EMACS_PROPERTIES"))
    ADD_SENTENCE_TO_TEXT(txt, make_sentence(is_sentence_formatted,
                                            strdup("\n")));
 
  str_prefix = foresys? FORESYS_CONTINUATION_PREFIX: get_comment_continuation();
  crt_line[0] = '\0';
 
  if (foresys)
    append(is_transformer? TRAN_FORESYS_PREFIX: PREC_FORESYS_PREFIX);
  else
    append(get_comment_sentinel());
 
  if(tran != (transformer) HASH_UNDEFINED_VALUE &&
     tran != (transformer) list_undefined) {
    if(tran==transformer_undefined) {
      if (is_transformer)
        append(" TRANSFORMER: TRANSFORMER_UNDEFINED");
      else if(is_total_precondition)
        append(" TOTAL PRECONDITION: TRANSFORMER_UNDEFINED");
      else
        append(" PRECONDITION: TRANSFORMER_UNDEFINED");
    }
    else {
      Psysteme ps;
      list args = transformer_arguments(tran);
 
      append(is_transformer? "  T(": (is_total_precondition? " TP(" : "  P("));
 
      entity_list_text_format(crt_line, str_prefix, txt,
                              args, entity_minimal_name);
 
      append(")");
      if (foresys) append(",");
      append(" ");
 
      ps = sc_copy(predicate_system(transformer_relation(tran)));
      sc_lexicographic_sort(ps, semantics_is_inferior_pvarval);
 
      ifdebug(7) {
        pips_debug(7, "sys %p\n", ps);
        sc_syst_debug(ps);
      }
 
      system_text_format(crt_line, str_prefix, txt, ps,
                         (char * (*)(Variable)) pips_user_value_name, foresys);
 
      sc_rm(ps);
    }
 
    close_current_line(crt_line, txt, str_prefix);
  }
 
  if (get_bool_property("PRETTYPRINT_ANALYSES_WITH_LF")
      && !get_bool_property("PRETTYPRINT_ADD_EMACS_PROPERTIES"))
    ADD_SENTENCE_TO_TEXT(txt, make_sentence(is_sentence_formatted,
                                            strdup("\n")));
 
  ifdebug(7){
    pips_debug(7, "final txt: \n");
    dump_text(txt);
  }
 
  return txt;
}

References ADD_SENTENCE_TO_TEXT, append, close_current_line(), dump_text(), entity_list_text_format(), entity_minimal_name(), FORESYS_CONTINUATION_PREFIX, get_bool_property(), get_comment_continuation(), get_comment_sentinel(), HASH_UNDEFINED_VALUE, ifdebug, is_sentence_formatted, is_total_precondition, is_transformer, list_undefined, make_sentence(), make_text(), MAX_LINE_LENGTH, NIL, pips_debug, pips_user_value_name(), PREC_FORESYS_PREFIX, predicate_system, sc_copy(), sc_lexicographic_sort(), sc_rm(), sc_syst_debug(), semantics_is_inferior_pvarval(), strdup(), system_text_format(), TRAN_FORESYS_PREFIX, transformer_arguments, transformer_relation, and transformer_undefined.

Referenced by get_semantic_text(), print_initial_precondition(), print_program_precondition(), semantic_to_text(), and text_for_a_transformer().

Here is the call graph for this function:

Here is the caller graph for this function:

words_predicate_to_commentary()

text words_predicate_to_commentary	(	list	w_pred,
		string	comment_prefix
	)

text words_predicate_to_commentary(list w_pred, string comment_prefix) input : a list of strings, one of them representing a predicate.

output : a text of several lines of commentaries containing this list of strings, and beginning with comment_prefix. modifies : nothing.

str_pred is the string corresponding to the concatenation of the strings in w_pred

Parameters

w_pred	_pred
comment_prefix	omment_prefix

Definition at line 653 of file prettyprint.c.

{
  string str_pred;
  text t_pred;
 
  /* str_pred is the string corresponding to the concatenation
   * of the strings in w_pred */
  str_pred = words_to_string(w_pred);
 
  t_pred = string_predicate_to_commentary(str_pred, comment_prefix);
 
  return(t_pred);
}

References string_predicate_to_commentary(), and words_to_string().

Referenced by print_any_reductions(), text_comp_region(), text_points_to(), and text_reductions().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

is_total_precondition

bool is_total_precondition

static

Definition at line 73 of file prettyprint.c.

Referenced by get_semantic_text(), get_text_preconditions(), get_text_total_preconditions(), get_text_transformers(), print_code_preconditions(), print_code_semantics(), print_code_total_preconditions(), print_code_transformers(), print_source_preconditions(), print_source_total_preconditions(), print_source_transformers(), semantic_to_text(), set_prettyprint_transformer(), text_for_a_transformer(), and text_transformer().

is_transformer

bool is_transformer

static

Definition at line 72 of file prettyprint.c.

Referenced by get_semantic_text(), get_text_preconditions(), get_text_total_preconditions(), get_text_transformers(), print_code_preconditions(), print_code_semantics(), print_code_total_preconditions(), print_code_transformers(), print_source_preconditions(), print_source_total_preconditions(), print_source_transformers(), semantic_to_text(), set_prettyprint_transformer(), text_for_a_transformer(), and text_transformer().

is_transformer_filtered

bool is_transformer_filtered

static

Definition at line 75 of file prettyprint.c.

Referenced by get_text_preconditions(), get_text_total_preconditions(), get_text_transformers(), print_code_preconditions(), print_code_total_preconditions(), print_code_transformers(), print_source_preconditions(), print_source_total_preconditions(), print_source_transformers(), semantic_to_text(), and set_prettyprint_transformer().

is_user_view

bool is_user_view

static

Definition at line 74 of file prettyprint.c.

Referenced by get_semantic_text(), get_text_preconditions(), get_text_total_preconditions(), get_text_transformers(), print_code_preconditions(), print_code_semantics(), print_code_total_preconditions(), print_code_transformers(), print_source_preconditions(), print_source_total_preconditions(), print_source_transformers(), and semantic_to_text().

nts

hash_table nts = hash_table_undefined

static

Definition at line 84 of file prettyprint.c.

Referenced by get_semantic_text(), and semantic_to_text().