文字列で記述されているJSON形式をそのままJSON形式にしたい

Question

実現したいこと

次のような形で，JSON形式の抽象構文木が文字列の形で得られるのを，文字列としてのJSON形式でなく，中身としてのJSON形式で得たいです．
「該当ソースコード」の部分でいう，programにこの文字列が入っています．

'{
    "Token": {
        "Token": {
            "type": "LOOP",
            "literal": "loop"
        }
    },
    "Expression": {
        "Token": {
            "Token": {
                "type": "LOOP",
                "literal": "loop"
            }
        },
        "Condition": {
            "Token": {
                "Token": {
                    "type": "INT",
                    "literal": "10"
                }
            },
            "Value": 10
        },
        "Consequence": {
            "Token": {
                "Token": {
                    "type": "LBRACE",
                    "literal": "{"
                }
            },
            "Statements": [
                {
                    "Token": {
                        "Token": {
                            "type": "IDENT",
                            "literal": "play"
                        }
                    },
                    "Expression": {
                        "Token": {
                            "Token": {
                                "type": "LPAREN",
                                "literal": "("
                            },
                            "Function": {
                                "Token": {
                                    "Token": {
                                        "type": "IDENT",
                                        "literal": "play"
                                    },
                                    "Value": "play"
                                }
                            }
                        },
                        "Arguments": [
                            {
                                "Token": {
                                    "Token": {
                                        "type": "INT",
                                        "literal": "60"
                                    }
                                },
                                "Value": 60
                            },
                            {
                                "Token": {
                                    "Token": {
                                        "type": "FLOAT",
                                        "literal": "0.1"
                                    }
                                },
                                "Value": 0.1
                            }
                        ]
                    }
                }
            ]
        }
    }
} '

困っていること・試したこと

JSON.JSON.stringifyでJSON形式を得ようと思ったのですが，この関数を使用すると，
JSON.JSON.stringify("{true}"); // '"{true}"'
のような形で得てしまっているのですが，ほしいのは'{true}'なのでずれが生じてしまっています．
https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Global_Objects/JSON/stringify

前提

該当のソースコード

var xml = "";
function makeAST(){
  var scriptdata = document.getElementById("codeInput").value;
  const l = newLexer(scriptdata);
  const p = newParser(l);
  const program = p.parseProgram();
  checkParserErrors(p);

  const JSONobj = JSON.stringify(program)
  xml = makeXML(JSONobj);
  return;
}

// Function to convert JSON AST to XML
function makeXML(ast) {
    let xml = '';
    xml += '<xml xmlns="http://www.w3.org/1999/xhtml">';
    xml += traverseAST(ast);
    xml += '</xml>';
    return xml;
}

// Function to traverse the AST and generate XML
function traverseAST(node) {
    let xml = '';
    // Handle different types of nodes in your AST
    if (node.Token && node.Token.type === 'LOOP') {
        xml += '<block type="controls_repeat_ext" id="T,:lx`qH6`%re*cN8lOx" x="-5" y="23">';
        xml += '<value name="TIMES">';
        xml += `<shadow type="math_number" id="GamoPT;mPC@7[FE#B4W!"><field name="NUM">${node.Expression.Condition.Value}</field></shadow>`;
        xml += '</value>';
        xml += '<statement name="DO">';
        xml += traverseStatements(node.Expression.Consequence.Statements);
        xml += '</statement>';
        xml += '</block>';
    }
    // Add handling for other types of nodes as needed
    return xml;
}

追記

JSON.parse(program)にしたときのエラー内容
正しい手順かわかりませんが，JSON.stringifyを通したらエラーは消えました．

VM2756:1 Uncaught SyntaxError: "[object Object]" is not valid JSON
    at JSON.parse (<anonymous>)
    at makeAST (script.js:404:24)
    at HTMLButtonElement.onclick (index.html:74:349)

条件の修正

function traverseAST(node) {
    let xml = '';
    // Handle different types of nodes in your AST
    if (node.Token && node.Token.Token && node.Token.Token.type === "LOOP") {
        xml += '<block type="controls_repeat_ext" id="T,:lx`qH6`%re*cN8lOx" x="-5" y="23">';
        xml += '<value name="TIMES">';
        xml += `<shadow type="math_number" id="GamoPT;mPC@7[FE#B4W!"><field name="NUM">${node.Expression.Condition.Value}</field></shadow>`;
        xml += '</value>';
        xml += '<statement name="DO">';
        xml += traverseStatements(node.Expression.Consequence.Statements);
        xml += '</statement>';
        xml += '</block>';
    }
    // Add handling for other types of nodes as needed
    return xml;
}

