8 구문 지향 연산

Identifier

유일한 요소가 Identifier의 StringValue인 List를 반환합니다.

yield

« "yield" »를 반환합니다.

await

« "await" »를 반환합니다.

;

BindingList의 BoundNames를 반환합니다.

using

;

;

BindingList의 BoundNames를 반환합니다.

LexicalBinding

names1을 BindingList의 BoundNames로 둡니다.
names2를 LexicalBinding의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

LexicalBinding

opt

BindingIdentifier의 BoundNames를 반환합니다.

LexicalBinding

BindingPattern의 BoundNames를 반환합니다.

names1을 VariableDeclarationList의 BoundNames로 둡니다.
names2를 VariableDeclaration의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

opt

BindingIdentifier의 BoundNames를 반환합니다.

BindingPattern의 BoundNames를 반환합니다.

{

}

새로운 빈 List를 반환합니다.

{

BindingRestProperty

}

names1을 BindingPropertyList의 BoundNames로 둡니다.
names2를 BindingRestProperty의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

[

opt

]

새로운 빈 List를 반환합니다.

[

opt

]

BindingRestElement의 BoundNames를 반환합니다.

[

opt

]

BindingElementList의 BoundNames를 반환합니다.

[

opt

]

names1을 BindingElementList의 BoundNames로 둡니다.
names2를 BindingRestElement의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

BindingProperty

names1을 BindingPropertyList의 BoundNames로 둡니다.
names2를 BindingProperty의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

names1을 BindingElementList의 BoundNames로 둡니다.
names2를 BindingElisionElement의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

opt

BindingElement의 BoundNames를 반환합니다.

BindingProperty

PropertyName

BindingElement의 BoundNames를 반환합니다.

SingleNameBinding

opt

BindingIdentifier의 BoundNames를 반환합니다.

opt

BindingPattern의 BoundNames를 반환합니다.

ForBinding의 BoundNames를 반환합니다.

function

(

)

{

}

BindingIdentifier의 BoundNames를 반환합니다.

function

(

)

{

}

« "*default*" »를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

FunctionRestParameter

names1을 FormalParameterList의 BoundNames로 둡니다.
names2를 FunctionRestParameter의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

FormalParameter

names1을 FormalParameterList의 BoundNames로 둡니다.
names2를 FormalParameter의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

formals를 CoverParenthesizedExpressionAndArrowParameterList가 포괄하는 ArrowFormalParameters로 둡니다.
formals의 BoundNames를 반환합니다.

function

(

)

{

}

BindingIdentifier의 BoundNames를 반환합니다.

function

(

)

{

}

« "*default*" »를 반환합니다.

async

function

(

)

{

}

BindingIdentifier의 BoundNames를 반환합니다.

async

function

(

)

{

}

« "*default*" »를 반환합니다.

class

BindingIdentifier의 BoundNames를 반환합니다.

class

« "*default*" »를 반환합니다.

async

function

(

)

{

}

BindingIdentifier의 BoundNames를 반환합니다.

async

function

(

)

{

}

« "*default*" »를 반환합니다.

MemberExpression

Arguments

head를 CoverCallExpressionAndAsyncArrowHead가 포괄하는 AsyncArrowHead로 둡니다.
head의 BoundNames를 반환합니다.

import

opt

;

ImportClause의 BoundNames를 반환합니다.

import

ModuleSpecifier

WithClause

opt

;

새로운 빈 List를 반환합니다.

ImportClause

ImportedDefaultBinding

NameSpaceImport

names1을 ImportedDefaultBinding의 BoundNames로 둡니다.
names2를 NameSpaceImport의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

ImportClause

ImportedDefaultBinding

NamedImports

names1을 ImportedDefaultBinding의 BoundNames로 둡니다.
names2를 NamedImports의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

NamedImports

{

}

새로운 빈 List를 반환합니다.

ImportsList

ImportSpecifier

names1을 ImportsList의 BoundNames로 둡니다.
names2를 ImportSpecifier의 BoundNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

ImportSpecifier

ModuleExportName

ImportedBinding

ImportedBinding의 BoundNames를 반환합니다.

export

opt

;

export

NamedExports

;

새로운 빈 List를 반환합니다.

export

VariableStatement

VariableStatement의 BoundNames를 반환합니다.

export

Declaration의 BoundNames를 반환합니다.

export

default

declNames를 HoistableDeclaration의 BoundNames로 둡니다.
declNames에 "*default*" 요소가 포함되어 있지 않으면, "*default*"를 declNames에 추가합니다.
declNames를 반환합니다.

export

default

declNames를 ClassDeclaration의 BoundNames로 둡니다.
declNames에 "*default*" 요소가 포함되어 있지 않으면, "*default*"를 declNames에 추가합니다.
declNames를 반환합니다.

export

default

;

« "*default*" »를 반환합니다.

8.2.2 Static Semantics: DeclarationPart

구문 지향 연산 DeclarationPart. 인수 없음. 반환값: 구문 분석 노드. 다음 생성 규칙별로 정의된다.

FunctionDeclaration을 반환합니다.

GeneratorDeclaration을 반환합니다.

AsyncFunctionDeclaration을 반환합니다.

AsyncGeneratorDeclaration을 반환합니다.

ClassDeclaration을 반환합니다.

LexicalDeclaration을 반환합니다.

8.2.3 Static Semantics: IsConstantDeclaration

구문 지향 연산 IsConstantDeclaration. 인수 없음. 반환값: Boolean. 다음 생성 규칙별로 정의된다.

;

LetOrConst의 IsConstantDeclaration을 반환합니다.

let

false를 반환합니다.

const

true를 반환합니다.

using

;

;

true를 반환합니다.

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

false를 반환합니다.

class

class

false를 반환합니다.

export

ExportFromClause

FromClause

;

export

NamedExports

;

export

default

;

false를 반환합니다.

참고

모듈의 기본 객체를 참조하는 데 사용하는 내부 바인딩 이름에 할당할 수 있는 구문이 없으므로 export default AssignmentExpression을 상수 선언으로 취급할 필요는 없습니다.

8.2.4 Static Semantics: IsUsingDeclaration

구문 지향 연산 IsUsingDeclaration. 인수 없음. 반환값: Boolean. 다음 생성 규칙별로 정의된다.

;

false를 반환합니다.

using

;

true를 반환합니다.

;

false를 반환합니다.

false를 반환합니다.

using

true를 반환합니다.

await

using

false를 반환합니다.

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

false를 반환합니다.

class

class

false를 반환합니다.

8.2.5 Static Semantics: IsAwaitUsingDeclaration

구문 지향 연산 IsAwaitUsingDeclaration. 인수 없음. 반환값: Boolean. 다음 생성 규칙별로 정의된다.

;

false를 반환합니다.

using

;

false를 반환합니다.

;

true를 반환합니다.

false를 반환합니다.

using

false를 반환합니다.

await

using

true를 반환합니다.

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

false를 반환합니다.

class

class

false를 반환합니다.

8.2.6 Static Semantics: LexicallyDeclaredNames

구문 지향 연산 LexicallyDeclaredNames. 인수 없음. 반환값: 리스트 (요소: String). 다음 생성 규칙별로 정의된다.

{

}

새로운 빈 List를 반환합니다.

names1을 StatementList의 LexicallyDeclaredNames로 둡니다.
names2를 StatementListItem의 LexicallyDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

Statement가 Statement : LabelledStatement 이면, LabelledStatement의 LexicallyDeclaredNames를 반환합니다.
새로운 빈 List를 반환합니다.

Declaration의 BoundNames를 반환합니다.

{

}

새로운 빈 List를 반환합니다.

{

opt

opt

}

