在實驗了
CMinus語法分析器的錯誤處理之后發現一個問題，
Combinator Parser返回的錯誤是最上級的錯誤，而不是最底層的錯誤。譬如下面的例子：
1 void BubbleSort(int* Input , int Count)
2 {
3 int i=0;
4 while(i<Count-1)
5 {
6 int j=Count-2;
7 while(j>==i)
8 {
9 if(Input[j]>Input[j+1])
10 {
11 int Temp=Input[j];
12 Input[j]=Input[j+1];
13 Input[j+1]=Temp;
14 }
15 j-=1;
16 }
17 i+=1;
18 }
19 }
第七行的j>==1多了一個等于號，因此語法分析的時候錯誤應該指向這一行。但是現在有了Bug，變成了在第一行出錯，因為這個時候一個declaration都沒被分析完！于是我想了一個辦法，就是無論有沒有有效錯誤，我都將錯誤以及它的位置記錄下來。如果新的錯誤比舊的錯誤遠，那么使用新的錯誤。支持歧義的語法分析器也只需要一個錯誤，所以可以這么做。
于是現在
CMinus語法分析器終于給出了所期望的結果：
相應的
分析器代碼也需要修改一點點地方，主要是輸出錯誤信息的那部分：
1 try
2 {
3 VL_CpLexer::_Result LexResult=Lexer.Parse(Code.Buffer());
4 if(LexResult.Second.First)
5 {
6 Error.Info.Line=LexResult.Second.Second;
7 Error.Message=L"遇到不可識別的記號。";
8 }
9 else
10 {
11 return Parser.Parse(LexResult.First.Head).Head->Data.First;
12 }
13 }
14 catch(const VL_CpException<VL_CpTokenNodePtr>& e)
15 {
16 if(e.Input)
17 {
18 Error.Info.Line=e.Input->Data.Line;
19 Error.Info.Token=VUnicodeString(e.Input->Data.Start,e.Input->Data.Length);
20 Error.Message=L"記號附近發生語法錯誤。";
21 }
22 else
23 {
24 Error.Info.Line=-1;
25 Error.Message=L"意外的文件結束。";
26 }
27 }
posted on 2009-05-04 02:35
陳梓瀚(vczh) 閱讀(1838)
評論(1) 編輯 收藏 引用 所屬分類:
C++