C++ (Cpp) string_buffer::c_str Exemples

Exemple #1

Fichier : datalog_parser.cpp Projet : EinNarr/z3

 dtoken read_id() {
     while (!eos() && m_curr_char != '(' && m_curr_char != ')' && 
            m_curr_char != '#' && m_curr_char != ',' && (m_parsing_domains || m_curr_char != '.') && 
            m_curr_char != ':' && m_curr_char != '=' && !iswspace(m_curr_char) ) {
         save_and_next();
     }
     return m_reserved_symbols.string2dtoken(m_buffer.c_str());
 }

Exemple #2

Fichier : datalog_parser.cpp Projet : EinNarr/z3

 // read an id of the form '|'.*'|' 
 dtoken read_bid() {
     while (!eos() && m_curr_char != '|') {
         save_and_next();
     }
     if (m_curr_char == '|') {
         next();
     }
     return m_reserved_symbols.string2dtoken(m_buffer.c_str());
 }

Exemple #3

Fichier : datalog_parser.cpp Projet : EinNarr/z3

 const char * get_token_data() const {
     return m_buffer.c_str();
 }