package Ġdev . sch uber th . stan . export ers Ċ Ċ import Ġdev . sch uber th . stan . model . Statement Ċ Ċ import Ġjava . io . OutputStream Ċ Ċ import Ġkotlinx . serialization . json . Json Ċ Ċ val ĠJSON Ġ= ĠJson Ġ{ ĊĠĠĠ Ġencode Defaults Ġ= Ġfalse ĊĠĠĠ Ġpretty Print Ġ= Ġtrue ĊĠĠĠ Ġpretty Print Indent Ġ= Ġ" Ġ Ġ" Ċ } Ċ Ċ /** Ċ Ġ* ĠSee Ġhttps :// www . json . org /. Ċ Ġ*/ Ċ class ĠJson Exporter Ġ: ĠExport er Ġ{ ĊĠĠĠ Ġoverride Ġval Ġextension Ġ= Ġ" json " ĊĊĠĠĠ Ġoverride Ġfun Ġwrite ( statement : ĠStatement , Ġoutput : ĠOutputStream , Ġoptions : ĠMap < String , ĠString >) Ġ= ĊĠĠĠĠĠĠĠ Ġoutput . use Ġ{ Ġit . write ( JSON . encode ToString ( Statement . serializer (), Ġstatement ). toByteArray ()) Ġ} Ċ } Ċ