cprover
identifiert Class Reference

#include <identifier.h>

Collaboration diagram for identifiert:
[legend]

Public Types

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

Public Member Functions

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

Public Attributes

componentst components
 

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.

References parse().

◆ 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.

References components, and ID_SEPARATOR.

◆ parse()

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

Definition at line 28 of file identifier.cpp.

References components, and ID_SEPARATOR.

Referenced by identifiert().

Member Data Documentation

◆ components

componentst identifiert::components

Definition at line 30 of file identifier.h.

Referenced by as_string(), json(), and parse().


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