機關(guān)局域網(wǎng)網(wǎng)站建設(shè),wordpress單號管理,wordpress在線課程主題,西寧網(wǎng)站建設(shè)學(xué)校Swerve詳細(xì)設(shè)計解析 1. IETF_Line和IETF_Part模塊 1.1 功能概述 IETF_Line模塊的主要功能是依據(jù)HTTP請求的語法規(guī)則，將字符串拆分為標(biāo)記（tokens）和特殊字符。拆分后的結(jié)果是一個由IETF_Part模塊中定義的Part類型元素組成的列表。 1.2 Part類型定義 datatype Part =Tok…Swerve詳細(xì)設(shè)計解析1. IETF_Line和IETF_Part模塊1.1 功能概述IETF_Line模塊的主要功能是依據(jù)HTTP請求的語法規(guī)則，將字符串拆分為標(biāo)記（tokens）和特殊字符。拆分后的結(jié)果是一個由IETF_Part模塊中定義的Part類型元素組成的列表。1.2 Part類型定義datatype Part = Token of string (* including quoted strings *) | TSpec of char | TWh of string (* the white space *) | TBad of char (* invalid character *) | TEOF1.3 詞法分析器（Lexer）為了識別標(biāo)記和特殊字符，使用了ML-Lex工具生成的詞法分析器。ML-Lex類似于C語言的標(biāo)準(zhǔn)Unix lex工具，用戶需要提供各種部分的正則表達(dá)式規(guī)范，它會為這些表達(dá)式構(gòu)建詞法分析器。以下是ietf.lex文件中的規(guī)范主體：%structure IETFLex %full ctl=[00-31127]; ws=[ ]; tokn=[!#$%’*+.0-9A-Z^_‘a(chǎn)-z|~h-]; str=[^00-31127"]; %% {ws}+ = (TWh yytext); {tokn}+ = (Token yytext); "{str}