whitespace → whitespace-item­whitespace­_opt­

whitespace-item → line-break­

whitespace-item → comment­

whitespace-item → multiline-comment­

whitespace-item → U+0000, U+0009, U+000B, U+000C, or U+0020

line-break → U+000A

line-break → U+000D

line-break → U+000D followed by U+000A   U+000D に続けて U+000A

comment → //­comment-text­line-break­

multiline-comment → /*­multiline-comment-text­*/­

comment-text → comment-text-item­comment-text­_opt­

comment-text-item → Any Unicode scalar value except U+000A or U+000D   任意のユニコードスカラー値、 しかし U+000A または U+000D を除く

multiline-comment-text → multiline-comment-text-item­multiline-comment-text­_opt­

multiline-comment-text-item → multiline-comment­

multiline-comment-text-item → comment-text-item­

multiline-comment-text-item → Any Unicode scalar value except /*­ or */­
任意のユニコードスカラー値、 しかし/*­ または */­ を除く

identifier → identifier-head­identifier-characters­_opt­

identifier → `­identifier-head­identifier-characters­_opt­`­

identifier → implicit-parameter-name­

identifier-list → identifier­ identifier­,­identifier-list­

identifier-head → Upper- or lowercase letter A through Z   大文字または小文字のAからZ

identifier-head → _­

identifier-head → U+00A8, U+00AA, U+00AD, U+00AF, U+00B2–U+00B5, or U+00B7–U+00BA

identifier-head → U+00BC–U+00BE, U+00C0–U+00D6, U+00D8–U+00F6, or U+00F8–U+00FF

identifier-head → U+0100–U+02FF, U+0370–U+167F, U+1681–U+180D, or U+180F–U+1DBF

identifier-head → U+1E00–U+1FFF

identifier-head → U+200B–U+200D, U+202A–U+202E, U+203F–U+2040, U+2054, or U+2060–U+206F

identifier-head → U+2070–U+20CF, U+2100–U+218F, U+2460–U+24FF, or U+2776–U+2793

identifier-head → U+2C00–U+2DFF or U+2E80–U+2FFF

identifier-head → U+3004–U+3007, U+3021–U+302F, U+3031–U+303F, or U+3040–U+D7FF

identifier-head → U+F900–U+FD3D, U+FD40–U+FDCF, U+FDF0–U+FE1F, or U+FE30–U+FE44

identifier-head → U+FE47–U+FFFD

identifier-head → U+10000–U+1FFFD, U+20000–U+2FFFD, U+30000–U+3FFFD, or U+40000–U+4FFFD

identifier-head → U+50000–U+5FFFD, U+60000–U+6FFFD, U+70000–U+7FFFD, or U+80000–U+8FFFD

identifier-head → U+90000–U+9FFFD, U+A0000–U+AFFFD, U+B0000–U+BFFFD, or U+C0000–U+CFFFD

identifier-head → U+D0000–U+DFFFD or U+E0000–U+EFFFD

identifier-character → Digit 0 through 9   アラビア数字の0から9

identifier-character → U+0300–U+036F, U+1DC0–U+1DFF, U+20D0–U+20FF, or U+FE20–U+FE2F

identifier-character → identifier-head­

identifier-characters → identifier-character­identifier-characters­_opt­

implicit-parameter-name → $­decimal-digits­

literal → numeric-literal­ string-literal­ boolean-literal­ nil-literal­

numeric-literal → -­_opt­integer-literal­ -­_opt­floating-point-literal­

boolean-literal → true­ false­

nil-literal → nil­

integer-literal → binary-literal­

integer-literal → octal-literal­

integer-literal → decimal-literal­

integer-literal → hexadecimal-literal­

binary-literal → 0b­binary-digit­binary-literal-characters­_opt­

binary-digit → Digit 0 or 1   アラビア数字の0または1

binary-literal-character → binary-digit­ _­

binary-literal-characters → binary-literal-character­binary-literal-characters­_opt­

octal-literal → 0o­octal-digit­octal-literal-characters­_opt­

octal-digit → Digit 0 through 7   アラビア数字の0から7

octal-literal-character → octal-digit­ _­

octal-literal-characters → octal-literal-character­octal-literal-characters­_opt­

decimal-literal → decimal-digit­decimal-literal-characters­_opt­

decimal-digit → Digit 0 through 9   アラビア数字の0から9

