TopLevelVarScopedDeclarations

Block

1. Block : { }

       Return a new empty List.
   

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

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

3. StatementListItem : Declaration

       if is function Declaration, return a list contains the Declaration// function is not taken as Lex but top level Var!
   

Label Statement

LabelledStatement : LabelIdentifier : LabelledItem

    Return the TopLevelVarScopedDeclarations of LabelledItem.

LabelledItem : Statement

    // recursive to the last non-labelled Statement
    If Statement is Statement : LabelledStatement , return TopLevelVarScopedDeclarations of Statement
    Return VarScopedDeclarations of Statement.

Others

not documented in ecma documents

TopLevelLexicallyScopedDeclarations

Block

1. Block : { }

       Return a new empty List.
   

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

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

3. StatementListItem : Statement

       Return a new empty List.//VariableStatement contribute to Var instead of Lex
   

4. StatementListItem : Declaration

       if Declaration is `let ` or `const `, return a new List containing Declaration;
       else Return a new empty List// TopLevel functions are taken as Var instead
   

Labelled Statements

Return a new empty List

Others

not documented in ecma documents

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

VarScopedDeclarations

Block

1. Block : { }

       Return a new empty List.
   

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

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

3. StatementListItem : Declaration

       Return a new empty List// `let ` or `const ` Declaration is Lex, funct decl is top Var
   

Variable Statement

Return a new List contains all VariableDeclaration

FunctionStatementList : StatementList or Script

    Return the TopLevelVarScopedDeclarations of StatementList.

Statements contains subs

if/while/for/with/switch/label/try Statement, return a new List contains all VariableDeclaration of the sub(s)

for the case of `for(var `, the new List is pre-feed.

note in `catch ( CatchParameter ) Block`, CatchParameter is not included.

note in label Statement, `LabelledItem : FunctionDeclaration` Return a new empty List.

Others

not documented in ecma documents

let, var and const

function outer_func()
{
    {{
        var var01 = "var01";
        let innerLet = "innerLet";//        const innerCst = "innerCst";

        function inner_func()
        {
            alert("inner_func");
        }
    }}
    // var01 is accessible here
    // it's an early error to access innerLet here

    inner_func();
}

outer_func();

GetSuperConstructor

return GetThisEnvironment().[[FunctionObject]].[[GetPrototypeOf]]()

example

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/super : super([arguments]) // calls the parent constructor.

12.3.7.1 Runtime Semantics: Evaluation of super . IdentifierName

SuperProperty : super . IdentifierName:

1. Let env be GetThisEnvironment()// loop up LexicalEnvironment until found an Environment who's HasThisBinding() returns true.
2. Let actualThis be ?env.GetThisBinding()
3. Let propertyKey be StringValue of IdentifierName
4. If the code matched by this SuperProperty is strict mode code, let strict be true; else let strict be false.
5. Let baseValue be ?env.GetSuperBase():
   • Let home be envRec.[[HomeObject]].
   • If home has the value undefined, return undefined.
   • Return ? home.[[GetPrototypeOf]]().
6. Return a value of type Reference that is a Super Reference whose base value component is baseValue, whose referenced name component is propertyKey, whose thisValue component is actualThis, and whose strict reference flag is strict.