|
LMCAS
Lamina Computer Algebra System
|
#include <computation_context.hpp>
Public 类型 | |
| using | Consumer = std::function<void(const Diagnostic&)> |
Public 成员函数 | |
| DiagnosticEngine (std::size_t limit, Consumer consumer={}) | |
| const std::vector< Diagnostic > & | diagnostics () const noexcept |
| Result< void > | emit (Diagnostic diagnostic) |
| void | set_consumer (Consumer consumer) |
Private 属性 | |
| Consumer | consumer_ |
| std::vector< Diagnostic > | diagnostics_ |
| std::size_t | limit_ |
在文件 computation_context.hpp 第 44 行定义.
| using LMCAS::DiagnosticEngine::Consumer = std::function<void(const Diagnostic&)> |
在文件 computation_context.hpp 第 46 行定义.
|
inlineexplicit |
在文件 computation_context.hpp 第 48 行定义.
|
inlinenoexcept |
在文件 computation_context.hpp 第 76 行定义.
引用了 diagnostics_.
被这些函数引用 LMCAS::ComputationContext::diagnostics().
|
inline |
在文件 computation_context.hpp 第 51 行定义.
引用了 consumer_, diagnostics_, LMCAS::Result< T >::failure(), LMCAS::InternalInvariant, limit_, LMCAS::Diagnostic::operation, LMCAS::ResourceLimit , 以及 LMCAS::Result< T >::success().
被这些函数引用 LMCAS::ComputationContext::add_diagnostic().
|
inline |
|
private |
在文件 computation_context.hpp 第 82 行定义.
被这些函数引用 emit() , 以及 set_consumer().
|
private |
在文件 computation_context.hpp 第 83 行定义.
被这些函数引用 diagnostics() , 以及 emit().
|
private |
在文件 computation_context.hpp 第 81 行定义.
被这些函数引用 emit().