첫 번째 CaseClauses가 존재하면, names1을 첫 번째 CaseClauses의 LexicallyDeclaredNames로 둡니다.
그렇지 않으면 names1을 새로운 빈 List로 둡니다.
names2를 DefaultClause의 LexicallyDeclaredNames로 둡니다.
두 번째 CaseClauses가 존재하면, names3을 두 번째 CaseClauses의 LexicallyDeclaredNames로 둡니다.
그렇지 않으면 names3을 새로운 빈 List로 둡니다.
names1, names2 및 names3의 목록 연결을 반환합니다.

names1을 CaseClauses의 LexicallyDeclaredNames로 둡니다.
names2를 CaseClause의 LexicallyDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

case

opt

StatementList가 존재하면, StatementList의 LexicallyDeclaredNames를 반환합니다.
새로운 빈 List를 반환합니다.

default

opt

StatementList가 존재하면, StatementList의 LexicallyDeclaredNames를 반환합니다.
새로운 빈 List를 반환합니다.

LabelledItem의 LexicallyDeclaredNames를 반환합니다.

새로운 빈 List를 반환합니다.

FunctionDeclaration의 BoundNames를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelLexicallyDeclaredNames를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelLexicallyDeclaredNames를 반환합니다.

새로운 빈 List를 반환합니다.

새로운 빈 List를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelLexicallyDeclaredNames를 반환합니다.

참고 1

Script의 최상위 수준에서 함수 선언은 렉시컬 선언이 아니라 var 선언처럼 취급됩니다.

참고 2

Module의 LexicallyDeclaredNames에는 가져온 모든 바인딩의 이름이 포함됩니다.

names1을 ModuleItemList의 LexicallyDeclaredNames로 둡니다.
names2를 ModuleItem의 LexicallyDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

ImportDeclaration의 BoundNames를 반환합니다.

ExportDeclaration이 export VariableStatement이면, 새로운 빈 List를 반환합니다.
ExportDeclaration의 BoundNames를 반환합니다.

StatementListItem의 LexicallyDeclaredNames를 반환합니다.

참고 3

Module의 최상위 수준에서 함수 선언은 var 선언이 아니라 렉시컬 선언처럼 취급됩니다.

8.2.7 Static Semantics: LexicallyScopedDeclarations

구문 지향 연산 LexicallyScopedDeclarations. 인수 없음. 반환값: 리스트 (요소: 구문 분석 노드). 다음 생성 규칙별로 정의된다.

decls1을 StatementList의 LexicallyScopedDeclarations로 둡니다.
decls2를 StatementListItem의 LexicallyScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

Statement가 Statement : LabelledStatement 이면, LabelledStatement의 LexicallyScopedDeclarations를 반환합니다.
새로운 빈 List를 반환합니다.

유일한 요소가 Declaration의 DeclarationPart인 List를 반환합니다.

{

}

새로운 빈 List를 반환합니다.

{

opt

opt

}

첫 번째 CaseClauses가 존재하면, decls1을 첫 번째 CaseClauses의 LexicallyScopedDeclarations로 둡니다.
그렇지 않으면 decls1을 새로운 빈 List로 둡니다.
decls2를 DefaultClause의 LexicallyScopedDeclarations로 둡니다.
두 번째 CaseClauses가 존재하면, decls3을 두 번째 CaseClauses의 LexicallyScopedDeclarations로 둡니다.
그렇지 않으면 decls3을 새로운 빈 List로 둡니다.
decls1, decls2 및 decls3의 목록 연결을 반환합니다.

decls1을 CaseClauses의 LexicallyScopedDeclarations로 둡니다.
decls2를 CaseClause의 LexicallyScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

case

opt

StatementList가 존재하면, StatementList의 LexicallyScopedDeclarations를 반환합니다.
새로운 빈 List를 반환합니다.

default

opt

StatementList가 존재하면, StatementList의 LexicallyScopedDeclarations를 반환합니다.
새로운 빈 List를 반환합니다.

LabelledItem의 LexicallyScopedDeclarations를 반환합니다.

새로운 빈 List를 반환합니다.

« FunctionDeclaration »을 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelLexicallyScopedDeclarations를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelLexicallyScopedDeclarations를 반환합니다.

새로운 빈 List를 반환합니다.

새로운 빈 List를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelLexicallyScopedDeclarations를 반환합니다.

Module

[empty]

새로운 빈 List를 반환합니다.

decls1을 ModuleItemList의 LexicallyScopedDeclarations로 둡니다.
decls2를 ModuleItem의 LexicallyScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

새로운 빈 List를 반환합니다.

export

opt

;

export

NamedExports

;

export

VariableStatement

새로운 빈 List를 반환합니다.

export

유일한 요소가 Declaration의 DeclarationPart인 List를 반환합니다.

export

default

유일한 요소가 HoistableDeclaration의 DeclarationPart인 List를 반환합니다.

export

default

유일한 요소가 ClassDeclaration인 List를 반환합니다.

export

default

;

유일한 요소가 이 ExportDeclaration인 List를 반환합니다.

8.2.8 Static Semantics: VarDeclaredNames

구문 지향 연산 VarDeclaredNames. 인수 없음. 반환값: 리스트 (요소: String). 다음 생성 규칙별로 정의된다.

새로운 빈 List를 반환합니다.

{

}

새로운 빈 List를 반환합니다.

names1을 StatementList의 VarDeclaredNames로 둡니다.
names2를 StatementListItem의 VarDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

새로운 빈 List를 반환합니다.

VariableStatement

var

;

VariableDeclarationList의 BoundNames를 반환합니다.

(

)

else

names1을 첫 번째 Statement의 VarDeclaredNames로 둡니다.
names2를 두 번째 Statement의 VarDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

(

)

Statement의 VarDeclaredNames를 반환합니다.

while

(

)

;

Statement의 VarDeclaredNames를 반환합니다.

while

(

)

Statement의 VarDeclaredNames를 반환합니다.

for

(

opt

;

opt

;

opt

)

Statement의 VarDeclaredNames를 반환합니다.

for

(

var

;

opt

;

opt

)

names1을 VariableDeclarationList의 BoundNames로 둡니다.
names2를 Statement의 VarDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

for

(

opt

;

opt

)

Statement의 VarDeclaredNames를 반환합니다.

for

(

)

for

(

)

for

(

)

for

(

)

for

await

(

)

for

await

(

)

Statement의 VarDeclaredNames를 반환합니다.

for

(

var

)

for

(

var

)

for

await

(

var

)

names1을 ForBinding의 BoundNames로 둡니다.
names2를 Statement의 VarDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

참고

이 절은 부속서 B.3.5에 의해 확장됩니다.

with

(

)

Statement의 VarDeclaredNames를 반환합니다.

switch

(

)

CaseBlock의 VarDeclaredNames를 반환합니다.

{

}

새로운 빈 List를 반환합니다.

{

opt

opt

}

첫 번째 CaseClauses가 존재하면, names1을 첫 번째 CaseClauses의 VarDeclaredNames로 둡니다.
그렇지 않으면 names1을 새로운 빈 List로 둡니다.
names2를 DefaultClause의 VarDeclaredNames로 둡니다.
두 번째 CaseClauses가 존재하면, names3을 두 번째 CaseClauses의 VarDeclaredNames로 둡니다.
그렇지 않으면 names3을 새로운 빈 List로 둡니다.
names1, names2 및 names3의 목록 연결을 반환합니다.

names1을 CaseClauses의 VarDeclaredNames로 둡니다.
names2를 CaseClause의 VarDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

case

opt

StatementList가 존재하면, StatementList의 VarDeclaredNames를 반환합니다.
새로운 빈 List를 반환합니다.

default

opt

StatementList가 존재하면, StatementList의 VarDeclaredNames를 반환합니다.
새로운 빈 List를 반환합니다.

LabelledItem의 VarDeclaredNames를 반환합니다.

새로운 빈 List를 반환합니다.

try

names1을 Block의 VarDeclaredNames로 둡니다.
names2를 Catch의 VarDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

try

