10.6 argumentsオブジェクト / Arguments Object / Standard ECMA-262 5.1 Edition

1. len は、args 内の要素の数とする
2. obj は、新たなECMAScriptオブジェクトを生成したものを結果とする
3. 8.12 で記述したように obj の全ての内部メソッドを設定
4. obj の[[Class]]内部プロパティに"Arguments"を設定
5. Object は、標準組み込みObjectコンストラクタ(15.2.2)とする
6. obj の[[Prototype]]内部プロパティに標準組み込みObjectのプロトタイプオブジェクト(15.2.4)を設定
7.引数として"length"、Property Descriptor(プロパティ記述子) {[[Value]]: len, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true}、falseを渡すことによって obj 上で[[DefineOwnProperty]]内部メソッドを呼ぶ
8. map は、名前付き標準組み込みコンストラクタであるObjectである式 new Object() によるかのように新たなオブジェクトを生成することで結果とする
9. mappedNames は、カラのListとする
10. indx = len - 1 とする
11. indx >= 0 である間繰り返す
	a. val は、0基準リスト(0-origined list)の位置 indx における args の要素とする
	b. 引数として ToString(indx)、プロパティ記述子 {[[Value]]: val, [[Writable]]: true, [[Enumerable]]: true, [[Configurable]]: true}、falseを渡すことによって obj 上で[[DefineOwnProperty]]内部メソッドを呼ぶ
	c. indx が names にある要素数よりも小さい場合、
		i. name は、0基準リスト(0-origined list)の位置 indx における names の要素とする
		ii. strict が、falseで且つ name が mappedNames の要素ではない場合、
			1.リストmappedNamesの要素の1つとして name を追加
			2. g は、引数 name と env を伴う抽象操作MakeArgGetterを呼んだ結果とする
			3. p は、引数 name と env を伴う抽象操作MakeArgSetterを呼んだ結果とする
			4.引数として ToString(indx)、プロパティ記述子 {[[Set]]: p, [[Get]]: g, [[Configurable]]: true}、false を渡すことによって map の[[DefineOwnProperty]]内部メソッドを呼ぶ
	d. indx = indx - 1 とする
12. mappedNames がカラではない場合、
	a. obj の[[ParameterMap]]内部プロパティに map を設定
	b. obj の[[Get]]、[[GetOwnProperty]]、[[DefineOwnProperty]]、[[Delete]]内部メソッドに以下で提供した定義を設定
13. strict が、false である場合、
	a.引数として"callee"、プロパティ記述子 {[[Value]]: func, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true}、false を渡すことによって obj 上で[[DefineOwnProperty]]内部メソッドを呼ぶ
14.それ以外の場合、strict は、true となるので
	a. thrower は、[[ThrowTypeError]]関数Object(13.2.3)とする
	b.引数 "caller"、プロパティ記述子 {[[Get]]: thrower, [[Set]]: thrower, [[Enumerable]]: false, [[Configurable]]: false}、falseを伴う obj の[[DefineOwnProperty]]メソッドを呼ぶ
	c.引数 "callee"、プロパティ記述子 {[[Get]]: thrower, [[Set]]: thrower, [[Enumerable]]: false, [[Configurable]]: false}、falseを伴う obj の[[DefineOwnProperty]]メソッドを呼ぶ
15. obj を返す

1. body は、文字列 "return "、name、";"を連結したものを結果とする
2.FormalParameterListがなく、FunctionBodyについては body 、Scopeとして env 、Strictについては trueとして使用することによって 13.2 で説明したように関数オブジェクトを生成した結果を返す

1. param は、文字列  "_arg" と連結した文字列 name とする
2. body は、name の値によって置換される <name> と param の値によって置換される <param> で文字列 "<name> = <param>;" とする
3.FormalParameterListとして単独の文字列 param を含む List 、FunctionBodyについては body 、Scopeとして env 、Strictについては true を使用して 13.2 で説明したように関数オブジェクトを生成した結果を返す

1. map は、引数 object の[[ParameterMap]]内部プロパティの値とする
2. isMapped は、引数として P を渡すことによって map の[[GetOwnProperty]]内部メソッドを呼んだ結果とする
3. isMapped の値が undefined である場合には、
	a. v は、引数として P を渡すことによって引数 objectにおける既定の[[Get]] 内部メソッド (8.12.3) を呼んだ結果とする
	b. P が、"caller" である場合、 v は、strict(厳格)モードのFunctionオブジェクトであり、TypeError例外を投げる(スローする)
	c. v を返す
4.それ以外の場合、 map は、 P における正規なパラメータマッピングを含む為、
	a.引数として P を渡すことによって map の[[Get]]内部メソッドを呼んだ結果を返す

1. desc は、引数として P を渡すことによって 引数 object における既定の[[GetOwnProperty]]内部メソッド (8.12.1) を呼んだ結果とする
2. desc が、undefinedである場合、 desc を返す
3. map は、argumentsオブジェクトの[[ParameterMap]]内部プロパティの値とする
4. isMapped は、引数として P を渡すことによって map の[[GetOwnProperty]]内部メソッドを呼んだ結果とする
5. isMapped の値が、undefinedである場合、
	a. desc.[[Value]] に引数として P を渡すことによって map の[[Get]]内部メソッドを呼んだ結果を設定
6. desc を返す

1. map は、引数 s オブジェクトの[[ParameterMap]]内部プロパティの値とする
2. isMapped は、引数として P を渡すことによって map の[[GetOwnProperty]]内部メソッドを呼んだ結果とする
3. allowed は、引数として P、Desc、false を渡すことによってargumentsオブジェクトにおける既定の[[DefineOwnProperty]]内部メソッド (8.12.9) を呼んだ結果とする
4. allowed が、false である場合、
	a. Throw が、true である場合、TypeError例外を投げ、それ以外は、falseを返す
5. isMapped の値が、undefinedである場合、
	a. IsAccessorDescriptor(Desc) が、true であれば、
		i.引数として P 、false を渡すことによって map の[[Delete]]内部メソッドを呼ぶ
	b.それ以外の場合、
		i. Desc.[[Value]] が、存在する場合、
			1.引数としてP 、 Desc.[[Value]] 、 Throw を渡すことによって map の [[Put]]内部メソッドを呼ぶ
		ii. Desc.[[Writable]] が、存在し、且つ、その値が falseである場合、
			1.引数としてP 、falseを渡すことによって map の[[Delete]]内部メソッドを呼ぶ
6. true を返す

1. map は、argumentsオブジェクトの[[ParameterMap]]内部プロパティの値とする
2. isMapped は、引数として P を渡すことによって map の[[GetOwnProperty]]内部メソッドを呼んだ結果とする
3. result は、引数として P 、 Throwを渡すことによってargumentsオブジェクトにおける既定[[Delete]]内部メソッド (8.12.7) を呼んだ結果とする
4. result が、true かつ、 isMapped の値が、undefined ではない場合、
	a.引数として P 、 falseを渡すことによって map の[[Delete]]内部メソッドを呼ぶ
5. result を返す