validate_helpers.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Goto program validation helper templates
 
Author: Daniel Poetzl
 
\*******************************************************************/
 
#ifndef CPROVER_UTIL_VALIDATE_HELPERS_H
#define CPROVER_UTIL_VALIDATE_HELPERS_H
 
#include <type_traits>
 
class namespacet;
enum class validation_modet;
 
template <typename Base, typename T>
struct call_checkt
{
  static_assert(
    std::is_base_of<Base, T>::value,
    "T should be derived from Base");
 
  void operator()(const Base &base, const validation_modet vm)
  {
    T::check(base, vm);
  }
  void operator()(const Base &base, const validation_modet vm) {…}
};
struct call_checkt {…};
 
template <typename Base, typename T>
struct call_validatet
{
  static_assert(
    std::is_base_of<Base, T>::value,
    "T should be derived from Base");
 
  void
  operator()(const Base &base, const namespacet &ns, const validation_modet vm)
  {
    T::validate(base, ns, vm);
  }
  operator()(const Base &base, const namespacet &ns, const validation_modet vm) {…}
};
struct call_validatet {…};
 
template <typename Base, typename T>
struct call_validate_fullt
{
  static_assert(
    std::is_base_of<Base, T>::value,
    "T should be derived from Base");
 
  void
  operator()(const Base &base, const namespacet &ns, const validation_modet vm)
  {
    T::validate_full(base, ns, vm);
  }
  operator()(const Base &base, const namespacet &ns, const validation_modet vm) {…}
};
struct call_validate_fullt {…};
 
#endif /* CPROVER_UTIL_VALIDATE_HELPERS_H */