dupnToJson method

dynamic dupnToJson(
  1. dynamic d
)

Implementation

dupnToJson(d) {
  var n = int.parse(d[2].toString());

  if (n == 1) {
    return '{ "prim": "DUP" }';
  } else if (n == 2) {
    return '[{ "prim": "DIP", "args": [[ {"prim": "DUP"} ]] }, { "prim": "SWAP" }]';
  } else {
    return '[{ "prim": "DIP", "args": [ {"int": "${n - 1}"}, [{ "prim": "DUP" }] ] }, { "prim": "DIG", "args": [ {"int": "$n"} ] }]';
  }
}