1. Diagnostic需要提供哪些數(shù)據(jù)
出錯(cuò)處理和錯(cuò)誤提示，是編譯器開發(fā)過程中重要而繁瑣的部分。
診斷信息的格式因編譯器和IDE而不同。
SALVIA將采用Visual Studio的格式，即 文件 + 行列 + 類別（等級） + 編號 + 出錯(cuò)信息。例如：
d:\programming\salvia\sasl\test\cgllvm_test\function_test_basic.cpp(16): error C2061: syntax error : identifier 'te'
因此在出錯(cuò)分析的時(shí)候，也需要提供如上的一些信息。
2. 診斷信息Diagnostic Item
在以上信息中，文件名和行列號可以在詞法分析的時(shí)候獲得，我們將它作為屬性附加在Token中。
類別和編號，對于同一個(gè)編譯器而言是相對固定的，盡管我們可以用ID來表示，但是它并不直觀，編譯器檢查也較少。與參數(shù)匹配時(shí)，也比較容易出錯(cuò)。
SASL中的診斷信息將每個(gè)錯(cuò)誤都使用一個(gè)類型來表達(dá)：
class diagnostic_item
{
};
class unrecognized_identifier: public diagnostic_item
{
public:
unrecognized_identifier& token( token_t tok );
private:
static int level;
static int id;
static std::string description_template;
private:
std::string ident;
size_t row, col;
// Other properties
};
這樣的好處在于可以用Combinator的風(fēng)格來撰寫錯(cuò)誤信息。例如這樣：
diagnostic_chat.report<unrecognized_identifier>().token( err_tok );
并且由于編譯器的保證也比較不容易寫錯(cuò)。
但是這種寫法也有一個(gè)很關(guān)鍵的問題，需要為每個(gè)錯(cuò)誤都定義一個(gè)類，工作量很大。SASL對這一問題的處理，自然是傳統(tǒng)的大殺器：運(yùn)用腳本進(jìn)行生成。
Clang使用了它內(nèi)置的代碼生成工具td來完成生成的工作。
3. 診斷信息管理器Diagnostic Chat
Chat是診斷信息的管理工具。它主要要完成以下需求：添加和清理診斷信息，以及在診斷信息的添加清理時(shí)提供回調(diào)操作。
后者是很有用的，尤其是在調(diào)試編譯器的時(shí)候。你得分清楚究竟是真正的程序錯(cuò)誤呢，還是編譯器出了錯(cuò)。
Diagnostic Chat的原型如下：
class diagnostic_chat
{
public:
template <typename T> T& report();
void add_report_diagnostic_handler( DiagnosticHandlerT handler );
};
同時(shí)，我們也將Treat Warning As Error，Error Count，Disable Warning，Stop compiling when error occurs等狀態(tài)和功能所需要的支持添加到Chat中。
所以，Chat除了提供管理之外，也要具有相應(yīng)的診斷信息的統(tǒng)計(jì)功能。
4. 過濾器Diagnostic Filter
Filter主要配合IDE使用，從Chat中取出符合條件的診斷信息。Error Count和Disable Warnings等功能也可以通過它來完成。
5. Formatter
Formatter用于將DiagnosticItems中的信息轉(zhuǎn)換成人可讀的字符串。目前SASL只打算支持Visual Studio的格式，但是相信支持GCC的格式以更好的和Eclipse等第三方IDE集成并不困難。
在C#里面，我們可以用“We need ‘{0}’ not ‘{1}’.”這樣的方式來分離description template并延期的產(chǎn)生格式化的字符串。但是在C++中，這種做法并不容易。C的sprintf很難具有延期、漸增的綁定模板的特定，對自定義類型的字符串化的支持也不足，類型安全也比較差；而stream的話，也會(huì)面臨著將好端端的格式化字符串割裂的問題。SASL使用了boost.format，從一定程度上搞定了這兩個(gè)問題，從而像C#一樣，使用格式化字符串的功能。