9.2 PrivateEnvironment Records
A PrivateEnvironment Record is a specification mechanism used to track
Each
Field Name | Value Type | Meaning |
---|---|---|
[[OuterPrivateEnvironment]] |
a |
The |
[[Names]] |
a |
The |
9.2.1 PrivateEnvironment Record Operations
The following
9.2.1.1 NewPrivateEnvironment ( outerPrivEnv )
The abstract operation NewPrivateEnvironment takes argument outerPrivEnv (a
- Let names be a new empty
List . - Return the
PrivateEnvironment Record { [[OuterPrivateEnvironment]]: outerPrivEnv, [[Names]]: names }.
9.2.1.2 ResolvePrivateIdentifier ( privEnv, identifier )
The abstract operation ResolvePrivateIdentifier takes arguments privEnv (a
- Let names be privEnv.[[Names]].
- For each
Private Name pn of names, do- If pn.[[Description]] is identifier, then
- Return pn.
- If pn.[[Description]] is identifier, then
- Let outerPrivEnv be privEnv.[[OuterPrivateEnvironment]].
Assert : outerPrivEnv is notnull .- Return
ResolvePrivateIdentifier (outerPrivEnv, identifier).