C++ (Cpp) string_buffer::c_str示例

示例#1

文件： datalog_parser.cpp 项目： 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());
 }

示例#2

文件： datalog_parser.cpp 项目： 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());
 }

示例#3

文件： datalog_parser.cpp 项目： EinNarr/z3

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