C++ (Cpp) tag_sym示例

示例#1

文件： api_context.cpp 项目： kayceesrk/Z3

 void Z3_API Z3_enable_trace(Z3_string tag) {
     memory::initialize(UINT_MAX);
     LOG_Z3_enable_trace(tag);
     // Tag is a string that was probably not allocated by Z3. Create a copy using symbol.
     symbol tag_sym(tag);
     enable_trace(tag_sym.bare_str());
 }

示例#2

文件： proc.cpp 项目： Wren6991/cpplisp

cell proc_go(const cell &arglist)
{
    if (!arglist.car || arglist.car->type != v_symbol)
        throw(exception("Error: expected symbol as argument to go."));
    throw(tag_sym(arglist.car->str));
}