C++ (Cpp) get_global_ios示例

示例#1

文件： vm_io.cpp 项目： sakas--/lean

vm_obj put_nat(vm_obj const & n, vm_obj const &) {
    if (is_simple(n))
        get_global_ios().get_regular_stream() << cidx(n);
    else
        get_global_ios().get_regular_stream() << to_mpz(n);
    return mk_vm_unit();
}

示例#2

文件： vm_io.cpp 项目： sakas--/lean

vm_obj get_line(vm_obj const &) {
    if (get_global_ios().get_options().get_bool("server"))
        throw exception("get_line: cannot read from stdin in server mode");
    std::string str;
    std::getline(std::cin, str);
    return to_obj(str);
}

示例#3

文件： vm_format.cpp 项目： fpvandoorn/lean

vm_obj format_print_using(vm_obj const & fmt, vm_obj const & opts, vm_obj const & /* state */) {
    get_global_ios().get_regular_stream() << mk_pair(to_format(fmt), to_options(opts));
    return mk_io_result(mk_vm_unit());
}

示例#4

文件： vm_io.cpp 项目： sakas--/lean

vm_obj put_str(vm_obj const & str, vm_obj const &) {
    get_global_ios().get_regular_stream() << to_string(str);
    return mk_vm_unit();
}