names1을 Block의 VarDeclaredNames로 둡니다.
names2를 Finally의 VarDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

try

names1을 Block의 VarDeclaredNames로 둡니다.
names2를 Catch의 VarDeclaredNames로 둡니다.
names3을 Finally의 VarDeclaredNames로 둡니다.
names1, names2 및 names3의 목록 연결을 반환합니다.

catch

(

)

Block의 VarDeclaredNames를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelVarDeclaredNames를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelVarDeclaredNames를 반환합니다.

새로운 빈 List를 반환합니다.

새로운 빈 List를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelVarDeclaredNames를 반환합니다.

names1을 ModuleItemList의 VarDeclaredNames로 둡니다.
names2를 ModuleItem의 VarDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

새로운 빈 List를 반환합니다.

ExportDeclaration이 export VariableStatement이면, ExportDeclaration의 BoundNames를 반환합니다.
새로운 빈 List를 반환합니다.

8.2.9 Static Semantics: VarScopedDeclarations

구문 지향 연산 VarScopedDeclarations. 인수 없음. 반환값: 리스트 (요소: 구문 분석 노드). 다음 생성 규칙별로 정의된다.

새로운 빈 List를 반환합니다.

{

}

새로운 빈 List를 반환합니다.

decls1을 StatementList의 VarScopedDeclarations로 둡니다.
decls2를 StatementListItem의 VarScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

새로운 빈 List를 반환합니다.

« VariableDeclaration »을 반환합니다.

decls1을 VariableDeclarationList의 VarScopedDeclarations로 둡니다.
decls1과 « VariableDeclaration »의 목록 연결을 반환합니다.

(

)

else

decls1을 첫 번째 Statement의 VarScopedDeclarations로 둡니다.
decls2를 두 번째 Statement의 VarScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

(

)

Statement의 VarScopedDeclarations를 반환합니다.

while

(

)

;

Statement의 VarScopedDeclarations를 반환합니다.

while

(

)

Statement의 VarScopedDeclarations를 반환합니다.

for

(

opt

;

opt

;

opt

)

Statement의 VarScopedDeclarations를 반환합니다.

for

(

var

;

opt

;

opt

)

decls1을 VariableDeclarationList의 VarScopedDeclarations로 둡니다.
decls2를 Statement의 VarScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

for

(

opt

;

opt

)

Statement의 VarScopedDeclarations를 반환합니다.

for

(

)

for

(

)

for

(

)

for

(

)

for

await

(

)

for

await

(

)

Statement의 VarScopedDeclarations를 반환합니다.

for

(

var

)

for

(

var

)

for

await

(

var

)

decls1을 « ForBinding »로 둡니다.
decls2를 Statement의 VarScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

참고

이 절은 부속서 B.3.5에 의해 확장됩니다.

with

(

)

Statement의 VarScopedDeclarations를 반환합니다.

switch

(

)

CaseBlock의 VarScopedDeclarations를 반환합니다.

{

}

새로운 빈 List를 반환합니다.

{

opt

opt

}

첫 번째 CaseClauses가 존재하면, decls1을 첫 번째 CaseClauses의 VarScopedDeclarations로 둡니다.
그렇지 않으면 decls1을 새로운 빈 List로 둡니다.
decls2를 DefaultClause의 VarScopedDeclarations로 둡니다.
두 번째 CaseClauses가 존재하면, decls3을 두 번째 CaseClauses의 VarScopedDeclarations로 둡니다.
그렇지 않으면 decls3을 새로운 빈 List로 둡니다.
decls1, decls2 및 decls3의 목록 연결을 반환합니다.

decls1을 CaseClauses의 VarScopedDeclarations로 둡니다.
decls2를 CaseClause의 VarScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

case

opt

StatementList가 존재하면, StatementList의 VarScopedDeclarations를 반환합니다.
새로운 빈 List를 반환합니다.

default

opt

StatementList가 존재하면, StatementList의 VarScopedDeclarations를 반환합니다.
새로운 빈 List를 반환합니다.

LabelledItem의 VarScopedDeclarations를 반환합니다.

새로운 빈 List를 반환합니다.

try

decls1을 Block의 VarScopedDeclarations로 둡니다.
decls2를 Catch의 VarScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

try

decls1을 Block의 VarScopedDeclarations로 둡니다.
decls2를 Finally의 VarScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

try

decls1을 Block의 VarScopedDeclarations로 둡니다.
decls2를 Catch의 VarScopedDeclarations로 둡니다.
decls3을 Finally의 VarScopedDeclarations로 둡니다.
decls1, decls2 및 decls3의 목록 연결을 반환합니다.

catch

(

)

Block의 VarScopedDeclarations를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelVarScopedDeclarations를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelVarScopedDeclarations를 반환합니다.

새로운 빈 List를 반환합니다.

새로운 빈 List를 반환합니다.

[empty]

새로운 빈 List를 반환합니다.

StatementList의 TopLevelVarScopedDeclarations를 반환합니다.

Module

[empty]

새로운 빈 List를 반환합니다.

decls1을 ModuleItemList의 VarScopedDeclarations로 둡니다.
decls2를 ModuleItem의 VarScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

새로운 빈 List를 반환합니다.

ExportDeclaration이 export VariableStatement이면, VariableStatement의 VarScopedDeclarations를 반환합니다.
새로운 빈 List를 반환합니다.

8.2.10 Static Semantics: TopLevelLexicallyDeclaredNames

구문 지향 연산 TopLevelLexicallyDeclaredNames. 인수 없음. 반환값: 리스트 (요소: String). 다음 생성 규칙별로 정의된다.

names1을 StatementList의 TopLevelLexicallyDeclaredNames로 둡니다.
names2를 StatementListItem의 TopLevelLexicallyDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

새로운 빈 List를 반환합니다.

Declaration이 Declaration : HoistableDeclaration 이면, 다음을 수행합니다.
1. 새로운 빈 List를 반환합니다.
Declaration의 BoundNames를 반환합니다.

참고

함수 또는 스크립트의 최상위 수준에서 함수 선언은 렉시컬 선언이 아니라 var 선언처럼 취급됩니다.

8.2.11 Static Semantics: TopLevelLexicallyScopedDeclarations

구문 지향 연산 TopLevelLexicallyScopedDeclarations. 인수 없음. 반환값: 리스트 (요소: 구문 분석 노드). 다음 생성 규칙별로 정의된다.

decls1을 StatementList의 TopLevelLexicallyScopedDeclarations로 둡니다.
decls2를 StatementListItem의 TopLevelLexicallyScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

새로운 빈 List를 반환합니다.

Declaration이 Declaration : HoistableDeclaration 이면, 다음을 수행합니다.
1. 새로운 빈 List를 반환합니다.
« Declaration »을 반환합니다.

8.2.12 Static Semantics: TopLevelVarDeclaredNames

구문 지향 연산 TopLevelVarDeclaredNames. 인수 없음. 반환값: 리스트 (요소: String). 다음 생성 규칙별로 정의된다.

names1을 StatementList의 TopLevelVarDeclaredNames로 둡니다.
names2를 StatementListItem의 TopLevelVarDeclaredNames로 둡니다.
names1과 names2의 목록 연결을 반환합니다.

Declaration이 Declaration : HoistableDeclaration 이면, 다음을 수행합니다.
1. HoistableDeclaration의 BoundNames를 반환합니다.
새로운 빈 List를 반환합니다.

Statement가 Statement : LabelledStatement 이면, Statement의 TopLevelVarDeclaredNames를 반환합니다.
Statement의 VarDeclaredNames를 반환합니다.

참고

함수 또는 스크립트의 최상위 수준에서 내부 함수 선언은 var 선언처럼 취급됩니다.

LabelledItem의 TopLevelVarDeclaredNames를 반환합니다.

