15.12.3 stringify ( value [ , replacer [ , space ] ] ) / Standard ECMA-262 5.1 Edition

1. stack は、カラのリストとする
2. indent は、カラの文字列とする
3. PropertyList と ReplacerFunction は、 undefined とする
4. Type(replacer) が、 Object である場合、
	a. IsCallable(replacer) が、 true である場合、
		i. ReplacerFunction は、 replacer とする
	b. replacer の内部プロパティ[[Class]]が、"Array" である場合、
		i. PropertyList は、カラの内部リストとする
		ii. replacer のプロパティの値 v ごとに配列インデックスプロパティ名を持つ
		   プロパティは、それらの名称の配列インデックス順における昇順で列挙される
			1. item は、 undefined とする
			2. Type(v) が、 String である場合、 item は、 v とする
			3. Type(v) が、 Number である場合、 item は、 ToString(v) とする
			4. Type(v) が、 Object である場合、
				a  v の内部プロパティ[[Class]]が、"String" または、 "Number" である場合、 item は、 ToString(v) とする
			5. item が、undefined でなく、且つ、 item が、現在の PropertyList の要素ではない場合、
				a  PropertyList の末尾に item を付加する
5. Type(space) が、 Object である場合、
	a. space の内部プロパティ[[Class]]が、"Number"である場合、
		i. space は、 ToNumber(space) とする
	b. space の内部プロパティ[[Class]]が、"String"である場合、
		i. space は、 ToString(space) とする
6. Type(space) が、 Number である場合、
	a. space は、 min(10, ToInteger(space)) とする
	b. gap に空白文字 space を含むStringを設定する
	  これは、 space が、1よりも小さい場合、カラの文字列となるでしょう。
7.  Type(space) が、 String である場合、
	a. space 内にある文字数が、 10未満である場合、 gap に space を設定し、それ以外の場合、 gap に space の最初の10文字を含む文字列を設定
8.それ以外の場合、
	a. gap にカラの文字列を設定する
9. wrapper は、その名称を持つ標準組み込みコンストラクタであるObjectを式 new Object() によるかのように生成した新たなオブジェクトとする
10.引数にカラの文字列、プロパティ記述子  {[[Value]]: value, [[Writable]]: true, [[Enumerable]]: true, [[Configurable]]: true}、 false を伴う wrapper の内部メソッド[[DefineOwnProperty]]を呼ぶ
11.カラの文字列と wrapper を伴う抽象操作 Str を呼んだ結果を返す

1. value は、引数 key を伴う holder の内部メソッド[[Get]]を呼んだ結果とする
2. Type(value) が、 Object である場合、
	a. toJSON は、引数  "toJSON"を伴う value の内部メソッド[[Get]]を呼んだ結果とする
	b. IsCallable(toJSON) が、 true である場合、
		i. value は、 this 値として value と keyから構成される引数リストを渡して toJSON の内部メソッド[[Call]]を呼んだ結果とする
3. ReplacerFunction が、 undefined ではない場合、
	a. value は、 this 値として holder と key と value で構成される引数リストを渡して ReplacerFunction の内部メソッド[[Call]]を呼んだ結果とする
4. Type(value) が、 Object である場合、
	a. value の内部プロパティ[[Class]]が、"Number"である場合、
		i. value は、 ToNumber(value) とする
	b. value の内部プロパティ[[Class]]が、"String"である場合、
		i. value は、 ToString(value) とする
	c. value の内部プロパティ[[Class]]が、"Boolean"である場合、
		i.  value は、value の内部プロパティ[[PrimitiveValue]]の値とする
5. value が、 null である場合、"null"を返す
6. value が、 true である場合、"true"を返す
7. value が、 false である場合、"false"を返す
8. Type(value) が、 String である場合、引数 value を伴う抽象操作 Quote を呼んだ結果を返す
9. Type(value) が、 Number である場合、
	a. value が、有限である場合、 ToString(value) を返す
	b.それ以外の場合、"null"を返す
10. Type(value) が、 Object、且つ、 IsCallable(value) が、 false である場合、
	a. value の内部プロパティ[[Class]]が、"Array"である場合、
		i.引数 value を伴う抽象操作 JA を呼んだ結果を返す
	b.それ以外の場合、引数 value を伴う抽象操作 JO を呼んだ結果を返す
11. undefined を返す

