本文整理汇总了C++中locationt::get_column方法的典型用法代码示例。如果您正苦于以下问题：C++ locationt::get_column方法的具体用法？C++ locationt::get_column怎么用？C++ locationt::get_column使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类locationt的用法示例。
在下文中一共展示了locationt::get_column方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: print
void message_handlert::print(
unsigned level,
const std::string &message,
int sequence_number,
const locationt &location)
{
std::string dest;
const irep_idt &file=location.get_file();
const irep_idt &line=location.get_line();
const irep_idt &column=location.get_column();
const irep_idt &function=location.get_function();
if(file!="") { if(dest!="") dest+=" "; dest+="file "+id2string(file); }
if(line!="") { if(dest!="") dest+=" "; dest+="line "+id2string(line); }
if(column!="") { if(dest!="") dest+=" "; dest+="column "+id2string(column); }
if(function!="") { if(dest!="") dest+=" "; dest+="function "+id2string(function); }
if(dest!="") dest+=": ";
dest+=message;
print(level, dest);
}