Statement가 Statement : LabelledStatement 이면, Statement의 TopLevelVarDeclaredNames를 반환합니다.
Statement의 VarDeclaredNames를 반환합니다.

FunctionDeclaration의 BoundNames를 반환합니다.

8.2.13 Static Semantics: TopLevelVarScopedDeclarations

구문 지향 연산 TopLevelVarScopedDeclarations. 인수 없음. 반환값: 리스트 (요소: 구문 분석 노드). 다음 생성 규칙별로 정의된다.

decls1을 StatementList의 TopLevelVarScopedDeclarations로 둡니다.
decls2를 StatementListItem의 TopLevelVarScopedDeclarations로 둡니다.
decls1과 decls2의 목록 연결을 반환합니다.

Statement가 Statement : LabelledStatement 이면, Statement의 TopLevelVarScopedDeclarations를 반환합니다.
Statement의 VarScopedDeclarations를 반환합니다.

Declaration이 Declaration : HoistableDeclaration 이면, 다음을 수행합니다.
1. decl을 HoistableDeclaration의 DeclarationPart로 둡니다.
2. « decl »을 반환합니다.
새로운 빈 List를 반환합니다.

LabelledItem의 TopLevelVarScopedDeclarations를 반환합니다.

Statement가 Statement : LabelledStatement 이면, Statement의 TopLevelVarScopedDeclarations를 반환합니다.
Statement의 VarScopedDeclarations를 반환합니다.

« FunctionDeclaration »을 반환합니다.

8.3 레이블

8.3.1 Static Semantics: ContainsDuplicateLabels

구문 지향 연산 ContainsDuplicateLabels. 인수 labelSet (리스트 (요소: String)). 반환값: Boolean. 다음 생성 규칙별로 정의된다.

{

}

false를 반환합니다.

hasDuplicates를 인수 labelSet을 사용한 StatementList의 ContainsDuplicateLabels로 둡니다.
hasDuplicates가 true이면, true를 반환합니다.
인수 labelSet을 사용한 StatementListItem의 ContainsDuplicateLabels를 반환합니다.

(

)

else

hasDuplicate를 인수 labelSet을 사용한 첫 번째 Statement의 ContainsDuplicateLabels로 둡니다.
hasDuplicate가 true이면, true를 반환합니다.
인수 labelSet을 사용한 두 번째 Statement의 ContainsDuplicateLabels를 반환합니다.

(

)

인수 labelSet을 사용한 Statement의 ContainsDuplicateLabels를 반환합니다.

while

(

)

;

인수 labelSet을 사용한 Statement의 ContainsDuplicateLabels를 반환합니다.

while

(

)

인수 labelSet을 사용한 Statement의 ContainsDuplicateLabels를 반환합니다.

for

(

opt

;

opt

;

opt

)

for

(

var

;

opt

;

opt

)

for

(

opt

;

opt

)

인수 labelSet을 사용한 Statement의 ContainsDuplicateLabels를 반환합니다.

for

(

)

for

(

var

)

for

(

)

for

(

)

for

(

var

)

for

(

)

for

await

(

)

for

await

(

var

)

for

await

(

)

인수 labelSet을 사용한 Statement의 ContainsDuplicateLabels를 반환합니다.

참고

이 절은 부속서 B.3.5에 의해 확장됩니다.

with

(

)

인수 labelSet을 사용한 Statement의 ContainsDuplicateLabels를 반환합니다.

switch

(

)

인수 labelSet을 사용한 CaseBlock의 ContainsDuplicateLabels를 반환합니다.

{

}

false를 반환합니다.

{

opt

opt

}

첫 번째 CaseClauses가 존재하면, 다음을 수행합니다.
1. 인수 labelSet을 사용한 첫 번째 CaseClauses의 ContainsDuplicateLabels가 true이면, true를 반환합니다.
인수 labelSet을 사용한 DefaultClause의 ContainsDuplicateLabels가 true이면, true를 반환합니다.
두 번째 CaseClauses가 존재하지 않으면, false를 반환합니다.
인수 labelSet을 사용한 두 번째 CaseClauses의 ContainsDuplicateLabels를 반환합니다.

hasDuplicates를 인수 labelSet을 사용한 CaseClauses의 ContainsDuplicateLabels로 둡니다.
hasDuplicates가 true이면, true를 반환합니다.
인수 labelSet을 사용한 CaseClause의 ContainsDuplicateLabels를 반환합니다.

case

opt

StatementList가 존재하면, 인수 labelSet을 사용한 StatementList의 ContainsDuplicateLabels를 반환합니다.
false를 반환합니다.

default

opt

StatementList가 존재하면, 인수 labelSet을 사용한 StatementList의 ContainsDuplicateLabels를 반환합니다.
false를 반환합니다.

label을 LabelIdentifier의 StringValue로 둡니다.
labelSet에 label이 포함되어 있으면, true를 반환합니다.
newLabelSet을 labelSet과 « label »의 목록 연결로 둡니다.
인수 newLabelSet을 사용한 LabelledItem의 ContainsDuplicateLabels를 반환합니다.

false를 반환합니다.

try

hasDuplicates를 인수 labelSet을 사용한 Block의 ContainsDuplicateLabels로 둡니다.
hasDuplicates가 true이면, true를 반환합니다.
인수 labelSet을 사용한 Catch의 ContainsDuplicateLabels를 반환합니다.

try

hasDuplicates를 인수 labelSet을 사용한 Block의 ContainsDuplicateLabels로 둡니다.
hasDuplicates가 true이면, true를 반환합니다.
인수 labelSet을 사용한 Finally의 ContainsDuplicateLabels를 반환합니다.

try

인수 labelSet을 사용한 Block의 ContainsDuplicateLabels가 true이면, true를 반환합니다.
인수 labelSet을 사용한 Catch의 ContainsDuplicateLabels가 true이면, true를 반환합니다.
인수 labelSet을 사용한 Finally의 ContainsDuplicateLabels를 반환합니다.

catch

(

)

인수 labelSet을 사용한 Block의 ContainsDuplicateLabels를 반환합니다.

[empty]

false를 반환합니다.

[empty]

false를 반환합니다.

hasDuplicates를 인수 labelSet을 사용한 ModuleItemList의 ContainsDuplicateLabels로 둡니다.
hasDuplicates가 true이면, true를 반환합니다.
인수 labelSet을 사용한 ModuleItem의 ContainsDuplicateLabels를 반환합니다.

false를 반환합니다.

8.3.2 Static Semantics: ContainsUndefinedBreakTarget

구문 지향 연산 ContainsUndefinedBreakTarget. 인수 labelSet (리스트 (요소: String)). 반환값: Boolean. 다음 생성 규칙별로 정의된다.

{

}

false를 반환합니다.

hasUndefinedLabels를 인수 labelSet을 사용한 StatementList의 ContainsUndefinedBreakTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 labelSet을 사용한 StatementListItem의 ContainsUndefinedBreakTarget을 반환합니다.

(

)

else

hasUndefinedLabels를 인수 labelSet을 사용한 첫 번째 Statement의 ContainsUndefinedBreakTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 labelSet을 사용한 두 번째 Statement의 ContainsUndefinedBreakTarget을 반환합니다.

(

)

인수 labelSet을 사용한 Statement의 ContainsUndefinedBreakTarget을 반환합니다.

while

(

)

;

인수 labelSet을 사용한 Statement의 ContainsUndefinedBreakTarget을 반환합니다.

while

(

)

인수 labelSet을 사용한 Statement의 ContainsUndefinedBreakTarget을 반환합니다.

for

(

opt

;

opt

;

opt

)

for

(

var

;

opt

;

opt

)

for

(

opt

;

opt

)

인수 labelSet을 사용한 Statement의 ContainsUndefinedBreakTarget을 반환합니다.

for

(

)

for

(

var

)

for

(

)

for

(

)

for

(

var

)

for

(

)

for

await

(

)

for

await

