cprover
Loading...
Searching...
No Matches
validate_types.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Validate types
4
5Author: Daniel Poetzl
6
7\*******************************************************************/
8
9#ifndef CPROVER_UTIL_VALIDATE_TYPES_H
10#define CPROVER_UTIL_VALIDATE_TYPES_H
11
12class typet;
13class namespacet;
14enum class validation_modet;
15
16void check_type(const typet &type, const validation_modet vm);
17
18void validate_type(
19 const typet &type,
20 const namespacet &ns,
21 const validation_modet vm);
22
23void validate_full_type(
24 const typet &type,
25 const namespacet &ns,
26 const validation_modet vm);
27
28#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