CBMC: /home/runner/work/cbmc/cbmc/src/util/identifier.h Source File

CBMC
Loading...
Searching...
No Matches
identifier.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9
10#ifndef CPROVER_UTIL_IDENTIFIER_H
11#define CPROVER_UTIL_IDENTIFIER_H
12
13#include <string>
14#include <vector>
15
16 #define ID_SEPARATOR "::"
17
19{
20public:
21 explicit identifiert(const std::string &s)
22 { parse(s); }
23
25 { }
26
27 std::string as_string() const;
28
29 typedef std::vector<std::string> componentst;
31
32protected:
33 void parse(const std::string &s);
34};
35
36#endif // CPROVER_UTIL_IDENTIFIER_H
std::vector< std::string > componentst
Definition identifier.h:29
void parse(const std::string &s)
Definition identifier.cpp:28
std::string as_string() const
Definition identifier.cpp:13
identifiert(const std::string &s)
Definition identifier.h:21
identifiert()
Definition identifier.h:24
componentst components
Definition identifier.h:30

AltStyle によって変換されたページ (->オリジナル) /