CodeSonar C++ API
[For improved navigation, enable JavaScript.]
cs_point_kind.hpp
Go to the documentation of this file.
1 /*
2  * Copyright (c) 2023, an unpublished work by CodeSecure, Inc.
3  * ALL RIGHTS RESERVED
4  *
5  * Copyright (c) 2013-2023, an unpublished work by GrammaTech, Inc.
6  * ALL RIGHTS RESERVED
7  *
8  * This software is furnished under a license and may be used and
9  * copied only in accordance with the terms of such license and the
10  * inclusion of the above copyright notice. This software or any
11  * other copies thereof may not be provided or otherwise made
12  * available to any other person. Title to and ownership of the
13  * software is retained by CodeSecure, Inc.
14  */
15 
16 #ifndef CS_POINT_KIND_HPP
17 #define CS_POINT_KIND_HPP
18 
19 #include "cs_enum_boilerplate.hpp"
20 #include "cs_pdg_vertex.h"
21 
24 namespace cs{
29  class point_kind{
30  CS_ENUM_BOILERPLATE_UB(point_kind,
31  cs_vertex_kind,
32  check(cs_pdg_vertex_kind_name(
33  inner, &rv)),
34  cs_vertex_kind_count);
35 
43  bool participates_in_cfg(){
44  return !!cs_vertex_kind_participates_in_cfg(inner);
45  }
47  };
48  CS_ENUM_BOILERPLATE_FRIENDS(point_kind,
49  friend class depfilter;
50  friend class point;,
51  cs
52  )
53 #include "cs_point_kind_defs.hpp"
54 }
55 #endif /* CS_POINT_KIND_HPP */
Namespace for CodeSonar/CodeSurfer API.
Definition: cs_ast.hpp:33
Enumeration class: program point (point) kind.
Definition: cs_point_kind.hpp:29
A single program point.
Definition: cs_point_decl.hpp:66
bool participates_in_cfg()
Check: do points (point) of this point_kind appear in CFGs?
Definition: cs_point_kind.hpp:48