(

var

)

for

await

(

)

인수 labelSet을 사용한 Statement의 ContainsUndefinedBreakTarget을 반환합니다.

참고

이 절은 부속서 B.3.5에 의해 확장됩니다.

BreakStatement

break

;

false를 반환합니다.

BreakStatement

break

;

labelSet에 LabelIdentifier의 StringValue가 포함되어 있으면, false를 반환합니다.
true를 반환합니다.

with

(

)

인수 labelSet을 사용한 Statement의 ContainsUndefinedBreakTarget을 반환합니다.

switch

(

)

인수 labelSet을 사용한 CaseBlock의 ContainsUndefinedBreakTarget을 반환합니다.

{

}

false를 반환합니다.

{

opt

opt

}

첫 번째 CaseClauses가 존재하면, 다음을 수행합니다.
1. 인수 labelSet을 사용한 첫 번째 CaseClauses의 ContainsUndefinedBreakTarget이 true이면, true를 반환합니다.
인수 labelSet을 사용한 DefaultClause의 ContainsUndefinedBreakTarget이 true이면, true를 반환합니다.
두 번째 CaseClauses가 존재하지 않으면, false를 반환합니다.
인수 labelSet을 사용한 두 번째 CaseClauses의 ContainsUndefinedBreakTarget을 반환합니다.

hasUndefinedLabels를 인수 labelSet을 사용한 CaseClauses의 ContainsUndefinedBreakTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 labelSet을 사용한 CaseClause의 ContainsUndefinedBreakTarget을 반환합니다.

case

opt

StatementList가 존재하면, 인수 labelSet을 사용한 StatementList의 ContainsUndefinedBreakTarget을 반환합니다.
false를 반환합니다.

default

opt

StatementList가 존재하면, 인수 labelSet을 사용한 StatementList의 ContainsUndefinedBreakTarget을 반환합니다.
false를 반환합니다.

label을 LabelIdentifier의 StringValue로 둡니다.
newLabelSet을 labelSet과 « label »의 목록 연결로 둡니다.
인수 newLabelSet을 사용한 LabelledItem의 ContainsUndefinedBreakTarget을 반환합니다.

false를 반환합니다.

try

hasUndefinedLabels를 인수 labelSet을 사용한 Block의 ContainsUndefinedBreakTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 labelSet을 사용한 Catch의 ContainsUndefinedBreakTarget을 반환합니다.

try

hasUndefinedLabels를 인수 labelSet을 사용한 Block의 ContainsUndefinedBreakTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 labelSet을 사용한 Finally의 ContainsUndefinedBreakTarget을 반환합니다.

try

인수 labelSet을 사용한 Block의 ContainsUndefinedBreakTarget이 true이면, true를 반환합니다.
인수 labelSet을 사용한 Catch의 ContainsUndefinedBreakTarget이 true이면, true를 반환합니다.
인수 labelSet을 사용한 Finally의 ContainsUndefinedBreakTarget을 반환합니다.

catch

(

)

인수 labelSet을 사용한 Block의 ContainsUndefinedBreakTarget을 반환합니다.

[empty]

false를 반환합니다.

[empty]

false를 반환합니다.

hasUndefinedLabels를 인수 labelSet을 사용한 ModuleItemList의 ContainsUndefinedBreakTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 labelSet을 사용한 ModuleItem의 ContainsUndefinedBreakTarget을 반환합니다.

false를 반환합니다.

8.3.3 Static Semantics: ContainsUndefinedContinueTarget

구문 지향 연산 ContainsUndefinedContinueTarget. 인수 iterationSet (리스트 (요소: String)) 및 labelSet (리스트 (요소: String)). 반환값: Boolean. 다음 생성 규칙별로 정의된다.

{

}

false를 반환합니다.

BlockStatement

인수 iterationSet 및 « »를 사용한 BlockStatement의 ContainsUndefinedContinueTarget을 반환합니다.

BreakableStatement

IterationStatement

newIterationSet을 iterationSet과 labelSet의 목록 연결로 둡니다.
인수 newIterationSet 및 « »를 사용한 IterationStatement의 ContainsUndefinedContinueTarget을 반환합니다.

hasUndefinedLabels를 인수 iterationSet 및 « »를 사용한 StatementList의 ContainsUndefinedContinueTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 iterationSet 및 « »를 사용한 StatementListItem의 ContainsUndefinedContinueTarget을 반환합니다.

(

)

else

hasUndefinedLabels를 인수 iterationSet 및 « »를 사용한 첫 번째 Statement의 ContainsUndefinedContinueTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 iterationSet 및 « »를 사용한 두 번째 Statement의 ContainsUndefinedContinueTarget을 반환합니다.

(

)

인수 iterationSet 및 « »를 사용한 Statement의 ContainsUndefinedContinueTarget을 반환합니다.

while

(

)

;

인수 iterationSet 및 « »를 사용한 Statement의 ContainsUndefinedContinueTarget을 반환합니다.

while

(

)

인수 iterationSet 및 « »를 사용한 Statement의 ContainsUndefinedContinueTarget을 반환합니다.

for

(

opt

;

opt

;

opt

)

for

(

var

;

opt

;

opt

)

for

(

opt

;

opt

)

인수 iterationSet 및 « »를 사용한 Statement의 ContainsUndefinedContinueTarget을 반환합니다.

for

(

)

for

(

var

)

for

(

)

for

(

)

for

(

var

)

for

(

)

for

await

(

)

for

await

(

var

)

for

await

(

)

인수 iterationSet 및 « »를 사용한 Statement의 ContainsUndefinedContinueTarget을 반환합니다.

참고

이 절은 부속서 B.3.5에 의해 확장됩니다.

ContinueStatement

continue

;

false를 반환합니다.

ContinueStatement

continue

;

iterationSet에 LabelIdentifier의 StringValue가 포함되어 있으면, false를 반환합니다.
true를 반환합니다.

with

(

)

인수 iterationSet 및 « »를 사용한 Statement의 ContainsUndefinedContinueTarget을 반환합니다.

switch

(

)

인수 iterationSet 및 « »를 사용한 CaseBlock의 ContainsUndefinedContinueTarget을 반환합니다.

{

}

false를 반환합니다.

{

opt

opt

}

첫 번째 CaseClauses가 존재하면, 다음을 수행합니다.
1. 인수 iterationSet 및 « »를 사용한 첫 번째 CaseClauses의 ContainsUndefinedContinueTarget이 true이면, true를 반환합니다.
인수 iterationSet 및 « »를 사용한 DefaultClause의 ContainsUndefinedContinueTarget이 true이면, true를 반환합니다.
두 번째 CaseClauses가 존재하지 않으면, false를 반환합니다.
인수 iterationSet 및 « »를 사용한 두 번째 CaseClauses의 ContainsUndefinedContinueTarget을 반환합니다.

hasUndefinedLabels를 인수 iterationSet 및 « »를 사용한 CaseClauses의 ContainsUndefinedContinueTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 iterationSet 및 « »를 사용한 CaseClause의 ContainsUndefinedContinueTarget을 반환합니다.

case

opt

StatementList가 존재하면, 인수 iterationSet 및 « »를 사용한 StatementList의 ContainsUndefinedContinueTarget을 반환합니다.
false를 반환합니다.

default

opt

StatementList가 존재하면, 인수 iterationSet 및 « »를 사용한 StatementList의 ContainsUndefinedContinueTarget을 반환합니다.
false를 반환합니다.

label을 LabelIdentifier의 StringValue로 둡니다.
newLabelSet을 labelSet과 « label »의 목록 연결로 둡니다.
인수 iterationSet 및 newLabelSet을 사용한 LabelledItem의 ContainsUndefinedContinueTarget을 반환합니다.

false를 반환합니다.

try