decimal-digits → decimal-digit­decimal-digits­_opt­

decimal-literal-character → decimal-digit­ _­

decimal-literal-characters → decimal-literal-character­decimal-literal-characters­_opt­

hexadecimal-literal → 0x­hexadecimal-digit­hexadecimal-literal-characters­_opt­

hexadecimal-digit → Digit 0 through 9, a through f, or A through F   アラビア数字の0から9、aからf、またはAからF

hexadecimal-literal-character → hexadecimal-digit­ _­

hexadecimal-literal-characters → hexadecimal-literal-character­hexadecimal-literal-characters­_opt­

floating-point-literal → decimal-literal­decimal-fraction­_opt­decimal-exponent­_opt­

floating-point-literal → hexadecimal-literal­hexadecimal-fraction­_opt­hexadecimal-exponent­

decimal-fraction → .­decimal-literal­

decimal-exponent → floating-point-e­sign­_opt­decimal-literal­

hexadecimal-fraction → .­hexadecimal-digit­hexadecimal-literal-characters­_opt­

hexadecimal-exponent → floating-point-p­sign­_opt­decimal-literal­

floating-point-e → e­ E­

floating-point-p → p­ P­

sign → +­ -­

string-literal → static-string-literal­ interpolated-string-literal­

static-string-literal → "­quoted-text­_opt­"­

static-string-literal → """­multiline-quoted-text­_opt­"""­

quoted-text → quoted-text-item­quoted-text­_opt­

quoted-text-item → escaped-character­

quoted-text-item → Any Unicode scalar value except "­, \­, U+000A, or U+000D
何らかのユニコードスカラー値、しかし", \、U+000A、またはU+000Dを除く

multiline-quoted-text → multiline-quoted-text-item­multiline-quoted-text­_opt­

multiline-quoted-text-item → escaped-character­

multiline-quoted-text-item → Any Unicode scalar value except \­
任意のユニコードスカラー値、しかし\­を除く

multiline-quoted-text-item → escaped-newline­

interpolated-string-literal → "­interpolated-text­_opt­"­

interpolated-string-literal → """­multiline-interpolated-text­_opt­"""­

interpolated-text → interpolated-text-item­interpolated-text­_opt­

interpolated-text-item → \(­expression­)­ quoted-text-item­

multiline-interpolated-text → multiline-interpolated-text-item­multiline-interpolated-text­_opt­

multiline-interpolated-text-item → \(­expression­)­ multiline-quoted-text-item­

escaped-character → \0­ \\­ \t­ \n­ \r­ \"­ \'­

escaped-character → \u­{­unicode-scalar-digits­}­

unicode-scalar-digits → Between one and eight hexadecimal digits   １から８桁の16進数

escaped-newline → \­whitespace­_opt­line-break­

operator → operator-head­operator-characters­_opt­

operator → dot-operator-head­dot-operator-characters­

operator-head → /­ =­ -­ +­ !­ *­ %­ <­ >­ &­ |­ ^­ ~­ ?­

operator-head → U+00A1–U+00A7

operator-head → U+00A9 or U+00AB

operator-head → U+00AC or U+00AE

operator-head → U+00B0–U+00B1, U+00B6, U+00BB, U+00BF, U+00D7, or U+00F7

operator-head → U+2016–U+2017 or U+2020–U+2027

operator-head → U+2030–U+203E

operator-head → U+2041–U+2053

operator-head → U+2055–U+205E

operator-head → U+2190–U+23FF

operator-head → U+2500–U+2775

operator-head → U+2794–U+2BFF

operator-head → U+2E00–U+2E7F

operator-head → U+3001–U+3003

operator-head → U+3008–U+3030

operator-character → operator-head­

operator-character → U+0300–U+036F

operator-character → U+1DC0–U+1DFF

operator-character → U+20D0–U+20FF

operator-character → U+FE00–U+FE0F

operator-character → U+FE20–U+FE2F

operator-character → U+E0100–U+E01EF

operator-characters → operator-character­operator-characters­_opt­

dot-operator-head → .­

dot-operator-character → .­ operator-character­

dot-operator-characters → dot-operator-character­dot-operator-characters­_opt­

binary-operator → operator­

prefix-operator → operator­

postfix-operator → operator­

type → array-type­

type → dictionary-type­

type → function-type­

type → type-identifier­

type → tuple-type­

type → optional-type­

type → implicitly-unwrapped-optional-type­

