JavaResolutionContext

fun JavaResolutionContext(state: SolverState?, ctx: AnalysisContext)