-
Notifications
You must be signed in to change notification settings - Fork 289
Expand file tree
/
Copy pathcpp_using.h
More file actions
45 lines (33 loc) · 773 Bytes
/
cpp_using.h
File metadata and controls
45 lines (33 loc) · 773 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
/*******************************************************************\
Module: C++ Language Type Checking
Author: Daniel Kroening, [email protected]
\*******************************************************************/
/// \file
/// C++ Language Type Checking
#ifndef CPROVER_CPP_CPP_USING_H
#define CPROVER_CPP_CPP_USING_H
#include "cpp_name.h"
class cpp_usingt:public irept
{
public:
cpp_usingt():irept(ID_cpp_using)
{
}
cpp_namet &name()
{
return (cpp_namet &)add(ID_name);
}
const cpp_namet &name() const
{
return (const cpp_namet &)find(ID_name);
}
bool get_namespace() const
{
return get_bool(ID_namespace);
}
void set_namespace(bool value)
{
set(ID_namespace, value);
}
};
#endif // CPROVER_CPP_CPP_USING_H