type → protocol-composition-type­

type → metatype-type­

type → Any­

type → Self­

type → (­type­)­

type-annotation → :­attributes­_opt­inout­_opt­type­

type-identifier → type-name­generic-argument-clause­_opt­ type-name­generic-argument-clause­_opt­.­type-identifier­

type-name → identifier­

tuple-type → (­)­ (­tuple-type-element­,­tuple-type-element-list­)­

tuple-type-element-list → tuple-type-element­ tuple-type-element­,­tuple-type-element-list­

tuple-type-element → element-name­type-annotation­ type­

element-name → identifier­

function-type → attributes­_opt­function-type-argument-clause­throws­_opt­->­type­

function-type → attributes­_opt­function-type-argument-clause­rethrows­->­type­

function-type-argument-clause → (­)­

function-type-argument-clause → (­function-type-argument-list­...­_opt­)­

function-type-argument-list → function-type-argument­ function-type-argument­,­function-type-argument-list­

function-type-argument → attributes­_opt­inout­_opt­type­ argument-label­type-annotation­

argument-label → identifier­

array-type → [­type­]­

dictionary-type → [­type­:­type­]­

optional-type → type­?­

implicitly-unwrapped-optional-type → type­!­

protocol-composition-type → type-identifier­&­protocol-composition-continuation­

protocol-composition-continuation → type-identifier­ protocol-composition-type­

metatype-type → type­.­Type­ type­.­Protocol­

type-inheritance-clause → :­type-inheritance-list­

type-inheritance-list → type-identifier­ type-identifier­,­type-inheritance-list­

expression → try-operator­_opt­prefix-expression­binary-expressions­_opt­

expression-list → expression­ expression­,­expression-list­

prefix-expression → prefix-operator­_opt­postfix-expression­

prefix-expression → in-out-expression­

in-out-expression → &­identifier­

try-operator → try­ try­?­ try­!­

binary-expression → binary-operator­prefix-expression­

binary-expression → assignment-operator­try-operator­_opt­prefix-expression­

binary-expression → conditional-operator­try-operator­_opt­prefix-expression­

binary-expression → type-casting-operator­

binary-expressions → binary-expression­binary-expressions­_opt­

assignment-operator → =­

conditional-operator → ?­expression­:­

type-casting-operator → is­type­

type-casting-operator → as­type­

type-casting-operator → as­?­type­

type-casting-operator → as­!­type­

primary-expression → identifier­generic-argument-clause­_opt­

primary-expression → literal-expression­

primary-expression → self-expression­

primary-expression → superclass-expression­

primary-expression → closure-expression­

primary-expression → parenthesized-expression­

primary-expression → tuple-expression­

primary-expression → implicit-member-expression­

primary-expression → wildcard-expression­

primary-expression → key-path-expression­

primary-expression → selector-expression­

primary-expression → key-path-string-expression­

literal-expression → literal­

literal-expression → array-literal­ dictionary-literal­ playground-literal­

literal-expression → #file­ #line­ #column­ #function­

array-literal → [­array-literal-items­_opt­]­

array-literal-items → array-literal-item­,­_opt­ array-literal-item­,­array-literal-items­

array-literal-item → expression­

dictionary-literal → [­dictionary-literal-items­]­ [­:­]­

dictionary-literal-items → dictionary-literal-item­,­_opt­ dictionary-literal-item­,­dictionary-literal-items­

dictionary-literal-item → expression­:­expression­

playground-literal → #colorLiteral­(­red­:­expression­,­green­:­expression­,­blue­:­expression­,­alpha­:­expression­)­

playground-literal → #fileLiteral­(­resourceName­:­expression­)­

playground-literal → #imageLiteral­(­resourceName­:­expression­)­

self-expression → self­ self-method-expression­ self-subscript-expression­ self-initializer-expression­

self-method-expression → self­.­identifier­

self-subscript-expression → self­[­function-call-argument-list­]­

self-initializer-expression → self­.­init­

superclass-expression → superclass-method-expression­ superclass-subscript-expression­ superclass-initializer-expression­

superclass-method-expression → super­.­identifier­

superclass-subscript-expression → super­[­function-call-argument-list­]­

superclass-initializer-expression → super­.­init­

closure-expression → {­closure-signature­_opt­statements­_opt­}­

closure-signature → capture-list­_opt­closure-parameter-clause­throws­_opt­function-result­_opt­in­

