C++ (Cpp) parser::set_line 예제들

예제 #1

파일: builtin_cmds.cpp 프로젝트: silky/lean

environment set_line_cmd(parser & p) {
    if (!p.curr_is_numeral())
        throw parser_error("invalid #setline command, numeral expected", p.pos());
    unsigned r = p.get_small_nat();
    p.set_line(r);
    p.next();
    return p.env();
}