C# 語言規範--2.2.1 文法標記法

來源:互聯網
上載者:User
規範

  詞法文法和句法文法用文法產生式來表示。每個文法產生式定義一個非結束符號和它可能的擴充(由非結束符或結束符組成的序列)。在文法產生式中,非結束符號顯示為斜體,而結束符號顯示為等寬字型。

  文法產生式的第一行是該產生式所定義的非結束符號的名稱,後跟一個冒號。每個後續的縮排行列出一個可能的擴充,它是以非結束符或結束符組成的序列的形式給出的。例如,產生式:

  while-statement:(while 語句:)

  while   (   boolean-expression   )   embedded-statement(while   (   布林運算式   )   嵌入語句)

  定義了一個 while 語句,它是這樣構成的:由標記 while 開始,後跟標記“(”、布林運算式、標記“)”和嵌入的語句。

  當有不止一個可能的非結束符號擴充時,列出這些可能的擴充(每個擴充單獨佔一行)。例如,產生式:

  statement-list:(語句列表:)

  statement(語句)

  statement-list   statement(語句列表   語句)

  定義一個語句列表,它或僅含有一個語句,或由一個語句列表和隨後跟著的一個語句組成。換言之,定義是遞迴的,語句列表由一個或多個語句組成。

  一個符號若以下標“可選”作其尾碼,就表明該符號是可選的。產生式:

  block:(塊:)

  {   statement-listopt   }({   語句列表可選   })

  是以下產生式的簡短形式:

  block:(塊:)

  {   }

  {   statement-list   }({   語句列表   })

  它定義了一個塊,此塊由一個用“{”和“}”標記括起來的可選語句列表組成。

  可選項通常在單獨的行上列出,但是當有許多可選項時,可以在單行上給定的擴充列表之前加上短語“下列之一”。這隻是在單獨一行上列出每個可選項的簡短形式。例如,產生式:

  real-type-suffix: one of(實數類型尾碼:下列之一)

  F f D d M m

  是以下產生式的簡短形式:

  real-type-suffix:(實數類型尾碼:)

  F
  f
  D
  d
  M
  m



相關文章

Beyond APAC's No.1 Cloud

19.6% IaaS Market Share in Asia Pacific - Gartner IT Service report, 2018

Learn more >

Apsara Conference 2019

The Rise of Data Intelligence, September 25th - 27th, Hangzhou, China

Learn more >

Alibaba Cloud Free Trial

Learn and experience the power of Alibaba Cloud with a free trial worth $300-1200 USD

Learn more >

聯繫我們

該頁面正文內容均來源於網絡整理,並不代表阿里雲官方的觀點,該頁面所提到的產品和服務也與阿里云無關,如果該頁面內容對您造成了困擾,歡迎寫郵件給我們,收到郵件我們將在5個工作日內處理。

如果您發現本社區中有涉嫌抄襲的內容,歡迎發送郵件至: info-contact@alibabacloud.com 進行舉報並提供相關證據,工作人員會在 5 個工作天內聯絡您,一經查實,本站將立刻刪除涉嫌侵權內容。