closure-signature → capture-list­in­

closure-parameter-clause → (­)­ (­closure-parameter-list­)­ identifier-list­

closure-parameter-list → closure-parameter­ closure-parameter­,­closure-parameter-list­

closure-parameter → closure-parameter-name­type-annotation­_opt­

closure-parameter → closure-parameter-name­type-annotation­...­

closure-parameter-name → identifier­

capture-list → [­capture-list-items­]­

capture-list-items → capture-list-item­ capture-list-item­,­capture-list-items­

capture-list-item → capture-specifier­_opt­expression­

capture-specifier → weak­ unowned­ unowned(safe)­ unowned(unsafe)­

implicit-member-expression → .­identifier­

parenthesized-expression → (­expression­)­

tuple-expression → (­)­ (­tuple-element­,­tuple-element-list­)­

tuple-element-list → tuple-element­ tuple-element­,­tuple-element-list­

tuple-element → expression­ identifier­:­expression­

wildcard-expression → _­

key-path-expression → \­type­_opt­.­key-path-components­

key-path-components → key-path-component­ key-path-component­.­key-path-components­

key-path-component → identifier­key-path-postfixes­_opt­ key-path-postfixes­

key-path-postfixes → key-path-postfix­key-path-postfixes­_opt­

key-path-postfix → ?­ !­ [­function-call-argument-list­]­

selector-expression → #selector­(­expression­)­

selector-expression → #selector­(­getter:­expression­)­

selector-expression → #selector­(­setter:­expression­)­

key-path-string-expression → #keyPath­(­expression­)­

postfix-expression → primary-expression­

postfix-expression → postfix-expression­postfix-operator­

postfix-expression → function-call-expression­

postfix-expression → initializer-expression­

postfix-expression → explicit-member-expression­

postfix-expression → postfix-self-expression­

postfix-expression → subscript-expression­

postfix-expression → forced-value-expression­

postfix-expression → optional-chaining-expression­

function-call-expression → postfix-expression­function-call-argument-clause­

function-call-expression → postfix-expression­function-call-argument-clause­_opt­trailing-closure­

function-call-argument-clause → (­)­ (­function-call-argument-list­)­

function-call-argument-list → function-call-argument­ function-call-argument­,­function-call-argument-list­

function-call-argument → expression­ identifier­:­expression­

function-call-argument → operator­ identifier­:­operator­

trailing-closure → closure-expression­

initializer-expression → postfix-expression­.­init­

initializer-expression → postfix-expression­.­init­(­argument-names­)­

explicit-member-expression → postfix-expression­.­decimal-digits­

explicit-member-expression → postfix-expression­.­identifier­generic-argument-clause­_opt­

explicit-member-expression → postfix-expression­.­identifier­(­argument-names­)­

argument-names → argument-name­argument-names­_opt­

argument-name → identifier­:­

postfix-self-expression → postfix-expression­.­self­

subscript-expression → postfix-expression­[­function-call-argument-list­]­

forced-value-expression → postfix-expression­!­

optional-chaining-expression → postfix-expression­?­

statement → expression­;­_opt­

statement → declaration­;­_opt­

statement → loop-statement­;­_opt­

statement → branch-statement­;­_opt­

statement → labeled-statement­;­_opt­

statement → control-transfer-statement­;­_opt­

statement → defer-statement­;­_opt­

statement → do-statement­;­_opt­

statement → compiler-control-statement­

statements → statement­statements­_opt­

loop-statement → for-in-statement­

loop-statement → while-statement­

loop-statement → repeat-while-statement­

for-in-statement → for­case­_opt­pattern­in­expression­where-clause­_opt­code-block­

while-statement → while­condition-list­code-block­

condition-list → condition­ condition­,­condition-list­

condition → expression­ availability-condition­ case-condition­ optional-binding-condition­

case-condition → case­pattern­initializer­

optional-binding-condition → let­pattern­initializer­ var­pattern­initializer­

repeat-while-statement → repeat­code-block­while­expression­

branch-statement → if-statement­

branch-statement → guard-statement­

branch-statement → switch-statement­

if-statement → if­condition-list­code-block­else-clause­_opt­

else-clause → else­code-block­ else­if-statement­

guard-statement → guard­condition-list­else­code-block­

switch-statement → switch­expression­{­switch-cases­_opt­}­

switch-cases → switch-case­switch-cases­_opt­