1. product は、ダブルクォート文字とする
2. value 内の文字 C ごとに
	a. C が、ダブルクォート文字、または、バックスラッシュ文字である場合、
		i. product は、 product とバックスラッシュ文字を連結したものとする
		ii. product は、 product と C を連結したものとする
	b. C が、バックスペース、フォームフィード、ニューライン、キャリッジリターン、タブ である場合、
		i. product は、 product とバックスラッシュ文字を連結したものとする
		ii. abbrev は、次のような C の値と一致する文字とする
			backspace		"b"
			formfeed		"f"
			newline			"n"
			carriage return	"r"
			tab			"t"
		iii. product は、 product と abbrev を連結したものとする
	c. C が、その空白文字よりも小さいコードユニット値を持つ制御文字である場合、
		i. product は、 product とバックスラッシュ文字を連結したものとする
		ii. product は、 product と "u" を連結したものとする
		iii. hex は、 C の数値のコードユニット値を4つの16進数から成る文字列に変換した結果とする
		iv. product は、 product と hex を連結したものとする
	d.それ以外の場合、
		i. product は、 product と C を連結したものとする
3. product は、 product とダブルクォート文字を連結したものとする
4. product を返す

1. stack が、 value を含む場合、構造が循環的(循環構造)である為、TypeError例外を投げる(スローする)
2. stack に value を付加
3. stepback は、 indent とする
4. indent は、 indent と gap を連結したものとする
5. PropertyList が、undefined ではない場合、
	a. K は、 PropertyList とする
6.それ以外の場合、
	a. K は、[[Enumerable]]属性がtrueである value 自身のプロパティ全ての名称から成る文字列の内部リストとする
	  文字列の順序は、標準組み込み関数 Object.keys によって使用したのと同様とすべき
7. partial は、カラのリストとする
8. K の要素 P ごとに
	a. strP は、引数 P と value を伴う抽象操作 Str を呼んだ結果とする
	b. strP が、 undefined ではない場合、
		i. member は、引数 P を伴う抽象操作 Quote を呼んだ結果とする
		ii. member は、 member とコロン文字を連結したものとする
		iii. gap がカラの文字列ではない場合、
			1. member は、 member と空白文字を連結したものとする
		iv. member は、 member と strP を連結したものとする
		v. partial に member を付加する
9. partial がカラである場合、
	a. final は、 "{}" とする
10.それ以外の場合、
	a. gap が、カラの文字列である場合、
		i. properties は、カンマ文字を伴って分割した文字列の隣接するペアごとの一部の要素の文字列全てを連結することによって形成した文字列とする
		  カンマは、最初の文字列の前、または、最後の文字列の後の何れかには挿入されない
		ii. final は、"{"、 properties 、 "}" を連結した結果とする
	b.それ以外の場合、 gap は、カラの文字列ではなく、
		i. separator は、カンマ文字、ラインフィード文字、 indent を連結した結果とする
		ii. properties は、セパレータを伴って分割した文字列の隣接するペアごとに一部の要素の文字列全てを連結することによって形成した文字列とする
		   セパレータ文字列は、最初の文字列の前、または、最後の文字列の後の何れかには挿入されない
		iii. final は、 "{"、 そのラインフィード文字、 indent、 properties、そのラインフィード文字、stepback、"}" を連結した結果とする
11. stack の最後の要素を削除する
12. indent は、 stepback とする
13. final を返す

1. stack が、 value を含む場合、構造が循環する為、TypeError例外を投げる(スローする)
2. stack に value を付加(追加)
3. stepback は、 indent とする
4. indent は、 indent と gap の連結したものとする
5. partial は、カラのリストとする
6. len は、引数"length"を伴う value の内部メソッド[[Get]]を呼んだ結果とする
7. index は、 0 とする
8. while index < len という条件下で繰り返す
	a. strP は、引数 ToString(index) と value を伴う抽象操作 Str を呼んだ結果とする
	b. strP が、 undefined である場合、
		i. partial に "null" を付加(追加)
	c.それ以外の場合、
		i. partial に strP を付加(追加)
	d. index を1で増分する
9. partial が、カラである場合、
	a. final は、 "[]" とする
10.それ以外の場合、
	a. gap が、カラの文字列である場合、
		i. properties は、カンマ文字を伴って分割した隣接する文字列のペアごとに partial の要素文字列全てを連結することによって形成した文字列とする
		  カンマは、最初の文字列の前、または、最後の文字列の後に挿入されることはないものとする
		ii. final は、 "[", properties, "]" を連結した結果とする
	b. それ以外の場合、
		i. separator は、カンマ文字、ラインフィード文字、 indent を連結した結果とする
		ii. properties は、セパレータで区切られた隣接する文字列のペアごとに partial の要素文字列全てを連結することによって形成した文字列とする
		   セパレータ文字は、最初文字列の前、または、最後の文字列の後に挿入されることはないものとする
		iii. final は、"["、 そのラインフィード文字、indent 、 properties 、そのラインフィード文字、 stepback 、"]" を連結した結果とする
11. stack の最後の要素を削除する
12. indent は、 stepback とする
13. final を返す

a = [];
a[0] = a;
my_text = JSON.stringify(a); // これは、TypeErrorを投げなければいけない