cpp_enum_type.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: C++ Language Type Checking
 
Author: Daniel Kroening, kroening@cs.cmu.edu
 
\*******************************************************************/
 
 
#ifndef CPROVER_CPP_CPP_ENUM_TYPE_H
#define CPROVER_CPP_CPP_ENUM_TYPE_H
 
#include <util/type.h>
 
#include "cpp_name.h"
 
class cpp_enum_typet:public typet
{
public:
  cpp_enum_typet();
 
  const cpp_namet &tag() const
  {
    return static_cast<const cpp_namet &>(find(ID_tag));
  }
 
  bool has_tag() const
  {
    return find(ID_tag).is_not_nil();
  }
 
  cpp_namet &tag()
  {
    return static_cast<cpp_namet &>(add(ID_tag));
  }
 
  const irept &body() const
  {
    return find(ID_body);
  }
 
  irept &body()
  {
    return add(ID_body);
  }
 
  bool has_body() const
  {
    return find(ID_body).is_not_nil();
  }
 
  bool get_tag_only_declaration() const
  {
    return get_bool(ID_C_tag_only_declaration);
  }
 
  irep_idt generate_anon_tag() const;
};
 
inline const cpp_enum_typet &to_cpp_enum_type(const irept &irep)
{
  PRECONDITION(irep.id() == ID_c_enum);
  return static_cast<const cpp_enum_typet &>(irep);
}
 
inline cpp_enum_typet &to_cpp_enum_type(irept &irep)
{
  PRECONDITION(irep.id() == ID_c_enum);
  return static_cast<cpp_enum_typet &>(irep);
}
 
#endif // CPROVER_CPP_CPP_ENUM_TYPE_H