switch-case → case-label­statements­ default-label­statements­

case-label → case­case-item-list­:­

case-item-list → pattern­where-clause­_opt­ pattern­where-clause­_opt­,­case-item-list­

default-label → default­:­

where-clause → where­where-expression­

where-expression → expression­

labeled-statement → statement-label­loop-statement­

labeled-statement → statement-label­if-statement­

labeled-statement → statement-label­switch-statement­

labeled-statement → statement-label­do-statement­

statement-label → label-name­:­

label-name → identifier­

control-transfer-statement → break-statement­

control-transfer-statement → continue-statement­

control-transfer-statement → fallthrough-statement­

control-transfer-statement → return-statement­

control-transfer-statement → throw-statement­

break-statement → break­label-name­_opt­

continue-statement → continue­label-name­_opt­

fallthrough-statement → fallthrough­

return-statement → return­expression­_opt­

throw-statement → throw­expression­

defer-statement → defer­code-block­

do-statement → do­code-block­catch-clauses­_opt­

catch-clauses → catch-clause­catch-clauses­_opt­

catch-clause → catch­pattern­_opt­where-clause­_opt­code-block­

compiler-control-statement → conditional-compilation-block­

compiler-control-statement → line-control-statement­

conditional-compilation-block → if-directive-clause­elseif-directive-clauses­_opt­else-directive-clause­_opt­endif-directive­

if-directive-clause → if-directive­compilation-condition­statements­_opt­

elseif-directive-clauses → elseif-directive-clause­elseif-directive-clauses­_opt­

elseif-directive-clause → elseif-directive­compilation-condition­statements­_opt­

else-directive-clause → else-directive­statements­_opt­

if-directive → #if­

elseif-directive → #elseif­

else-directive → #else­

endif-directive → #endif­

compilation-condition → platform-condition­

compilation-condition → identifier­

compilation-condition → boolean-literal­

compilation-condition → (­compilation-condition­)­

compilation-condition → !­compilation-condition­

compilation-condition → compilation-condition­&&­compilation-condition­

compilation-condition → compilation-condition­||­compilation-condition­

platform-condition → os­(­operating-system­)­

platform-condition → arch­(­architecture­)­

platform-condition → swift­(­>=­swift-version­)­

platform-condition → canImport­(­module-name­)­

platform-condition → targetEnvironment­(­environment­)­

operating-system → macOS­ iOS­ watchOS­ tvOS­

architecture → i386­ x86_64­ arm­ arm64­

swift-version → decimal-digits­swift-version-continuation­_opt­

swift-version-continuation → .­decimal-digits­swift-version-continuation­_opt­

module-name → identifier­

environment → simulator­

line-control-statement → #sourceLocation­(­file:­file-name­,­line:­line-number­)­

line-control-statement → #sourceLocation­(­)­

line-number → A decimal integer greater than zero   ０より大きい10進法整数

file-name → static-string-literal­

availability-condition → #available­(­availability-arguments­)­

availability-arguments → availability-argument­ availability-argument­,­availability-arguments­

availability-argument → platform-name­platform-version­

availability-argument → *­

platform-name → iOS­ iOSApplicationExtension­

platform-name → macOS­ macOSApplicationExtension­

platform-name → watchOS­

platform-name → tvOS­

platform-version → decimal-digits­

platform-version → decimal-digits­.­decimal-digits­

platform-version → decimal-digits­.­decimal-digits­.­decimal-digits­

declaration → import-declaration­

declaration → constant-declaration­

declaration → variable-declaration­

declaration → typealias-declaration­

declaration → function-declaration­

declaration → enum-declaration­

declaration → struct-declaration­

declaration → class-declaration­

declaration → protocol-declaration­

declaration → initializer-declaration­

declaration → deinitializer-declaration­

declaration → extension-declaration­

declaration → subscript-declaration­

declaration → operator-declaration­

declaration → precedence-group-declaration­

declarations → declaration­declarations­_opt­

top-level-declaration → statements­_opt­

code-block → {­statements­_opt­}­

import-declaration → attributes­_opt­import­import-kind­_opt­import-path­

import-kind → typealias­ struct­ class­ enum­ protocol­ let­ var­ func­

import-path → import-path-identifier­ import-path-identifier­.­import-path­

import-path-identifier → identifier­ operator­

constant-declaration → attributes­_opt­declaration-modifiers­_opt­let­pattern-initializer-list­

