package Ġorg . jetbrains . research . k ex . smt Ċ Ċ import Ġorg . apache . velocity . Velocity Context Ċ import Ġorg . apache . velocity . app . Velocity Engine Ċ import Ġorg . apache . velocity . runtime . Runtime Constants Ċ import Ġjava . io . Writer Ċ Ċ class ĠClass Generator ( private Ġval Ġparameters : ĠMap < String , ĠAny >, Ġval Ġpath : ĠString , Ġprivate Ġval Ġtemplate : ĠString ) Ġ{ ĊĠĠĠ Ġfun Ġwrite ( writer : ĠWriter ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġengine Ġ= ĠVe locity Engine () ĊĠĠĠĠĠĠĠ Ġengine . setProperty ( Runtime Constants . FILE _ RESOURCE _ LOAD ER _ PATH , Ġpath ) ĊĠĠĠĠĠĠĠ Ġengine . init () ĊĊĠĠĠĠĠĠĠ Ġval Ġcontext Ġ= ĠVe locity Context () ĊĠĠĠĠĠĠĠ Ġparameters . forEach Ġ{ Ġ( key , Ġvalue ) Ġ-> Ġcontext . put ( key , Ġvalue ) Ġ} ĊĊĠĠĠĠĠĠĠ Ġval Ġtemplate Ġ= Ġengine . get Template ( template ) ĊĊĠĠĠĠĠĠĠ Ġtemplate . merge ( context , Ġwriter ) ĊĠĠĠ Ġ} Ċ }