【正文】 ，所有的包含列表指定的C文件都將被裝載 ()。 作為組件或接口包含C 文件的例子，： : : incudes BarTypes。 mand resut_t bar(BarType arg1)。 } } BarType。后者的用法將報(bào)告編譯時(shí)間錯(cuò)誤.。 注意這些變化都不用于C文件( 文件能被不變的使用). // 注釋 nesC 允許C，接口類(lèi)型和組件文件中的 //注釋 。這些屬性可以放置在聲明(在聲明符之后) 或函數(shù)定義.(在叁數(shù)列表之后)上。 nesC 的屬性語(yǔ)法是： initdecaratorist: aso initdecarator attributes initdecaratorist , initdecarator attributes functiondefinition: aso decarationspecifiersopt decarator attributesdecarationistoptpoundstatement attributes: attribute attributes attribute attribute: attribute ( ( attributeist ) ) attributeist: singeattribute attributeist , singeattribute singeattribute: identifier identifier ( argumentexpressionist ) gcc不允許函數(shù)定義中參數(shù)列表后面的屬性. nesC 支持五種屬性： C：這一屬性用于在一個(gè)模塊的頂層作為C 聲明或定義 d( 它被所有其他聲明忽略). 這指明d應(yīng)該出現(xiàn)在全局范圍，而不是模塊的組件作用域。 自然的: 這一個(gè)屬性可用于任何函數(shù) f (在模塊或 C代碼中)。典型地,函數(shù)自然地被中斷源 ,和C主函數(shù)調(diào)用。 事件句柄: 這一個(gè)屬性可用于任何函數(shù) f (在模塊或 C代碼中)。這意味著f 既是自然的又是異步碼 (AC)。它指出f 是一個(gè)中斷處理函數(shù), 自動(dòng)被硬件調(diào)用，屏蔽中斷的運(yùn)行。而且，f 運(yùn)行時(shí)好像被封裝進(jìn)一個(gè)原子的陳述。聯(lián)合函數(shù)指定該如何聯(lián)合調(diào)用一指令或事件而扇出“返回的多個(gè)結(jié)果。 resut_t rbine(resut_t r1, resut_t r2) { return r1 == FAI ? FAI : r2。詳細(xì)的語(yǔ)義見(jiàn)第 節(jié)。 使用屬性的例子：在文件 中: modue ReaMain { ... } impementation { int main(int argc, char **argv) __attribute__((C, spontaneous)) { ... } } 這個(gè)例子表明主函數(shù)實(shí)際上應(yīng)該出現(xiàn)在 C全局命名空間 (C),所以連接器能找它。 編譯時(shí)間常量函數(shù) nesC有新類(lèi)型的常量表達(dá)式：常量函數(shù)。 有意使用unique是為了傳遞一個(gè)獨(dú)特的整數(shù)給參數(shù)化接口實(shí)例,以便一個(gè)組件只要提供一個(gè)參數(shù)化接口就能唯一地識(shí)別連接到那個(gè)接口的各種不同組件。 有意使用uniqueCount是為了度量數(shù)組(或其他的數(shù)據(jù)結(jié)構(gòu))，數(shù)組使用uniqueCount返回的數(shù)變址。 附錄A 語(yǔ)法 讀本語(yǔ)法時(shí)，請(qǐng)翻閱Kernighan and Ritchie (Kamp。 下列關(guān)鍵字對(duì) nesC 是新的: as, ca, mand, ponents, configuration, event, impementation, interface, modue, post, provides, signa, task, uses, incudes. 這些關(guān)鍵字在 C 文件中是不被保留的。 nesC所有的標(biāo)識(shí)符均以_nesc開(kāi)頭保留作為內(nèi)部使用。 nesC文件遵循nesC文件要求。R 的指令編譯單位 新的規(guī)則: nesCfie: incudesistopt interface incudesistopt modue incudesistopt configuration incudesist: incudes incudesist incudes incudes: incudes identifierist 。 ponentine: renamedidentifier ponentine , renamedidentifier renamedidentifier: identifier identifier as identifier connectionist: connection connectionist connection connection: endpoint = endpoint endpoint endpoint endpoint endpoint endpoint: identifierpath identifierpath [ argumentexpressionist ] identifierpath: identifier identifierpath . identifier specification: { usesprovidesist } usesprovidesist: usesprovides usesprovidesist usesprovides usesprovides: uses specificationeementist provides specificationeementist specificationeementist: specificationeement { specificationeements } specificationeements: specificationeement specificationeements specificationeement specificationeement: decaration Interface renamedidentifier parametersopt parameters: [ parametertypeist ] 改變的規(guī)則: storagecassspecifier: aso one of mand event async task norace decarationspecifiers: aso defaut decarationspecifiers directdecarator: aso identifier . identifier directdecarator parameters ( parametertypeist ) initdecaratorist: aso initdecarator attributes initdecaratorist , initdecarator attributes functiondefinition: aso decarationspecifiersopt decarator attributes decarationistopt poundstatement attributes: attribute attributes attribute attribute: _attribute_ ( ( attributeist ) ) attributeist: singeattribute attributeist , singeattribute singeattribute: identifier identifier ( argumentexpressionist ) statement: aso atomicstatement atomicstatement: atomic statement postfixexpression: repaced by primaryexpression postfixexpression [ argumentexpressionist ] cakindopt primary ( argumentexpressionistopt ) postfixexpression . identifier postfixexpression identifier postfixexpression ++ postfixexpression cakind: one of ca signa post 附錄B 詞匯 ?聯(lián)合函數(shù): 連接前一扇出中指令(或事件信號(hào))調(diào)用的多個(gè)返回結(jié)果的C函數(shù)。當(dāng)直接作為規(guī)格元素時(shí)，指令和事件有自己的角色 (提供者 , 使用者)，而且可以有接口叁數(shù)。指令或事件的接口參數(shù)可以從它的常用函數(shù)叁數(shù)中了解。 ?組件: nesC 程序的基本單位。組件有說(shuō)明和實(shí)現(xiàn)。 ?端點(diǎn): 在結(jié)構(gòu)的配線(xiàn)陳述中的特別的規(guī)格元素的說(shuō)明, 和可選地一些接口叁數(shù)值。 ?事件: 見(jiàn)指令. ?作用域: 變量的生存時(shí)間。 ?外部的: 在一個(gè)結(jié)構(gòu)C中, 描述C稱(chēng)述中的一種規(guī)格元素。 ?扇入: 描述有多個(gè)調(diào)用接口的提供指令或事件。連接函數(shù)連接調(diào)用這些使用指令或事件的返回結(jié)果。 ?接口實(shí)例: 組件說(shuō)明中，某一接口類(lèi)型的實(shí)例。沒(méi)有接口參數(shù)的接口實(shí)例是簡(jiǎn)單的接口實(shí)例，帶有參數(shù)的是參數(shù)化接口實(shí)例。參數(shù)化接口實(shí)例的每個(gè)參數(shù)清單都有（概念的）一個(gè)獨(dú)立的簡(jiǎn)單的接口實(shí)例（并且，同樣的，在參數(shù)化指令或事件的情況下，都有獨(dú)立的簡(jiǎn)單的指令或事件）。 ?接口類(lèi)型: 接口類(lèi)型陳述兩組件，提供者和使用者間的交互作用。每個(gè)接口類(lèi)型都有一個(gè)明確的名字。 ?中間函數(shù): 表現(xiàn)組件指令和行為的虛函數(shù)，由整個(gè)程序的配線(xiàn)結(jié)構(gòu)指定。見(jiàn)外部的。 ?命名空間: nesC 有標(biāo)準(zhǔn)的 C 變量（也為函數(shù)和宏使用），類(lèi)型標(biāo)識(shí)符（結(jié)構(gòu)，聯(lián)合，枚舉標(biāo)識(shí)名）和標(biāo)簽命名空間。 參數(shù)化指令，參數(shù)化事件，參數(shù)化接口實(shí)例，端點(diǎn)：見(jiàn)指令，事件，接口實(shí)例，端點(diǎn)。接口實(shí)例的提供者必須在接口中實(shí)現(xiàn)指令；提供指令和事件必須被實(shí)現(xiàn)。 K的提供事件：一個(gè)事件，它要么是K的規(guī)格元素，要么是K使用接口的事件。另外，組件中還有說(shuō)明和實(shí)現(xiàn)范圍和每一接口類(lèi)型范圍。 簡(jiǎn)單指令，簡(jiǎn)單事件，簡(jiǎn)單接口實(shí)例：見(jiàn)指令，事件，接口實(shí)例。 ?規(guī)格元素：規(guī)格中提供或使用的接口實(shí)例，指令或事件。 使用，使用者：規(guī)格元素的一種角色。 K的使用指令：一個(gè)指令，它要么是K的使用規(guī)格元素，要么是K的使用接口的指令。?配線(xiàn)：由結(jié)構(gòu)指定的組件規(guī)格元素間的連接