hasUndefinedLabels를 인수 iterationSet 및 « »를 사용한 Block의 ContainsUndefinedContinueTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 iterationSet 및 « »를 사용한 Catch의 ContainsUndefinedContinueTarget을 반환합니다.

try

hasUndefinedLabels를 인수 iterationSet 및 « »를 사용한 Block의 ContainsUndefinedContinueTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 iterationSet 및 « »를 사용한 Finally의 ContainsUndefinedContinueTarget을 반환합니다.

try

인수 iterationSet 및 « »를 사용한 Block의 ContainsUndefinedContinueTarget이 true이면, true를 반환합니다.
인수 iterationSet 및 « »를 사용한 Catch의 ContainsUndefinedContinueTarget이 true이면, true를 반환합니다.
인수 iterationSet 및 « »를 사용한 Finally의 ContainsUndefinedContinueTarget을 반환합니다.

catch

(

)

인수 iterationSet 및 « »를 사용한 Block의 ContainsUndefinedContinueTarget을 반환합니다.

[empty]

false를 반환합니다.

[empty]

false를 반환합니다.

hasUndefinedLabels를 인수 iterationSet 및 « »를 사용한 ModuleItemList의 ContainsUndefinedContinueTarget으로 둡니다.
hasUndefinedLabels가 true이면, true를 반환합니다.
인수 iterationSet 및 « »를 사용한 ModuleItem의 ContainsUndefinedContinueTarget을 반환합니다.

false를 반환합니다.

8.4 함수 이름 추론

8.4.1 Static Semantics: HasName

구문 지향 연산 HasName. 인수 없음. 반환값: Boolean. 다음 생성 규칙별로 정의된다.

expr을 CoverParenthesizedExpressionAndArrowParameterList가 포괄하는 ParenthesizedExpression로 둡니다.
expr의 IsFunctionDefinition이 false이면, false를 반환합니다.
expr의 HasName을 반환합니다.

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

ClassExpression

class

false를 반환합니다.

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

class

true를 반환합니다.

8.4.2 Static Semantics: IsFunctionDefinition

구문 지향 연산 IsFunctionDefinition. 인수 없음. 반환값: Boolean. 다음 생성 규칙별로 정의된다.

expr을 CoverParenthesizedExpressionAndArrowParameterList가 포괄하는 ParenthesizedExpression로 둡니다.
expr의 IsFunctionDefinition을 반환합니다.

this

RegularExpressionLiteral

[

]

new

new

OptionalExpression

UpdateExpression

delete

void

typeof

ExponentiationExpression

UpdateExpression

ExponentiationExpression

MultiplicativeExpression

MultiplicativeOperator

ExponentiationExpression

AdditiveExpression

MultiplicativeExpression

AdditiveExpression

MultiplicativeExpression

>>>

instanceof

===

!==

CoalesceExpressionHead

BitwiseORExpression

ConditionalExpression

ShortCircuitExpression

YieldExpression

AssignmentOperator

&&=

||=

??=

false를 반환합니다.

function

opt

(

)

{

}

function

opt

(

)

{

}

async

function

opt

(

)

{

}

async

function

opt

(

)

{

}

class

opt

true를 반환합니다.

8.4.3 Static Semantics: IsAnonymousFunctionDefinition ( `expr` )

추상 연산 IsAnonymousFunctionDefinition. 인수 expr ((an AssignmentExpression Parse Node, an Initializer Parse Node 또는 an Expression Parse Node)). 반환값: Boolean. 인수가 이름을 바인딩하지 않는 함수 정의인지 결정합니다. 호출되면 다음 단계를 수행한다.

expr의 IsFunctionDefinition이 false이면, false를 반환합니다.
hasName을 expr의 HasName으로 둡니다.
hasName이 true이면, false를 반환합니다.
true를 반환합니다.

8.4.4 Static Semantics: IsIdentifierRef

구문 지향 연산 IsIdentifierRef. 인수 없음. 반환값: Boolean. 다음 생성 규칙별로 정의된다.

IdentifierReference

true를 반환합니다.

this

RegularExpressionLiteral

TemplateLiteral

[

]

new

new

OptionalExpression

false를 반환합니다.

8.4.5 Runtime Semantics: NamedEvaluation

구문 지향 연산 NamedEvaluation. 인수 name ((프로퍼티 키 또는 비공개 이름)). 반환값: (정상 완료 (값: 함수 객체) 또는 중도 완료). 다음 생성 규칙별로 정의된다.

expr을 CoverParenthesizedExpressionAndArrowParameterList가 포괄하는 ParenthesizedExpression로 둡니다.
인수 name을 사용한 expr의 ? NamedEvaluation을 반환합니다.

ParenthesizedExpression

(

)

단언: IsAnonymousFunctionDefinition(Expression)은 true입니다.
인수 name을 사용한 Expression의 ? NamedEvaluation을 반환합니다.

function

(

)

{

}

인수 name을 사용한 FunctionExpression의 InstantiateOrdinaryFunctionExpression을 반환합니다.

function

(

)

{

}

인수 name을 사용한 GeneratorExpression의 InstantiateGeneratorFunctionExpression을 반환합니다.

async

function

(

)

{

}

인수 name을 사용한 AsyncGeneratorExpression의 InstantiateAsyncGeneratorFunctionExpression을 반환합니다.

async

function

(

)

{

}

인수 name을 사용한 AsyncFunctionExpression의 InstantiateAsyncFunctionExpression을 반환합니다.

ArrowFunction

인수 name을 사용한 ArrowFunction의 InstantiateArrowFunctionExpression을 반환합니다.

AsyncArrowFunction

async

인수 name을 사용한 AsyncArrowFunction의 InstantiateAsyncArrowFunctionExpression을 반환합니다.

ClassExpression

class

sourceText를 ClassExpression에 일치하는 소스 텍스트로 둡니다.
인수 undefined, name 및 sourceText를 사용한 ClassTail의 ? ClassDefinitionEvaluation을 반환합니다.

8.5 포함 여부

8.5.1 Static Semantics: Contains

구문 지향 연산 Contains. 인수 symbol (문법 기호). 반환값: Boolean.

아래에 나열되지 않은 이 명세의 모든 문법 생성 규칙 대안에는 암묵적으로 다음과 같은 Contains의 기본 정의가 있습니다:

이 Parse Node의 각 자식 노드 child에 대해 다음을 수행합니다.
1. child가 symbol의 인스턴스이면, true를 반환합니다.
2. child가 비단말 기호의 인스턴스이면, 다음을 수행합니다.
  1. contained를 child Contains symbol의 결과로 둡니다.
  2. contained가 true이면, true를 반환합니다.
false를 반환합니다.

function

(

)

{

}

function

(

)

{

}

function

opt

(

)

{

}

function

(

)

{

}

function

(

)

{

}

function

opt

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

opt

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

opt

(

)

{

}

false를 반환합니다.

참고 1

하위 구조에 의존하는 정적 의미 규칙은 일반적으로 함수 정의 내부를 살펴보지 않습니다.

ClassHeritage

opt

{

ClassBody

}

symbol이 ClassBody이면, true를 반환합니다.
symbol이 ClassHeritage이면, 다음을 수행합니다.
1. ClassHeritage가 존재하면, true를 반환합니다.
2. false를 반환합니다.
ClassHeritage가 존재하면, 다음을 수행합니다.
1. ClassHeritage Contains symbol이 true이면, true를 반환합니다.
인수 symbol을 사용한 ClassBody의 ComputedPropertyContains 결과를 반환합니다.

참고 2

하위 구조에 의존하는 정적 의미 규칙은 일반적으로 PropertyName을 제외하고 클래스 본문 내부를 살펴보지 않습니다.

ClassStaticBlock

static

{

ClassStaticBlockBody

}

false를 반환합니다.

참고 3

하위 구조에 의존하는 정적 의미 규칙은 일반적으로 static 초기화 블록 내부를 살펴보지 않습니다.

ArrowFunction

