在實(shí)驗(yàn)了
CMinus語(yǔ)法分析器的錯(cuò)誤處理之后發(fā)現(xiàn)一個(gè)問題，
Combinator Parser返回的錯(cuò)誤是最上級(jí)的錯(cuò)誤，而不是最底層的錯(cuò)誤。譬如下面的例子：
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多了一個(gè)等于號(hào)，因此語(yǔ)法分析的時(shí)候錯(cuò)誤應(yīng)該指向這一行。但是現(xiàn)在有了Bug，變成了在第一行出錯(cuò)，因?yàn)檫@個(gè)時(shí)候一個(gè)declaration都沒被分析完！于是我想了一個(gè)辦法，就是無(wú)論有沒有有效錯(cuò)誤，我都將錯(cuò)誤以及它的位置記錄下來(lái)。如果新的錯(cuò)誤比舊的錯(cuò)誤遠(yuǎn)，那么使用新的錯(cuò)誤。支持歧義的語(yǔ)法分析器也只需要一個(gè)錯(cuò)誤，所以可以這么做。
于是現(xiàn)在
CMinus語(yǔ)法分析器終于給出了所期望的結(jié)果：
相應(yīng)的
分析器代碼也需要修改一點(diǎn)點(diǎn)地方，主要是輸出錯(cuò)誤信息的那部分：
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"遇到不可識(shí)別的記號(hào)。";
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"記號(hào)附近發(fā)生語(yǔ)法錯(cuò)誤。";
21 }
22 else
23 {
24 Error.Info.Line=-1;
25 Error.Message=L"意外的文件結(jié)束。";
26 }
27 }
posted on 2009-05-04 02:35
陳梓瀚(vczh) 閱讀(1831)
評(píng)論(1) 編輯 收藏 引用 所屬分類:
C++