当前位置: 首页>>代码示例>>C++>>正文


C++ message::get_end_pos方法代码示例

本文整理汇总了C++中message::get_end_pos方法的典型用法代码示例。如果您正苦于以下问题:C++ message::get_end_pos方法的具体用法?C++ message::get_end_pos怎么用?C++ message::get_end_pos使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在message的用法示例。


在下文中一共展示了message::get_end_pos方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。

示例1: json_of_message

json json_of_message(message const & msg) {
    json j;
    j["file_name"] = msg.get_file_name();
    j["pos_line"]  = msg.get_pos().first;
    j["pos_col"]   = msg.get_pos().second;
    if (auto end_pos = msg.get_end_pos()) {
        j["end_pos_line"] = end_pos->first;
        j["end_pos_col"]  = end_pos->second;
    }
    j["severity"]  = json_of_severity(msg.get_severity());
    j["caption"]   = msg.get_caption();
    j["text"]      = msg.get_text();
    return j;
}
开发者ID:fpvandoorn,项目名称:lean,代码行数:14,代码来源:json.cpp

示例2: report_message

void report_message(message const & msg0) {
    auto & l = logtree();
    auto & loc = logtree().get_location();

    std::shared_ptr<message> msg;
    if (loc.m_file_name.empty()) {
        msg = std::make_shared<message>(msg0);
    } else {
        auto pos_ok = loc.m_range.m_begin <= msg0.get_pos() && msg0.get_pos() <= loc.m_range.m_end;
        msg = std::make_shared<message>(loc.m_file_name,
                                        pos_ok ? msg0.get_pos() : loc.m_range.m_begin,
                                        pos_ok ? msg0.get_end_pos() : optional<pos_info>(),
                                        msg0.get_severity(), msg0.get_caption(), msg0.get_text());
    }
    l.add(msg);
}
开发者ID:avigad,项目名称:lean,代码行数:16,代码来源:messages.cpp


注:本文中的message::get_end_pos方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。