report.h

Go to the documentation of this file.

#ifndef BDWY_REPORT_H
#define BDWY_REPORT_H

typedef std::list< reportAnn * > report_list;
typedef report_list::iterator report_list_p;
typedef report_list::const_iterator report_list_cp;

class reportElementAnn : public Ann
{
public:

  reportElementAnn(int line)
    : Ann(line)
  {}

  virtual void lookup(enumPropertyAnn * default_property,
                      procedureAnn * procedure,
                      Annotations * annotations) =0;

#ifdef NONEMPTY
  virtual void report(std::ostream & out,
                      bool is_error,
                      Analyzer * analyzer,
                      procLocation * where) =0;

  // static callNode * callnode(stmtNode * stmt);
#endif
};

class literalReportElementAnn : public reportElementAnn
{
private:

  std::string _literal;

public:

// DQ (8/12/2004): Added virtual destructor to avoid g++ compiler warnings
  virtual ~literalReportElementAnn() {};

  literalReportElementAnn(const parserID * name);

  virtual void lookup(enumPropertyAnn * default_property,
                      procedureAnn * procedure,
                      Annotations * annotations);

#ifdef NONEMPTY
  virtual void report(std::ostream & out,
                      bool is_error,
                      Analyzer * analyzer,
                      procLocation * where);
#endif
};


class expressionReportElementAnn : public reportElementAnn
{
private:

  Broadway::FlowSensitivity _flow_sensitivity;

  exprAnn * _expr;

public:

  expressionReportElementAnn(Broadway::FlowSensitivity flow_sensitivity,
                             exprAnn * expr, int line);

  virtual void lookup(enumPropertyAnn * default_property,
                      procedureAnn * procedure,
                      Annotations * annotations);

#ifdef NONEMPTY
  virtual void report(std::ostream & out,
                      bool is_error,
                      Analyzer * analyzer,
                      procLocation * where);
#endif
};


class locationReportElementAnn : public reportElementAnn
{
public:

  typedef enum { Callsite, Context, Procedure, Num_Contexts } ContextKind;

private:

  std::string _kind_name;

  ContextKind _kind;

public:

// DQ (8/12/2004): Added virtual destructor to avoid g++ compiler warnings
  virtual ~locationReportElementAnn() {};

  locationReportElementAnn(const parserID * id);

  virtual void lookup(enumPropertyAnn * default_property,
                      procedureAnn * procedure,
                      Annotations * annotations);

#ifdef NONEMPTY
  virtual void report(std::ostream & out,
                      bool is_error,
                      Analyzer * analyzer,
                      procLocation * where);

#endif
};
  

class bindingReportElementAnn : public reportElementAnn
{
private:

  std::string _variable_name;

  bool _size_only;

  annVariable * _variable;

public:

// DQ (8/12/2004): Added virtual destructor to avoid g++ compiler warnings
  virtual ~bindingReportElementAnn() {};

  bindingReportElementAnn(const parserID * varname, bool size_only);

  virtual void lookup(enumPropertyAnn * default_property,
                      procedureAnn * procedure,
                      Annotations * annotations);

#ifdef NONEMPTY
  virtual void report(std::ostream & out,
                      bool is_error,
                      Analyzer * analyzer,
                      procLocation * where);
#endif
};


typedef std::list< reportElementAnn * > report_element_list;
typedef report_element_list::iterator report_element_list_p;

class reportAnn : public Ann
{
private:

  exprAnn * _condition;

  report_element_list _elements;

  bool _is_error;

public:

// DQ (8/12/2004): Added virtual destructor to avoid g++ compiler warnings
  virtual ~reportAnn() {};

  reportAnn(exprAnn * condition,
            bool is_error,
            report_element_list * elements, int line);

  virtual void lookup(procedureAnn * procedure,
                      Annotations * annotations);

#ifdef NONEMPTY
  virtual void report(std::ostream & out,
                      Analyzer * analyzer,
                      procLocation * where,
                      propertyAnalyzer * property_analyzer);
#endif
};

#endif /* BDWY_REPORT_H */