pattern-initializer-list → pattern-initializer­ pattern-initializer­,­pattern-initializer-list­

pattern-initializer → pattern­initializer­_opt­

initializer → =­expression­

variable-declaration → variable-declaration-head­pattern-initializer-list­

variable-declaration → variable-declaration-head­variable-name­type-annotation­code-block­

variable-declaration → variable-declaration-head­variable-name­type-annotation­getter-setter-block­

variable-declaration → variable-declaration-head­variable-name­type-annotation­getter-setter-keyword-block­

variable-declaration → variable-declaration-head­variable-name­initializer­willSet-didSet-block­

variable-declaration → variable-declaration-head­variable-name­type-annotation­initializer­_opt­willSet-didSet-block­

variable-declaration-head → attributes­_opt­declaration-modifiers­_opt­var­

variable-name → identifier­

getter-setter-block → code-block­

getter-setter-block → {­getter-clause­setter-clause­_opt­}­

getter-setter-block → {­setter-clause­getter-clause­}­

getter-clause → attributes­_opt­mutation-modifier­_opt­get­code-block­

setter-clause → attributes­_opt­mutation-modifier­_opt­set­setter-name­_opt­code-block­

setter-name → (­identifier­)­

getter-setter-keyword-block → {­getter-keyword-clause­setter-keyword-clause­_opt­}­

getter-setter-keyword-block → {­setter-keyword-clause­getter-keyword-clause­}­

getter-keyword-clause → attributes­_opt­mutation-modifier­_opt­get­

setter-keyword-clause → attributes­_opt­mutation-modifier­_opt­set­

willSet-didSet-block → {­willSet-clause­didSet-clause­_opt­}­

willSet-didSet-block → {­didSet-clause­willSet-clause­_opt­}­

willSet-clause → attributes­_opt­willSet­setter-name­_opt­code-block­

didSet-clause → attributes­_opt­didSet­setter-name­_opt­code-block­

typealias-declaration → attributes­_opt­access-level-modifier­_opt­typealias­typealias-name­generic-parameter-clause­_opt­typealias-assignment­

typealias-name → identifier­

typealias-assignment → =­type­

function-declaration → function-head­function-name­generic-parameter-clause­_opt­function-signature­generic-where-clause­_opt­function-body­_opt­

function-head → attributes­_opt­declaration-modifiers­_opt­func­

function-name → identifier­ operator­

function-signature → parameter-clause­throws­_opt­function-result­_opt­

function-signature → parameter-clause­rethrows­function-result­_opt­

function-result → ->­attributes­_opt­type­

function-body → code-block­

parameter-clause → (­)­ (­parameter-list­)­

parameter-list → parameter­ parameter­,­parameter-list­

parameter → external-parameter-name­_opt­local-parameter-name­type-annotation­default-argument-clause­_opt­

parameter → external-parameter-name­_opt­local-parameter-name­type-annotation­

parameter → external-parameter-name­_opt­local-parameter-name­type-annotation­...­

external-parameter-name → identifier­

local-parameter-name → identifier­

default-argument-clause → =­expression­

enum-declaration → attributes­_opt­access-level-modifier­_opt­union-style-enum­

enum-declaration → attributes­_opt­access-level-modifier­_opt­raw-value-style-enum­

union-style-enum → indirect­_opt­enum­enum-name­generic-parameter-clause­_opt­type-inheritance-clause­_opt­generic-where-clause­_opt­{­union-style-enum-members­_opt­}­

union-style-enum-members → union-style-enum-member­union-style-enum-members­_opt­

union-style-enum-member → declaration­ union-style-enum-case-clause­ compiler-control-statement­

union-style-enum-case-clause → attributes­_opt­indirect­_opt­case­union-style-enum-case-list­

union-style-enum-case-list → union-style-enum-case­ union-style-enum-case­,­union-style-enum-case-list­

union-style-enum-case → enum-case-name­tuple-type­_opt­

enum-name → identifier­

enum-case-name → identifier­

raw-value-style-enum → enum­enum-name­generic-parameter-clause­_opt­type-inheritance-clause­generic-where-clause­_opt­{­raw-value-style-enum-members­}­

raw-value-style-enum-members → raw-value-style-enum-member­raw-value-style-enum-members­_opt­

raw-value-style-enum-member → declaration­ raw-value-style-enum-case-clause­ compiler-control-statement­

