CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | Protected Member Functions | List of all members
identifiert Class Reference

#include <identifier.h>

+ Collaboration diagram for identifiert:

Public Types

typedef std::vector< std::string >  componentst
 

Public Member Functions

  identifiert (const std::string &s)
 
 
std::string  as_string () const
 

Public Attributes

 

Protected Member Functions

void  parse (const std::string &s)
 

Detailed Description

Definition at line 18 of file identifier.h.

Member Typedef Documentation

◆  componentst

typedef std::vector<std::string> identifiert::componentst

Definition at line 29 of file identifier.h.

Constructor & Destructor Documentation

◆  identifiert() [1/2]

identifiert::identifiert ( const std::string &  s )
inlineexplicit

Definition at line 21 of file identifier.h.

◆  identifiert() [2/2]

identifiert::identifiert ( )
inline

Definition at line 24 of file identifier.h.

Member Function Documentation

◆  as_string()

std::string identifiert::as_string ( ) const

Definition at line 13 of file identifier.cpp.

◆  parse()

void identifiert::parse ( const std::string &  s )
protected

Definition at line 28 of file identifier.cpp.

Member Data Documentation

◆  components

componentst identifiert::components

Definition at line 30 of file identifier.h.


The documentation for this class was generated from the following files:

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