// Function to traverse statements inside a block
function traverseStatements(statements) {
    let xml = '';
    statements.forEach(statement => {
        if (statement.Token && statement.Token.Token && statement.Token.Token.type === 'IDENT') {
            xml += `<block type="${statement.Token.Token.literal}" id="${generateUniqueId(24)}" x="-5" y="23">`;
            xml += '<field name="Note No.">';
            xml += statement.Expression.Arguments[0].Value;
            xml += '</field>';
            xml += '<field name="during">';
            xml += statement.Expression.Arguments[1].Value;
            xml += '</field>';
            xml += '</block>';
        }
        // Add handling for other types of statements as needed
    });
    return xml;
}

ログ確認

function makeAST(){
  var scriptdata = document.getElementById("codeInput").value;
  scriptdata = changeBackSlashIntoSpace(scriptdata);
  // console.log(scriptdata);
  const l = newLexer(scriptdata);
  const p = newParser(l);
  const program = p.parseProgram();
  checkParserErrors(p);

  console.log(typeof(program));
  console.log(program);

  const JSONobj = JSON.stringify(program)
  console.log(typeof(JSONobj));
  console.log(JSONobj);
  const JSONparse = JSON.parse(JSONobj)
  xml = makeXML(JSONparse);
  console.log(xml);
  return;
}

console.log(typeof(program));の結果はobjectでした．
console.log(program)の結果

console.log(typeof(JSONobj));の結果はstring
console.log(JSONobj);の結果は次のようになっています．

{"Statements":[{"Token":{"Token":{"type":"LOOP","literal":"loop"}},"Expression":{"Token":{"Token":{"type":"LOOP","literal":"loop"}},"Condition":{"Token":{"Token":{"type":"INT","literal":"10"}},"Value":10},"Consequence":{"Token":{"Token":{"type":"LBRACE","literal":"{"}},"Statements":[{"Token":{"Token":{"type":"IDENT","literal":"play"}},"Expression":{"Token":{"Token":{"type":"LPAREN","literal":"("},"Function":{"Token":{"Token":{"type":"IDENT","literal":"play"},"Value":"play"}}},"Arguments":[{"Token":{"Token":{"type":"INT","literal":"60"}},"Value":60},{"Token":{"Token":{"type":"FLOAT","literal":"0.1"}},"Value":0.1}]}},{"Token":{"Token":{"type":"IDENT","literal":"play"}},"Expression":{"Token":{"Token":{"type":"LPAREN","literal":"("},"Function":{"Token":{"Token":{"type":"IDENT","literal":"play"},"Value":"play"}}},"Arguments":[{"Token":{"Token":{"type":"INT","literal":"0"}},"Value":0},{"Token":{"Token":{"type":"FLOAT","literal":"0.0"}},"Value":0}]}},{"Token":{"Token":{"type":"IDENT","literal":"play"}},"Expression":{"Token":{"Token":{"type":"LPAREN","literal":"("},"Function":{"Token":{"Token":{"type":"IDENT","literal":"play"},"Value":"play"}}},"Arguments":[{"Token":{"Token":{"type":"INT","literal":"0"}},"Value":0},{"Token":{"Token":{"type":"FLOAT","literal":"0.0"}},"Value":0}]}}]}}}]}

Comments

[Lhankor_Mhy]

JSONは文字列なので、『JSON形式』という言葉は文字列を想起させると思います。そのため質問の意図が読み取れず、何度も読み返してしまいました。

[otn]

文字列以外のJSONは世の中に存在しません。おそらくオブジェクトのことを言いたいのでしょうね。
JSON・・・・・'{"aaa": 1, "bbb":2}'
オブジェクト・・・{"aaa": 1, "bbb":2}
JSONという単語の意味の理解を間違っているのでリファレンスが正しく読めてないのでしょう。
JSONからオブジェクトへの変換は回答のあるとおり、JSON.parseです。stringifyは文字通り「文字列に変換する」です。

[juner]

JSON 上の文字リテラルは " ダブルクォートによって囲うことのみ許可されているので求めているそれはJSONではない何かなのでは？

> 文字列（バックスラッシュによるエスケープシーケンス記法を含む、ダブルクォーテーション"でくくった文字列）

https://ja.wikipedia.org/wiki/JavaScript_Object_Notation

[juner]

もしも JSON.stringify({true}); と書いて、
エラーになったから JSON.stringify("{true}"); と書いたのでしたら
それは {true} が
{
true
}
と認識されているからです。
JSON.stringify({true:true});
であれば動くと思います。
それともほしい形は `{true:true}` ではなくて `[true]` だったりしますでしょうか？

[aaaa____]