symbol이 NewTarget, SuperProperty, SuperCall, super 또는 this 중 하나가 아니면, false를 반환합니다.
ArrowParameters Contains symbol이 true이면, true를 반환합니다.
ConciseBody Contains symbol을 반환합니다.

formals를 CoverParenthesizedExpressionAndArrowParameterList가 포괄하는 ArrowFormalParameters로 둡니다.
formals Contains symbol을 반환합니다.

AsyncArrowFunction

async

symbol이 NewTarget, SuperProperty, SuperCall, super 또는 this 중 하나가 아니면, false를 반환합니다.
AsyncConciseBody Contains symbol을 반환합니다.

AsyncArrowFunction

symbol이 NewTarget, SuperProperty, SuperCall, super 또는 this 중 하나가 아니면, false를 반환합니다.
head를 CoverCallExpressionAndAsyncArrowHead가 포괄하는 AsyncArrowHead로 둡니다.
head Contains symbol이 true이면, true를 반환합니다.
AsyncConciseBody Contains symbol을 반환합니다.

참고 4

Contains는 ArrowFunction 또는 AsyncArrowFunction 내에서 new.target, this 및 super 사용을 감지하는 데 사용됩니다.

PropertyDefinition

MethodDefinition

symbol이 MethodDefinition이면, true를 반환합니다.
인수 symbol을 사용한 MethodDefinition의 ComputedPropertyContains 결과를 반환합니다.

LiteralPropertyName

false를 반환합니다.

MemberExpression

MemberExpression Contains symbol이 true이면, true를 반환합니다.
false를 반환합니다.

SuperProperty

super

symbol이 ReservedWord super이면, true를 반환합니다.
false를 반환합니다.

CallExpression Contains symbol이 true이면, true를 반환합니다.
false를 반환합니다.

OptionalChain

false를 반환합니다.

OptionalChain

OptionalChain Contains symbol이 true이면, true를 반환합니다.
false를 반환합니다.

8.5.2 Static Semantics: ComputedPropertyContains

구문 지향 연산 ComputedPropertyContains. 인수 symbol (문법 기호). 반환값: Boolean. 다음 생성 규칙별로 정의된다.

false를 반환합니다.

PropertyName

ComputedPropertyName

ComputedPropertyName Contains symbol의 결과를 반환합니다.

MethodDefinition

(

)

{

}

get

(

)

{

}

set

(

PropertySetParameterList

)

{

}

인수 symbol을 사용한 ClassElementName의 ComputedPropertyContains 결과를 반환합니다.

GeneratorMethod

(

)

{

}

인수 symbol을 사용한 ClassElementName의 ComputedPropertyContains 결과를 반환합니다.

AsyncGeneratorMethod

async

(

)

{

}

인수 symbol을 사용한 ClassElementName의 ComputedPropertyContains 결과를 반환합니다.

ClassElementList

ClassElement

inList를 인수 symbol을 사용한 ClassElementList의 ComputedPropertyContains로 둡니다.
inList가 true이면, true를 반환합니다.
인수 symbol을 사용한 ClassElement의 ComputedPropertyContains 결과를 반환합니다.

ClassElement

ClassStaticBlock

false를 반환합니다.

ClassElement

;

false를 반환합니다.

AsyncMethod

async

(

)

{

}

인수 symbol을 사용한 ClassElementName의 ComputedPropertyContains 결과를 반환합니다.

FieldDefinition

opt

인수 symbol을 사용한 ClassElementName의 ComputedPropertyContains 결과를 반환합니다.

8.6 기타

이러한 연산은 명세 전반의 여러 위치에서 사용됩니다.

8.6.1 Runtime Semantics: InstantiateFunctionObject

구문 지향 연산 InstantiateFunctionObject. 인수 envRecord (Environment 레코드) 및 privateEnv ((PrivateEnvironment 레코드 또는 null)). 반환값: ECMAScript 함수 객체. 다음 생성 규칙별로 정의된다.

function

(

)

{

}

function

(

)

{

}

인수 envRecord 및 privateEnv를 사용한 FunctionDeclaration의 InstantiateOrdinaryFunctionObject를 반환합니다.

function

(

)

{

}

function

(

)

{

}

인수 envRecord 및 privateEnv를 사용한 GeneratorDeclaration의 InstantiateGeneratorFunctionObject를 반환합니다.

async

function

(

)

{

}

async

function

(

)

{

}

인수 envRecord 및 privateEnv를 사용한 AsyncGeneratorDeclaration의 InstantiateAsyncGeneratorFunctionObject를 반환합니다.

async

function

(

)

{

}

async

function

(

)

{

}

인수 envRecord 및 privateEnv를 사용한 AsyncFunctionDeclaration의 InstantiateAsyncFunctionObject를 반환합니다.

8.6.2 Runtime Semantics: BindingInitialization

구문 지향 연산 BindingInitialization. 인수 value (ECMAScript 언어 값) 및 envRecord ((Environment 레코드 또는 undefined)). 반환값: (정상 완료 (값: unused) 또는 중도 완료).

참고

envRecord에 undefined를 전달하면 초기화 값을 할당하는 데 PutValue 연산을 사용해야 함을 나타냅니다. 이는 var 문과 일부 비엄격 함수의 형식 매개변수 목록에서 발생합니다(10.2.11 참조). 이러한 경우 렉시컬 바인딩은 이니셜라이저를 평가하기 전에 끌어올려지고 미리 초기화됩니다.

다음 생성 규칙별로 정의된다.

Identifier

name을 Identifier의 StringValue로 둡니다.
? InitializeBoundName(name, value, envRecord)을 반환합니다.

yield

? InitializeBoundName("yield", value, envRecord)을 반환합니다.

await

? InitializeBoundName("await", value, envRecord)을 반환합니다.

? RequireObjectCoercible(value)를 수행합니다.
인수 value 및 envRecord를 사용한 ObjectBindingPattern의 ? BindingInitialization을 반환합니다.

iteratorRecord를 ? GetIterator(value, sync)로 둡니다.
result를 인수 iteratorRecord 및 envRecord를 사용한 ArrayBindingPattern의 IteratorBindingInitialization의 Completion으로 둡니다.
iteratorRecord.[[Done]]이 false이면, ? IteratorClose(iteratorRecord, result)를 반환합니다.
? result를 반환합니다.

{

}

unused를 반환합니다.

{

opt

}

인수 value 및 envRecord를 사용한 BindingPropertyList의 ? PropertyBindingInitialization을 수행합니다.
unused를 반환합니다.

{

BindingRestProperty

}

excludedNames를 새로운 빈 List로 둡니다.
인수 value, envRecord 및 excludedNames를 사용한 BindingRestProperty의 ? RestBindingInitialization을 반환합니다.

{

BindingRestProperty

}

excludedNames를 인수 value 및 envRecord를 사용한 BindingPropertyList의 ? PropertyBindingInitialization으로 둡니다.
인수 value, envRecord 및 excludedNames를 사용한 BindingRestProperty의 ? RestBindingInitialization을 반환합니다.

8.6.2.1 InitializeBoundName ( `name`, `value`, `envRecord` )

추상 연산 InitializeBoundName. 인수 name (String), value (ECMAScript 언어 값) 및 envRecord ((Environment 레코드 또는 undefined)). 반환값: (정상 완료 (값: unused) 또는 중도 완료). 호출되면 다음 단계를 수행한다.

envRecord가 undefined가 아니면, 다음을 수행합니다.
1. ! envRecord.InitializeBinding(name, value)을 수행합니다.
2. unused를 반환합니다.
lhs를 ? ResolveBinding(name)으로 둡니다.
? PutValue(lhs, value)를 반환합니다.

8.6.3 Runtime Semantics: IteratorBindingInitialization

구문 지향 연산 IteratorBindingInitialization. 인수 iteratorRecord (Iterator 레코드) 및 envRecord ((Environment 레코드 또는 undefined)). 반환값: (정상 완료 (값: unused) 또는 중도 완료).

