| 311 | } |
| 312 | |
| 313 | execStateScopeType(type) { |
| 314 | switch (type) { |
| 315 | case "global": return this.ScopeType.Global; |
| 316 | case "local": return this.ScopeType.Local; |
| 317 | case "with": return this.ScopeType.With; |
| 318 | case "closure": return this.ScopeType.Closure; |
| 319 | case "catch": return this.ScopeType.Catch; |
| 320 | case "block": return this.ScopeType.Block; |
| 321 | case "script": return this.ScopeType.Script; |
| 322 | case "eval": return this.ScopeType.Eval; |
| 323 | case "module": return this.ScopeType.Module; |
| 324 | default: %AbortJS("Unexpected scope type"); |
| 325 | } |
| 326 | } |
| 327 | |
| 328 | execStateScopeObjectProperty(serialized_scope, prop) { |
| 329 | let found = null; |