11.1 主要な式 / Primary Expressions / Standard ECMA-262 5.1 Edition

【構文】
ArrayLiteral :
[ Elisionopt ]
[ ElementList ]
[ ElementList , Elisionopt ]

ElementList :
Elisionopt AssignmentExpression
ElementList , Elisionopt AssignmentExpression

Elision :
,
Elision ,

1. array は、配列が名前付き標準組み込みコンストラクタとなる式 new Array() であるかのように新たなオブジェクトを生成したものを結果とする
2. pad は、Elisionを評価したものを結果とし、存在しない場合には、数値ゼロを使用
3.引数 "length "、pad 、false を伴う配列の[[Put]]内部メソッドを呼ぶ
4. array を返す

1.ElementListを評価した結果を返す

1. array は、ElementListを評価した結果とする
2. pad は、Elisionを評価した結果とし、存在しなければ、数値ゼロを使用
3. len は、引数 "length " を伴う配列の[[Get]]内部メソッドを呼び結果とする
4.引数 "length " 、ToUint32(pad+len)、false を伴う配列の[[Put]]内部メソッドを呼ぶ
5. array を返す

1. array は、名前付き標準組み込みコンストラクタである配列となる式 new Array() によるかのように新たなオブジェクトを生成したものを結果とする
2. firstIndex は、Elisionを評価したものを結果とし、存在しない場合、数値ゼロを使用
3. initResult は、AssignmentExpressionを評価した結果とする
4. initValue は、 GetValue(initResult) とする
5.引数 ToString(firstIndex)、プロパティ記述子 { [[Value]]: initValue, [[Writable]]: true, [[Enumerable]]: true, [[Configurable]]: true}、falseを伴う配列の[[DefineOwnProperty]]内部メソッドを呼ぶ
6. array を返す

1. array は、ElementListを評価したものを結果とする
2. pad は、Elisionを評価したものを結果とし、存在しない場合、数値ゼロを使用
3. initResult は、AssignmentExpressionを評価した結果とする
4. initValue は、GetValue(initResult) とする
5. len は、引数 "length "を伴う配列の[[Get]]内部メソッドを呼び結果とする
6.引数 ToString(ToUint32((pad+len)) 、プロパティ記述子 { [[Value]]: initValue, [[Writable]]: true, [[Enumerable]]: true, [[Configurable]]: true}、falseを伴う配列の[[DefineOwnProperty]]内部メソッドを呼ぶ
7. array を返す

1.数値1を返す

1. preceding は、Elisionを評価した結果とする
2. preceding+1 を返す

【構文】
ObjectLiteral :
	{ }
	{ PropertyNameAndValueList }
	{ PropertyNameAndValueList , }

PropertyNameAndValueList :
	PropertyAssignment
	PropertyNameAndValueList , PropertyAssignment

PropertyAssignment :
	PropertyName : AssignmentExpression
	get PropertyName ( ) { FunctionBody }
	set PropertyName ( PropertySetParameterList ) { FunctionBody }

PropertyName :
	IdentifierName
	StringLiteral
	NumericLiteral

PropertySetParameterList :
	Identifier

1.名前付き標準組み込みコンストラクタであるObjectとなる式 new Object() によるかのように生成した新たなオブジェクトを返す

1.PropertyNameAndValueListを評価した結果を返す

1. obj は、名前付き標準組み込みコンストラクタであるObjectとなる式 new Object() によるかのように新たなオブジェクトを生成した結果とする
2. propId は、PropertyAssignmentを評価した結果とする
3.引数 propId.name、propId.descriptor、falseを伴う obj の[[DefineOwnProperty]]内部メソッドを呼ぶ
4. obj を返す

1. obj は、PropertyNameAndValueListを評価した結果とする
2. propId は、PropertyAssignmentを評価した結果とする
3. previous は、引数 propId.name を伴う obj の[[GetOwnProperty]]内部メソッドを呼び結果とする
4. previous がundefinedではない場合、次の何れかの条件がtrueである場合、SyntaxError例外を投げる(スローする)
	a.strict(厳格)コードとIsDataDescriptor(previous)に含まれるプロダクションが true 且つ、 IsDataDescriptor(propId.descriptor) が true
	b. IsDataDescriptor(previous) が true 且つ、 IsAccessorDescriptor(propId.descriptor) が true
	c. IsAccessorDescriptor(previous)  が true 且つ、IsDataDescriptor(propId.descriptor) が true
	d. IsAccessorDescriptor(previous) が true 且つ、 IsAccessorDescriptor(propId.descriptor) が true、且つ、 previous と propId.descriptor の双方何れかが[[Get]]項目を持つか、または previous と propId.descriptor の双方何れかが[[Set]]項目を持つ
5.引数 propId.name、propId.descriptor、falseを伴う obj の[[DefineOwnProperty]]内部メソッドを呼ぶ
6. obj を返す

1. propName は、PropertyNameを評価した結果とする
2. exprValue は、AssignmentExpressionを評価した結果とする
3. propValue  は、 GetValue(exprValue) とする
4. desc は、プロパティ記述子 {[[Value]]: propValue, [[Writable]]: true, [[Enumerable]]: true, [[Configurable]]: true} とする
5.プロパティ識別子(propName、desc)を返す

1. propName は、PropertyNameを評価した結果とする
2. closure は、カラのパラメータリストとFunctionBodyによって指定した body を伴い、 13.2 で指定したように新たなFunctionオブジェクトを生成した結果とする
   Scope のように実行中の実行コンテキストのLexicalEnvironment内で渡す
   PropertyAssignment が、strict(厳格)コード内に含まれたり、そのFunctionBodyが、strict(厳格)コードである場合にはStrictフラグがtrueの場合に渡す
3. desc は、プロパティ記述子 {[[Get]]: closure, [[Enumerable]]: true, [[Configurable]]: true} とする
4.プロパティ識別子(propName、desc)を返す

1. propName は、PropertyNameを評価した結果とする
2. closure は、PropertySetParameterListによって指定したパラメータとFunctionBodyによって指定した body を伴い、 13.2 で指定したように新たなFunctionオブジェクトを生成した結果とする
   その Scope として実行中の実行コンテキストのLexicalEnvironment内で渡す
   PropertyAssignment が、strict(厳格)コード内に含まれたり、そのFunctionBodyが、strict(厳格)コードである場合にはStrictフラグがtrueの場合に渡す
3. desc は、プロパティ記述子 {[[Set]]: closure, [[Enumerable]]: true, [[Configurable]]: true} とする
4.プロパティ識別子(propName、desc)を返す

1.IdentifierNameとして同じ文字の並びを含むString型の値を返す

1.StringLiteral の SV を返す

1. nbr は、NumericLiteralの値を形成した結果とする
2. ToString(nbr) を返す

1.Expressionを評価した結果を返す
  これはReference型になる場合もある