【文章內(nèi)容簡介】 ID(, ...)`。` | type_specifier ID `[` NUM `]`(, ...)`。`5. type_specifier`int` | `void` | `char`, actually this step is in declaration_list()6. fun_declarationtype_specifier ID `(` params `)` pound_stmt7. paramsparam_list | `void` | empty, `void` is thought as empty8. param_listparam_list `,` param | param9. paramtype_specifier ID | type_specifier ID `[` `]`10. pound_stmt`{` loal_declarations statement_list `}` | expression_stmt11. local_declarationslocal_declarations var_declaration | var_declaration12. `read` `(` var `)` `。`13. `write` `(` expression `)` `。`14. `printf` `(` `` STRING `` `)` `。`15. expression_stmtexpression `。` | `。`16. expressionvar `=` expression | logic1_expression17. logic1_expressionlogic1_expression `||` logic2_expression | logic2_expression18. logic2_expression logic2_expression `amp。amp。` simple_expression | simple_expression19. simple_expressionadditive_expression relop additive_expression | additive_expression20. relop `=` | `` | `` | `=` | `==` | `!=`21. additive_expression additive_expression addop term | term22. addop `+` | ``23. termterm mulop logic3_expression | logic3_expression24. mulop `*` | `/` | `%`25. logic3_expression `!` logic3_expression | factor26. factor`(` expression `)` | var | call | NUM27. varID | ID `[` expression `]`28. callID `(` args `)`29. argsargs_list | empty30. args_listargs_list `,` expression | expression31. sub_poundstmtID `:` | call `。` | expression_stmt32. if_stmt`if` `(` expression `)` pound_stmt33. | `if` `(` expression `)` pound_stmt `else` pound_stmt34. while_stmt`while` `(` expression `)` pound_stmt35. for_stmt`for` `(` var `=` expression `。` expression `。` var `=` expression `)` pound_stmt36. goto_stmt`goto` ID `。`37. break_stmt`break` `。`38. continue_stmt`continue` `。`39. return_stmt`return` `。` | `return` expression `。`l 基本樹形結(jié)構(gòu)：if語句： if語句表達(dá)式語句語句while語句：while語句表達(dá)式語句表達(dá)式語句表達(dá)式for語句表達(dá)式for循環(huán)語句：復(fù)合語句：語句復(fù)合語句語句語句聲明l 支持的語句及運算：1) 數(shù)據(jù)類型：int，char void，PCode里支持float，在80x86 ASM里不支持2) 語句：賦值（=），if, while，for，return，break，continue3) 數(shù)學(xué)運算：+，－，*，/4) 關(guān)系運算：= =，，=，=，!=5) 邏輯運算：amp。amp。，||，!6) 支持函數(shù)的定義、調(diào)用7) 支持復(fù)合語句8) 注釋語句：C類型的 /* */ 和C++類型的 //：這里首先介紹兩個輔助類：l Class LineListRec：主要成員是lineno，用于記錄某個Token（變量或函數(shù)名）聲明或使用時的行數(shù)，當(dāng)程序檢測出錯誤時通過lineno可以獲取到發(fā)生錯誤的變量名函數(shù)名以及行號。l Class BucketListRec：主要成員變量與作用如下表：數(shù)據(jù)類型變量名含義CStringname變量名CStringscope函數(shù)域enum TokenTypetypeToken類型intmemloc變量內(nèi)存地址BOOLbArray是否正在檢查LineListRec*lineno行號BucketListRec*next鏈表中的下一項表2 BucketListRec成員變量含義表 BucketListRec類是用于語法分析的一個重要輔助類，它記錄每一個變量或函數(shù)名的具體情況。一旦發(fā)生變量或函數(shù)使用錯誤，變量函數(shù)作用域的越界錯誤等BucketListRec就能夠輕松的檢測到，并返回錯誤類型與行號。符號表的建立也是由兩個主要類來實現(xiàn)的。l Class CSymbolTable： CsymbolTable類的主要作用為：把Class BucketListRec類的對象通過hash函數(shù)找到位置后插入。它包含一個主要的成員變量：BucketListRec* hashTable[SIZE]另外在CsymbolTable類中還有一個重要的函數(shù)PrintSynbalTable（LPCTSTR lpszPathName），參數(shù)lpszPathName輸入文件名，PrintSynbalTable實現(xiàn)通過一個遞歸函數(shù)輸出符號表到文件lpszPathName。l Class CFunArgsCheck：CfunArgsCheck類的作用為：插入函數(shù)參數(shù)的類型，以備在下一個步驟中做匹配檢測。：類型檢測的功能是由Class Canalyzer來完成的，Canalyzer包括兩個部分：l 類型匹配：函數(shù)或變量聲明時檢測是否已聲明，如已聲明則拋出錯誤；函數(shù)調(diào)用或變量使用時檢測是否已聲明，如未聲明則拋出錯誤。l 函數(shù)調(diào)用參數(shù)檢測：檢測函數(shù)調(diào)用時傳入?yún)?shù)的類型與函數(shù)聲明時參數(shù)的類型是否匹配。 考試成績的入庫考試成績的入庫，主要分為以下三個部分：分?jǐn)?shù)的得出、根據(jù)分?jǐn)?shù)書寫評語、獲取題目對應(yīng)的分?jǐn)?shù)、評語并添加到數(shù)據(jù)庫中。另外為了方便用戶查看，還增加了一個查看程序的功能。在評分系統(tǒng)中分?jǐn)?shù)的得出是最為重要的部分，但不是最核心的部分。在本系統(tǒng)中評分的依據(jù)為C語言源程序解析的結(jié)果。由本文的第三部分可以看出，解析是一個復(fù)雜的過程，可能出現(xiàn)的錯誤也是多樣化的。分?jǐn)?shù)必須作為一個全局變量貫穿整個程序。因此實現(xiàn)時在系統(tǒng)的主線程文件: CCProgrammeExaminationGradeSystemApp中增加一個整形的全局變量：int score，初始化為100分。在分一處發(fā)生錯誤需要打分時，加入以下代碼改變其分?jǐn)?shù)的值。CODE:extern CCProgrammeExaminationGradeSystemApp theApp。case kFunDec: if( ( tszName, tszScope ) == 1 ) { // not defined, so add it to the symbol table ( tszName, tszScope, ttype, tlineno, location++ )。 // add it to function declaration list ( t )。 } else{ // redefinition函數(shù)重定義 =。 OutputErrMsg( error in line %d: function 39。%s()39。 redefinition, tlineno, (LPCTSTR)tszName )。 }…………………….以上為函數(shù)發(fā)生重定義時的扣分情況。系統(tǒng)按照解析的順序依次扣分，在解析完成之后即得出考試的最終成績。 在得到考試分?jǐn)?shù)后，往往需要對考試成績進(jìn)行一個簡單的數(shù)據(jù)分析。評語的書寫即完成這個數(shù)據(jù)分析的功能，使整個系統(tǒng)更加合理，體現(xiàn)出人性化設(shè)計。 評語的書寫是根據(jù)成績而來，因此設(shè)計函數(shù)Cstring ment(int score)來實現(xiàn)這個功能。改函數(shù)輸入評分成績，即返回對應(yīng)的評語。實現(xiàn)代碼如下： CString CCProgrammeExaminationGradeSystemDoc::ment(int score){ CString PY。 if (score==100) PY = 非常不錯，請再接再厲！。 if (score100 amp。amp。 score=90 ){ PY = 程序中有少許錯誤，請務(wù)必注意程序的細(xì)節(jié)。 } if (score90 amp。amp。 score=80) { PY = 程序基本上是正確的，請注意C語言的語法。 } if (score70 amp。amp。 score=60) { PY = 程序中出現(xiàn)了較多的問題，但仍能保持程序的結(jié)構(gòu)。希望以后努力改進(jìn)。 } if (score60) { PY = 你的程序評分為不及格，請認(rèn)真檢查存在問題并加以改正。 } return PY。 }這個部分的功能大致可以分為兩點：對應(yīng)數(shù)據(jù)的獲取和數(shù)據(jù)庫的插入操作。l 對應(yīng)數(shù)據(jù)的獲取：分?jǐn)?shù)的獲取,，在程序結(jié)束部分直接讀取其值。 評語的獲取， ment(int score)獲取對應(yīng)的評語 C語言源程序題目的獲取，在本系統(tǒng)采用的典型的MFC的DV結(jié)構(gòu)中，可以通過GetTitle()函數(shù)直接獲取題目的名稱l 數(shù)據(jù)庫的插入：有關(guān)數(shù)據(jù)實現(xiàn)類的介紹在本文的第二章中已有講到，具體插入實現(xiàn)代碼如下CODE:CString strSQL。 (insert into 成績表 values(39。%s39。,39。%d39。,39。%s39。),fileName,strpy)。 (strSQL)。 評分成績的查看界面上圖為評分成績的查看界面，用列表的方式將數(shù)據(jù)庫中的題目對應(yīng)的分?jǐn)?shù)與評語現(xiàn)實給用戶。具體實現(xiàn)方式如下：l 采用VC控件ListCtrl，將其風(fēng)格對應(yīng)的View設(shè)置為：Report。為其添加成員變量m_list。l 添加函數(shù)show(_RecordsetPtr rst)，從數(shù)據(jù)庫中檢索所有信息，并在列表中現(xiàn)實CODE:show(_RecordsetPtr rst){ CString CellText。 CString FieldName。 int nCount = ()。 //列數(shù)； int nRecordCount=0。//記錄數(shù)； ()。 rstMoveFirst()。 while(!rstadoEOF) { (nCount,_T())。//添加行 rstMoveNext()。 nRecordCount++。 } for(int n=0。 n nRecordCount。 n++) { rstMoveFirst()。 rstMove(n)。 for(int i=0。 i rstGetFields()GetCount()。 i++) { CellText=(char*)(_bstr_t)rstGetFields()GetItem((long)i)Value。 ()。 ()。 (n,i,CellText)。 } }l 在初始化對話框時初始化列表屬性并調(diào)用顯示函數(shù)，完成顯示功能CODE: (0L,LVS_SHOWSELALWAYS)。 //高亮顯示被選中項 (LVS_EX_FULLROWSELECT| //允許整行選中 LVS_EX_HEADERDRAGDROP| //允許整列拖動 LVS_EX_GRIDLINES| //畫出網(wǎng)格線 LVS_EX_ONECLICKACTIVATE| //單擊選中項 LVS_EX_FLATSB)。 //從成員詳細(xì)表