@Ljankor_Mhy 様
分かりにくい表現で申し訳ございません．
私の表現したい「JSON形式」というものは，
{
"Token": {
"Token": {
"type": "LOOP",
...

のように，JSONを書く時に使用する形式のことでした．

＠otn 様
おそらく私が欲しいのはオブジェクトではなく文字列の方なのですが，なぜ現在の状態でこのような質問をしているのかというと，今の状態でmakeXMLに渡すと
<xml xmlns="http://www.w3.org/1999/xhtml"></xml>
のように中身のないものが出てきてしまうため，JSONとして想定通り得られていないのではないかと考えていたからです．
stringifyではなくparseするというのは私も既に行っていたのですが，そうするとエラーが出てしまって適切に動かなくなってしまったので，欲しいのは文字列だと判断しています．

＠juner様
本文に書いてあるJSON上の文字リテラルは，仮に表現したものなので，ダブルクォートかどうかは気になさらないでいただけると幸いです．
また，実際に使用しているコードもJSON.stringify({true});ではなく，本文に記載したものであります．
trueのものは簡単なもので表現するための代替的なものとなっております．

Answer 1

JSON(オブジェクトの文字列表現)を得たいのでしたら、何もしなくてもよいのでないでしょうか。

  const JSONobj = program;

ただ、コードの雰囲気から察すると、ほしいものは JSON をパーズした JavaScript オブジェクトだと思います。その場合は、パーズしましょう。

  const JSONobj = JSON.parse(program);

Comments

[aaaa____]

現状の
const JSONobj = JSON.stringify(program)
ですと，うまくXMLに追加されず，
<xml xmlns="http://www.w3.org/1999/xhtml"></xml>
としかならないため，こちらの想定通りにprogramをJSONobjに入れられてないのではと考え質問した次第です．

const JSONobj = JSON.parse(program);
とは，質問をする前の時点で試してみてはいたのですが，stringifyの代わりにこうすると，
エラーが出てしまいそもそもJSが動かなくなってしまうのでstringifyが適切なのではないかと考えていました．

[int32_t]

JSONが質問文のとおりならば、
if (node.Token && node.Token.type === 'LOOP') {
ではなく
if (node.Token && node.Token.Token && node.Token.Token.type === 'LOOP') {
としないと出力が空になります。

[aaaa____]

追記にも記載させていただきましたが，ご指摘なさった通り，確かに階層が間違っていたのでご指摘のように修正いたしましたが，変わらず空が返ってきていました．
他の部分でif文に入らない要因は見当たらず，他にも何か考えられる要因等ありましたらご指摘いただけると幸いです．

[int32_t]

これ以上は再現できる環境がないと助言するのは難しいかもしれません。
とにかく、ふつうにデバッグするしかないでしょう。ステップ実行するとか、要所要所で console.dir() で変数の内容を確認するとか。

Answer 2

おそらく私が欲しいのはオブジェクトではなく文字列の方なのですが，なぜ現在の状態でこのような質問をしているのかというと，今の状態でmakeXMLに渡すと
<xml xmlns="http://www.w3.org/1999/xhtml"></xml>

自分の書いたプログラムを読んでない（理解していない）ということですかね？
先を急がず、何をしているのかをちゃんと理解すれば良いのでは？という気がするのですが。

お書きのtraverseAST()は、

if (node.Token && node.Token.type === 'LOOP') {

のif文条件が偽なら空文字列を返します。Token.typeがあることが前提ですが、掲載されているJSONをみると、表しているのは{"Token":{"Token": {"type": "LOOP", "literal": "loop"}}, ～というオブジェクトで、Token.typeはありません。あるのはToken.Token.typeですね。

if (node.Token && node.Token.Token.type === 'LOOP') {の書き間違いなのか、データのJSONの方が間違っているのか、どちらか分かりませんが。

JSON.parse(program)にしたときのエラー内容
VM2756:1 Uncaught SyntaxError: "[object Object]" is not valid JSON

これは、何かやり方を間違ったのでしょうね。正しくparseするとそんなエラーは出ません。
JSON.parse(program)の直前に、console.log(typeof(program));console.log(program);を入れてみましょう。parseしようとしたものがJSONじゃないことが分かるかと思います。

サンプル

let json_string = `
{
    "Token": {
        "Token": {
            "type": "LOOP",
            "literal": "loop"
        }
    },
    "Expression": "後略"
}`;
function test(node) {
    if (node.Token && node.Token.Token && node.Token.Token.type === "LOOP") {
        return "OK";
    }else{
        return "NG";
    }
}
console.log( test(JSON.parse(json_string)) );

Comments

[aaaa____]

ご回答ありがとうございます
おっしゃる通り，あまりコードの内容を理解できていない状態での質問となってしまっていました．
JSONの階層はおっしゃる通り間違っていましたので，条件文の方を修正し，質問本文に追記させていただきました．
しかし，それでもif文には入っていないようで，空が返ってきてしまいました．

parseにつきましては，標準出力を確認し，質問本文に追記させていただきました．
JSONstringifyを通した後にparseしてみても返ってくるのは変わらず空となっていました．

if文に想定通り入らない要因として他に考えられることはありますでしょうか．

よろしくお願いいたします．

[otn]

みなさんの回答内容が理解できていないようです。
「理解しないままで先に進む」ということを止めて、「理解できるまで先に進まない」にしたほうがいいですね。
「とりあえずやってみよう」を一旦やめましょう。

サンプルを追記しておきます。
たとえばこのようなサンプルを自分でゼロから作ってみて、自分の理解の何処が間違っているのか探ります。