annotations.h

Go to the documentation of this file.

#ifndef BDWY_ANNOTATIONS_H
#define BDWY_ANNOTATIONS_H

#include <stdio.h>

// ------------------------------------------------------------
// CLASS: Annotations
// ------------------------------------------------------------

typedef std::map< std::string, procedureAnn * > procedures_map;
typedef procedures_map::iterator procedures_map_p;
typedef procedures_map::const_iterator procedures_map_cp;

//typedef pair< reportAnn *, stmtNode * > error_pair;
//typedef map< error_pair, int > error_report_map;
//typedef error_report_map::iterator error_report_map_p;

typedef std::list <std::string> str_list;
typedef std::set <std::string> str_set;

class Adaptor_Statistics;

class Annotations
{
public:

  static Annotations * Current;

  static bool debug;

  static bool Show_actions;

  static bool Show_reports;

  static bool Verbose_properties;

  static bool Verbose_pointers;

  static bool Flow_insensitive_properties;

  static bool Skip_traces;

  static int Adaptivity;

  static bool Show_adaptivity;

  // TB_unify
  typedef enum { UNIFY, FICI, FSCI, FICS, FSCS } Adapt_Precision;

  static Adapt_Precision Adapt_precision;

  // TB_unify
  static bool Adapt_uses_uba;

  static bool Error_oriented_adaptivity;

  static bool Record_tested_objects;

  static bool Quiet_reports;

  static bool Prune_context_sensitive;

  static str_set Pruned_procedures;

  static double Analysis_time;

  static str_list Enabled_properties;

  static str_list Disabled_properties;

  static unsigned long int Start_brk;

  static bool Aggressive_pruning;

  //  static error_report_map Error_reports;

  static int Num_enabled_properties;

  static bool Diagnostic;

  static Adaptor_Statistics *Adaptor_statistics; // TB
  
private:

  std::string _filename;

  TREE var_map    _globals;

  TREE procedureAnn * _init;

  TREE enum_property_map _enum_properties;

  REF enumPropertyAnn * _constants;

  TREE set_property_map _set_properties;

  TREE procedures_map _procedures;

  int _errors;


#ifdef __FOO
  unitNode * _header;
#endif
  str_list * _cpp_flags;
#ifdef __FOO
  id_lookup_walker * _syms;
#endif


public:

  Annotations(std::string & filename, str_list * cpp_flags);

  ~Annotations();

  void clear();

  inline procedureAnn * init() const { return _init; }

  void add_procedure(procedureAnn * new_procedure);


  void add_globals(structuretree_list * structures);

  annVariable * add_one_global(const std::string & varname, bool is_io);

  void add_enum_property(enumPropertyAnn * property);

  void add_set_property(setPropertyAnn * set_property);

  procedureAnn * lookup_procedure(const std::string & name);

  annVariable * lookup_global(const std::string & name);

#ifdef __HEADER
  declNode * lookup_header_decl(const std::string & name);
#endif

  enumPropertyAnn * lookup_enum_property(const std::string & name);

  setPropertyAnn * lookup_set_property(const std::string & name);

  propertyAnn * lookup_property(const std::string & name);

  enumPropertyAnn * constants_property() const { return _constants; }

  void clear_properties();

  const procedures_map & procedures() const { return _procedures; }

  const var_map & globals() const { return _globals; }

  const enum_property_map & enum_properties() const { return _enum_properties; }

  const set_property_map & set_properties() const { return _set_properties; }

#ifdef __HEADER
  void store_header(decl_list * decls);
#endif

  // --- Error handling

  void Error(int where, const std::string & msg);
  void Warning(int where, const std::string & msg);
  int errors() const { return _errors; }

  // --- Output

  friend std::ostream& operator<<(std::ostream & o, const Annotations & anns) {
    anns.print(o);
    return o;
  }

  void print(std::ostream & o) const;

  std::string & filename() { return _filename; }

private:

  FILE * _open_input_file(); 

  annVariable * new_global(const std::string & varname,
                           bool is_external,
                           bool is_io);

  void old_add_globals(parserid_list * vars);
};

#endif /* BDWY_ANNOTATIONS_H */