package Ġorg . jetbrains . research . k ex . re anim ator Ċ Ċ import Ġorg . jetbrains . research . k ex . ExecutionContext Ċ import Ġorg . jetbrains . research . k ex . asm . state . Predicate State Analysis Ċ import Ġorg . jetbrains . research . k ex . random . Generation Exception Ċ import Ġorg . jetbrains . research . k ex . smt . S MT Model Ċ import Ġorg . jetbrains . research . k ex . state . Predicate State Ċ import Ġorg . jetbrains . research . k ex . state . transformer . generate Input By Model Ċ import Ġorg . jetbrains . research . k fg . ir . Method Ċ Ċ class ĠReflection Re anim ator ( override Ġval Ġctx : ĠExecutionContext , Ġoverride Ġval Ġp sa : ĠPredicate State Analysis ) Ġ: ĠParameter Generator Ġ{ ĊĠĠĠ Ġ// Ġtodo : Ġmaybe Ġadd Ġproper Ġtest Ġgeneration ĊĊĠĠĠ Ġoverride Ġfun Ġgenerate ( test Name : ĠString , Ġmethod : ĠMethod , Ġstate : ĠPredicate State , Ġmodel : ĠS MT Model ): ĠParameters < Any ?> Ġ= Ġtry Ġ{ ĊĠĠĠĠĠĠĠ Ġgenerate Input By Model ( ctx , Ġmethod , Ġstate , Ġmodel ) ĊĠĠĠ Ġ} Ġcatch Ġ( e : ĠGeneration Exception ) Ġ{ ĊĠĠĠĠĠĠĠ Ġthrow Ġe ĊĠĠĠ Ġ} Ġcatch Ġ( e : ĠException ) Ġ{ ĊĠĠĠĠĠĠĠ Ġthrow ĠGeneration Exception ( e ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun Ġemit () Ġ{} Ċ }