cbmc/validate__types_8h_source.html

/*******************************************************************\


Module: Validate types


Author: Daniel Poetzl


\*******************************************************************/


#ifndef CPROVER_UTIL_VALIDATE_TYPES_H

#define CPROVER_UTIL_VALIDATE_TYPES_H


class typet;

class namespacet;

enum class validation_modet;


void check_type(const typet &type, const validation_modet vm);


void validate_type(

  const typet &type,

  const namespacet &ns,

  const validation_modet vm);


void validate_full_type(

  const typet &type,

  const namespacet &ns,

  const validation_modet vm);


#endif /* CPROVER_UTIL_VALIDATE_TYPES_H */

namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91

typet
The type of an expression, extends irept.
Definition type.h:29

check_type
void check_type(const typet &type, const validation_modet vm)
Check that the given type is well-formed (shallow checks only, i.e., subtypes are not checked)
Definition validate_types.cpp:79

validate_type
void validate_type(const typet &type, const namespacet &ns, const validation_modet vm)
Check that the given type is well-formed, assuming that its subtypes have already been checked for we...
Definition validate_types.cpp:92

validate_full_type
void validate_full_type(const typet &type, const namespacet &ns, const validation_modet vm)
Check that the given type is well-formed (full check, including checks of subtypes)
Definition validate_types.cpp:108

validation_modet
validation_modet
Definition validation_mode.h:13