validate_types.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Validate types
 
Author: Daniel Poetzl
 
\*******************************************************************/
 
#include "validate_types.h"
 
#ifdef REPORT_UNIMPLEMENTED_TYPE_CHECKS
#include <iostream>
#endif
 
#include "bitvector_types.h" // IWYU pragma: keep
#include "c_types.h"         // IWYU pragma: keep
#include "validate_helpers.h"
 
#define CALL_ON_TYPE(type_type)                                                \
  C<typet, type_type>()(type, std::forward<Args>(args)...)
 
template <template <typename, typename> class C, typename... Args>
void call_on_type(const typet &type, Args &&... args)
{
  if(type.id() == ID_bv)
  {
    CALL_ON_TYPE(bv_typet);
  }
  else if(type.id() == ID_unsignedbv)
  {
    CALL_ON_TYPE(unsignedbv_typet);
  }
  else if(type.id() == ID_signedbv)
  {
    CALL_ON_TYPE(signedbv_typet);
  }
  else if(type.id() == ID_fixedbv)
  {
    CALL_ON_TYPE(fixedbv_typet);
  }
  else if(type.id() == ID_floatbv)
  {
    CALL_ON_TYPE(floatbv_typet);
  }
  else if(type.id() == ID_pointer)
  {
    if(type.get_bool(ID_C_reference))
      CALL_ON_TYPE(reference_typet);
    else
      CALL_ON_TYPE(pointer_typet);
  }
  else if(type.id() == ID_c_bool)
  {
    CALL_ON_TYPE(c_bool_typet);
  }
  else if(type.id() == ID_array)
  {
    CALL_ON_TYPE(array_typet);
  }
  else
  {
#ifdef REPORT_UNIMPLEMENTED_TYPE_CHECKS
    std::cerr << "Unimplemented well-formedness check for type with id: "
              << type.id_string() << std::endl;
#endif
 
    CALL_ON_TYPE(typet);
  }
}
 
void check_type(const typet &type, const validation_modet vm)
{
  call_on_type<call_checkt>(type, vm);
}
 
void validate_type(
  const typet &type,
  const namespacet &ns,
  const validation_modet vm)
{
  call_on_type<call_validatet>(type, ns, vm);
}
 
void validate_full_type(
  const typet &type,
  const namespacet &ns,
  const validation_modet vm)
{
  call_on_type<call_validate_fullt>(type, ns, vm);
}