cpp_template_parameter.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@cs.cmu.edu
 
\*******************************************************************/
 
 
#ifndef CPROVER_CPP_CPP_TEMPLATE_PARAMETER_H
#define CPROVER_CPP_CPP_TEMPLATE_PARAMETER_H
 
#include <util/expr.h>
 
// A data structure for expressions of the form
// <typename T, int x, ...>
// Not to be confused with template arguments!
 
struct template_parametert:public exprt
{
public:
  template_parametert():exprt(ID_template_parameter)
  {
  }
  template_parametert():exprt(ID_template_parameter) {…}
 
  #if 0
  bool get_is_type() const
  {
    return get_bool(ID_is_type);
  }
 
  void set_is_type(bool value)
  {
    set(ID_is_type, value);
  }
 
  irep_idt get_identifier() const
  {
    return get(ID_identifier);
  }
 
  void set_identifier(const irep_idt &identifier)
  {
    return set(ID_identifier, identifier);
  }
  #endif
 
  exprt &default_argument()
  {
    return static_cast<exprt &>(add(ID_C_default_value));
  }
  exprt &default_argument() {…}
 
  const exprt &default_argument() const
  {
    return static_cast<const exprt &>(find(ID_C_default_value));
  }
  const exprt &default_argument() const {…}
 
  bool has_default_argument() const
  {
    return find(ID_C_default_value).is_not_nil();
  }
  bool has_default_argument() const {…}
};
struct template_parametert:public exprt {…};
 
struct template_parameter_symbol_typet : public typet
{
public:
  explicit template_parameter_symbol_typet(const irep_idt &identifier)
    : typet(ID_template_parameter_symbol_type)
  {
    set_identifier(identifier);
  }
  explicit template_parameter_symbol_typet(const irep_idt &identifier) {…}
 
  void set_identifier(const irep_idt &identifier)
  {
    set(ID_identifier, identifier);
  }
  void set_identifier(const irep_idt &identifier) {…}
 
  const irep_idt &get_identifier() const
  {
    return get(ID_identifier);
  }
  const irep_idt &get_identifier() const {…}
};
struct template_parameter_symbol_typet : public typet {…};
 
inline const template_parameter_symbol_typet &
to_template_parameter_symbol_type(const typet &type)
{
  PRECONDITION(type.id() == ID_template_parameter_symbol_type);
  return static_cast<const template_parameter_symbol_typet &>(type);
}
to_template_parameter_symbol_type(const typet &type) {…}
 
inline template_parameter_symbol_typet &
to_template_parameter_symbol_type(typet &type)
{
  PRECONDITION(type.id() == ID_template_parameter_symbol_type);
  return static_cast<template_parameter_symbol_typet &>(type);
}
to_template_parameter_symbol_type(typet &type) {…}
 
#endif // CPROVER_CPP_CPP_TEMPLATE_PARAMETER_H