LexicallyScopedDeclarations

Block

1. StatementList : StatementList StatementListItem //StatementListItem can be Statement or Declaration

       Let declarations be LexicallyScopedDeclarations of StatementList.
       Append to declarations the elements of the LexicallyScopedDeclarations of StatementListItem.
       Return declarations.
   

2. StatementListItem : Declaration

       Return a new List containing the Declaration
   

FunctionStatementList : StatementList or Script

    Return the TopLevelLexicallyScopedDeclarations of StatementList.

LabelledItem : FunctionDeclaration

Return a new List containing FunctionDeclaration.

Others

not documented in ecma documents

`catch ( CatchParameter ) Block` is not mentioned, but according to "Runtime Semantics: CatchClauseEvaluation", CatchParameter should be Lexically Declared