Esempi in C++ (Cpp) per io_state_stream::get_environment

Esempio n. 1

File: info_manager.cpp Progetto: fpvandoorn/lean

 virtual void report(io_state_stream const & ios, json & record) const override {
     record["full-id"] = m_full_id.to_string();
     add_source_info(ios.get_environment(), m_full_id, record);
     if (auto doc = get_doc_string(ios.get_environment(), m_full_id))
         record["doc"] = *doc;
 }

Esempio n. 2

File: info_manager.cpp Progetto: fpvandoorn/lean

void hole_info_data::report(io_state_stream const & ios, json & record) const {
    type_context_old ctx = mk_type_context_for(m_state);
    interactive_report_type(ios.get_environment(), ios.get_options(), ctx.infer(m_state.main()), record);
}

Esempio n. 3

File: info_manager.cpp Progetto: fpvandoorn/lean

 virtual void report(io_state_stream const & ios, json & record) const override {
     interactive_report_type(ios.get_environment(), ios.get_options(), m_expr, record);
 }