C++ (Cpp) get_dummy_ios Examples

Example #1

File: pattern_attribute.cpp Project: avigad/lean

environment set_pattern_attribute(environment const & env, name const & n) {
    return get_pattern_attribute().set(env, get_dummy_ios(), n, LEAN_DEFAULT_PRIORITY, true);
}

Example #2

File: trace.cpp Project: gebner/lean

 silent_ios_helper():
     m_out(new null_output_channel()),
     m_ios(get_dummy_ios(), m_out, m_out) {}

Example #3

File: parser_config.cpp Project: cpehle/lean

environment add_token(environment const & env, token_entry const & e, bool persistent) {
    return token_ext::add_entry(env, get_dummy_ios(), e, get_namespace(env), persistent);
}