참고

envRecord에 undefined가 전달되면 초기화 값을 할당하는 데 PutValue 연산을 사용해야 함을 나타냅니다. 이는 비엄격 함수의 형식 매개변수 목록에서 발생합니다. 이 경우 동일한 이름을 갖는 여러 매개변수가 존재할 가능성을 처리하기 위해 형식 매개변수 바인딩을 미리 초기화합니다.

다음 생성 규칙별로 정의된다.

[

]

unused를 반환합니다.

[

]

인수 iteratorRecord를 사용한 Elision의 ? IteratorDestructuringAssignmentEvaluation을 반환합니다.

[

opt

]

Elision이 존재하면, 다음을 수행합니다.
1. 인수 iteratorRecord를 사용한 Elision의 ? IteratorDestructuringAssignmentEvaluation을 수행합니다.
인수 iteratorRecord 및 envRecord를 사용한 BindingRestElement의 ? IteratorBindingInitialization을 반환합니다.

[

]

인수 iteratorRecord 및 envRecord를 사용한 BindingElementList의 ? IteratorBindingInitialization을 수행합니다.
인수 iteratorRecord를 사용한 Elision의 ? IteratorDestructuringAssignmentEvaluation을 반환합니다.

[

opt

]

인수 iteratorRecord 및 envRecord를 사용한 BindingElementList의 ? IteratorBindingInitialization을 수행합니다.
Elision이 존재하면, 다음을 수행합니다.
1. 인수 iteratorRecord를 사용한 Elision의 ? IteratorDestructuringAssignmentEvaluation을 수행합니다.
인수 iteratorRecord 및 envRecord를 사용한 BindingRestElement의 ? IteratorBindingInitialization을 반환합니다.

인수 iteratorRecord 및 envRecord를 사용한 BindingElementList의 ? IteratorBindingInitialization을 수행합니다.
인수 iteratorRecord 및 envRecord를 사용한 BindingElisionElement의 ? IteratorBindingInitialization을 반환합니다.

인수 iteratorRecord를 사용한 Elision의 ? IteratorDestructuringAssignmentEvaluation을 수행합니다.
인수 iteratorRecord 및 envRecord를 사용한 BindingElement의 ? IteratorBindingInitialization을 반환합니다.

SingleNameBinding

opt

name을 BindingIdentifier의 StringValue로 둡니다.
lhs를 ? ResolveBinding(name, envRecord)로 둡니다.
value를 undefined로 둡니다.
iteratorRecord.[[Done]]이 false이면, 다음을 수행합니다.
1. next를 ? IteratorStepValue(iteratorRecord)로 둡니다.
2. next가 done이 아니면, 다음을 수행합니다.
  1. value를 next로 설정합니다.
Initializer가 존재하고 value가 undefined이면, 다음을 수행합니다.
1. IsAnonymousFunctionDefinition(Initializer)이 true이면, 다음을 수행합니다.
  1. value를 인수 name을 사용한 Initializer의 ? NamedEvaluation으로 설정합니다.
2. 그렇지 않으면,
  1. defaultValue를 Initializer의 ? Evaluation으로 둡니다.
  2. value를 ? GetValue(defaultValue)로 설정합니다.
envRecord가 undefined이면, ? PutValue(lhs, value)를 반환합니다.
? InitializeReferencedBinding(lhs, value)을 반환합니다.

opt

value를 undefined로 둡니다.
iteratorRecord.[[Done]]이 false이면, 다음을 수행합니다.
1. next를 ? IteratorStepValue(iteratorRecord)로 둡니다.
2. next가 done이 아니면, 다음을 수행합니다.
  1. value를 next로 설정합니다.
Initializer가 존재하고 value가 undefined이면, 다음을 수행합니다.
1. defaultValue를 Initializer의 ? Evaluation으로 둡니다.
2. value를 ? GetValue(defaultValue)로 설정합니다.
인수 value 및 envRecord를 사용한 BindingPattern의 ? BindingInitialization을 반환합니다.

...

lhs를 ? ResolveBinding(BindingIdentifier의 StringValue, envRecord)로 둡니다.
array를 ! ArrayCreate(0)으로 둡니다.
n을 0으로 둡니다.
다음을 반복합니다.
1. next를 done으로 둡니다.
2. iteratorRecord.[[Done]]이 false이면, 다음을 수행합니다.
  1. next를 ? IteratorStepValue(iteratorRecord)로 설정합니다.
3. next가 done이면, 다음을 수행합니다.
  1. envRecord가 undefined이면, ? PutValue(lhs, array)를 반환합니다.
  2. ? InitializeReferencedBinding(lhs, array)을 반환합니다.
4. ! CreateDataPropertyOrThrow(array, ! ToString(𝔽(n)), next)를 수행합니다.
5. n을 n + 1로 설정합니다.

...

array를 ! ArrayCreate(0)으로 둡니다.
n을 0으로 둡니다.
다음을 반복합니다.
1. next를 done으로 둡니다.
2. iteratorRecord.[[Done]]이 false이면, 다음을 수행합니다.
  1. next를 ? IteratorStepValue(iteratorRecord)로 설정합니다.
3. next가 done이면, 다음을 수행합니다.
  1. 인수 array 및 envRecord를 사용한 BindingPattern의 ? BindingInitialization을 반환합니다.
4. ! CreateDataPropertyOrThrow(array, ! ToString(𝔽(n)), next)를 수행합니다.
5. n을 n + 1로 설정합니다.

[empty]

unused를 반환합니다.

FunctionRestParameter

인수 iteratorRecord 및 envRecord를 사용한 FormalParameterList의 ? IteratorBindingInitialization을 수행합니다.
인수 iteratorRecord 및 envRecord를 사용한 FunctionRestParameter의 ? IteratorBindingInitialization을 반환합니다.

FormalParameter

인수 iteratorRecord 및 envRecord를 사용한 FormalParameterList의 ? IteratorBindingInitialization을 수행합니다.
인수 iteratorRecord 및 envRecord를 사용한 FormalParameter의 ? IteratorBindingInitialization을 반환합니다.

value를 undefined로 둡니다.
단언: iteratorRecord.[[Done]]은 false입니다.
next를 ? IteratorStepValue(iteratorRecord)로 둡니다.
next가 done이 아니면, 다음을 수행합니다.
1. value를 next로 설정합니다.
인수 value 및 envRecord를 사용한 BindingIdentifier의 ? BindingInitialization을 반환합니다.

formals를 CoverParenthesizedExpressionAndArrowParameterList가 포괄하는 ArrowFormalParameters로 둡니다.
인수 iteratorRecord 및 envRecord를 사용한 formals의 ? IteratorBindingInitialization을 반환합니다.

value를 undefined로 둡니다.
단언: iteratorRecord.[[Done]]은 false입니다.
next를 ? IteratorStepValue(iteratorRecord)로 둡니다.
next가 done이 아니면, 다음을 수행합니다.
1. value를 next로 설정합니다.
인수 value 및 envRecord를 사용한 BindingIdentifier의 ? BindingInitialization을 반환합니다.

8.6.4 Static Semantics: AssignmentTargetType

구문 지향 연산 AssignmentTargetType. 인수 없음. 반환값: (simple, web-compat 또는 invalid). 다음 생성 규칙별로 정의된다.

IdentifierReference

Identifier

IsStrict(this IdentifierReference)가 true이고 Identifier의 StringValue가 "eval" 또는 "arguments"이면, invalid를 반환합니다.
simple을 반환합니다.

IdentifierReference

yield

await

[

]

[

]

simple을 반환합니다.

expr을 CoverParenthesizedExpressionAndArrowParameterList가 포괄하는 ParenthesizedExpression로 둡니다.
expr의 AssignmentTargetType을 반환합니다.