C++ (Cpp) get_dummy_iosの例

コード例 #1

ファイル: pattern_attribute.cpp プロジェクト: 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);
}

コード例 #2

ファイル: trace.cpp プロジェクト: gebner/lean

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

コード例 #3

ファイル: parser_config.cpp プロジェクト: 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);
}