raw-value-style-enum-case-clause → attributes­_opt­case­raw-value-style-enum-case-list­

raw-value-style-enum-case-list → raw-value-style-enum-case­ raw-value-style-enum-case­,­raw-value-style-enum-case-list­

raw-value-style-enum-case → enum-case-name­raw-value-assignment­_opt­

raw-value-assignment → =­raw-value-literal­

raw-value-literal → numeric-literal­ static-string-literal­ boolean-literal­

struct-declaration → attributes­_opt­access-level-modifier­_opt­struct­struct-name­generic-parameter-clause­_opt­type-inheritance-clause­_opt­generic-where-clause­_opt­struct-body­

struct-name → identifier­

struct-body → {­struct-members­_opt­}­

struct-members → struct-member­struct-members­_opt­

struct-member → declaration­ compiler-control-statement­

class-declaration → attributes­_opt­access-level-modifier­_opt­final­_opt­class­class-name­generic-parameter-clause­_opt­type-inheritance-clause­_opt­generic-where-clause­_opt­class-body­

class-declaration → attributes­_opt­final­access-level-modifier­_opt­class­class-name­generic-parameter-clause­_opt­type-inheritance-clause­_opt­generic-where-clause­_opt­class-body­

class-name → identifier­

class-body → {­class-members­_opt­}­

class-members → class-member­class-members­_opt­

class-member → declaration­ compiler-control-statement­

protocol-declaration → attributes­_opt­access-level-modifier­_opt­protocol­protocol-name­type-inheritance-clause­_opt­generic-where-clause­_opt­protocol-body­

protocol-name → identifier­

protocol-body → {­protocol-members­_opt­}­

protocol-members → protocol-member­protocol-members­_opt­

protocol-member → protocol-member-declaration­ compiler-control-statement­

protocol-member-declaration → protocol-property-declaration­

protocol-member-declaration → protocol-method-declaration­

protocol-member-declaration → protocol-initializer-declaration­

protocol-member-declaration → protocol-subscript-declaration­

protocol-member-declaration → protocol-associated-type-declaration­

protocol-member-declaration → typealias-declaration­

protocol-property-declaration → variable-declaration-head­variable-name­type-annotation­getter-setter-keyword-block­

protocol-method-declaration → function-head­function-name­generic-parameter-clause­_opt­function-signature­generic-where-clause­_opt­

protocol-initializer-declaration → initializer-head­generic-parameter-clause­_opt­parameter-clause­throws­_opt­generic-where-clause­_opt­

protocol-initializer-declaration → initializer-head­generic-parameter-clause­_opt­parameter-clause­rethrows­generic-where-clause­_opt­

protocol-subscript-declaration → subscript-head­subscript-result­generic-where-clause­_opt­getter-setter-keyword-block­

protocol-associated-type-declaration → attributes­_opt­access-level-modifier­_opt­associatedtype­typealias-name­type-inheritance-clause­_opt­typealias-assignment­_opt­generic-where-clause­_opt­

initializer-declaration → initializer-head­generic-parameter-clause­_opt­parameter-clause­throws­_opt­generic-where-clause­_opt­initializer-body­

initializer-declaration → initializer-head­generic-parameter-clause­_opt­parameter-clause­rethrows­generic-where-clause­_opt­initializer-body­

initializer-head → attributes­_opt­declaration-modifiers­_opt­init­

initializer-head → attributes­_opt­declaration-modifiers­_opt­init­?­

initializer-head → attributes­_opt­declaration-modifiers­_opt­init­!­

initializer-body → code-block­

deinitializer-declaration → attributes­_opt­deinit­code-block­

extension-declaration → attributes­_opt­access-level-modifier­_opt­extension­type-identifier­type-inheritance-clause­_opt­generic-where-clause­_opt­extension-body­

extension-body → {­extension-members­_opt­}­

extension-members → extension-member­extension-members­_opt­

extension-member → declaration­ compiler-control-statement­

subscript-declaration → subscript-head­subscript-result­generic-where-clause­_opt­code-block­

subscript-declaration → subscript-head­subscript-result­generic-where-clause­_opt­getter-setter-block­

subscript-declaration → subscript-head­subscript-result­generic-where-clause­_opt­getter-setter-keyword-block­

subscript-head → attributes­_opt­declaration-modifiers­_opt­subscript­generic-parameter-clause­_opt­parameter-clause­

subscript-result → ->­attributes­_opt­type­

