Play 2.5 JSON परिवर्तनों का उपयोग करके JSON कुंजी का नाम बदला जा सकता है? - जेसन, playframework

मैं प्ले "2.5" का उपयोग करके "x3" का नाम बदलकर "k3" करना चाहता हूं JSON तट-तट सुविधाएँ, लेकिन कैसे?

यहाँ JSON स्रोत है:

{"k1":"K1", "k2":"K2","x3":"K3"}

और यहाँ वांछित परिणाम है

{"k1":"K1", "k2":"K2","k3":"K3"}

यहाँ काम करने वाले कोड स्निपेट नहीं है:

( (__  "x3  ).json.update( (__  "k3).json.pick ) )

उत्तर:

आप ट्रांसफार्मर के साथ कुंजी का नाम नहीं बदल सकते हैं, इसलिए उपयोग करना चाहिए अद्यतन करें Json द्वारा नकल मूल्य से x3 कुंजी और हटाना मूल कुंजी:

__.json.update(
(__"k3").json.copyFrom(
(__"x3").json.pick
)
) andThen
(__"x3").json.prune