operator-declaration → prefix-operator-declaration­ postfix-operator-declaration­ infix-operator-declaration­

prefix-operator-declaration → prefix­operator­operator­

postfix-operator-declaration → postfix­operator­operator­

infix-operator-declaration → infix­operator­operator­infix-operator-group­_opt­

infix-operator-group → :­precedence-group-name­

precedence-group-declaration → precedencegroup­precedence-group-name­{­precedence-group-attributes­_opt­}­

precedence-group-attributes → precedence-group-attribute­precedence-group-attributes­_opt­

precedence-group-attribute → precedence-group-relation­

precedence-group-attribute → precedence-group-assignment­

precedence-group-attribute → precedence-group-associativity­

precedence-group-relation → higherThan­:­precedence-group-names­

precedence-group-relation → lowerThan­:­precedence-group-names­

precedence-group-assignment → assignment­:­boolean-literal­

precedence-group-associativity → associativity­:­left­

precedence-group-associativity → associativity­:­right­

precedence-group-associativity → associativity­:­none­

precedence-group-names → precedence-group-name­ precedence-group-name­,­precedence-group-names­

precedence-group-name → identifier­

declaration-modifier → class­ convenience­ dynamic­ final­ infix­ lazy­ optional­ override­ postfix­ prefix­ required­ static­ unowned­ unowned­(­safe­)­ unowned­(­unsafe­)­ weak­

declaration-modifier → access-level-modifier­

declaration-modifier → mutation-modifier­

declaration-modifiers → declaration-modifier­declaration-modifiers­_opt­

access-level-modifier → private­ private­(­set­)­

access-level-modifier → fileprivate­ fileprivate­(­set­)­

access-level-modifier → internal­ internal­(­set­)­

access-level-modifier → public­ public­(­set­)­

access-level-modifier → open­ open­(­set­)­

mutation-modifier → mutating­ nonmutating­

attribute → @­attribute-name­attribute-argument-clause­_opt­

attribute-name → identifier­

attribute-argument-clause → (­balanced-tokens­_opt­)­

attributes → attribute­attributes­_opt­

balanced-tokens → balanced-token­balanced-tokens­_opt­

balanced-token → (­balanced-tokens­_opt­)­

balanced-token → [­balanced-tokens­_opt­]­

balanced-token → {­balanced-tokens­_opt­}­

balanced-token → Any identifier, keyword, literal, or operator   任意の識別子、キーワード、リテラル、または演算子

balanced-token → Any punctuation except (­, )­, [­, ]­, {­, or }­
任意の句読点、しかし(、)、[、]、{、または}を除く

pattern → wildcard-pattern­type-annotation­_opt­

pattern → identifier-pattern­type-annotation­_opt­

pattern → value-binding-pattern­

pattern → tuple-pattern­type-annotation­_opt­

pattern → enum-case-pattern­

pattern → optional-pattern­

pattern → type-casting-pattern­

pattern → expression-pattern­

wildcard-pattern → _­

identifier-pattern → identifier­

value-binding-pattern → var­pattern­ let­pattern­

tuple-pattern → (­tuple-pattern-element-list­_opt­)­

tuple-pattern-element-list → tuple-pattern-element­ tuple-pattern-element­,­tuple-pattern-element-list­

tuple-pattern-element → pattern­ identifier­:­pattern­

enum-case-pattern → type-identifier­_opt­.­enum-case-name­tuple-pattern­_opt­

optional-pattern → identifier-pattern­?­

type-casting-pattern → is-pattern­ as-pattern­

is-pattern → is­type­

as-pattern → pattern­as­type­

expression-pattern → expression­

generic-parameter-clause → <­generic-parameter-list­>­

generic-parameter-list → generic-parameter­ generic-parameter­,­generic-parameter-list­

generic-parameter → type-name­

generic-parameter → type-name­:­type-identifier­

generic-parameter → type-name­:­protocol-composition-type­

generic-where-clause → where­requirement-list­

requirement-list → requirement­ requirement­,­requirement-list­

requirement → conformance-requirement­ same-type-requirement­

conformance-requirement → type-identifier­:­type-identifier­

conformance-requirement → type-identifier­:­protocol-composition-type­

same-type-requirement → type-identifier­==­type­

generic-argument-clause → <­generic-argument-list­>­

generic-argument-list → generic-argument­ generic-argument­,­generic-argument-list­

generic-argument → type­