From 736e0c24704614c0fa4ae47555a75e11360963d7 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 2 May 2019 15:36:23 +0200 Subject: [PATCH] Fix compilation. --- reactor/Test/test/TestIncrementalProgram.kt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/reactor/Test/test/TestIncrementalProgram.kt b/reactor/Test/test/TestIncrementalProgram.kt index 7e8a3449..30aa7374 100644 --- a/reactor/Test/test/TestIncrementalProgram.kt +++ b/reactor/Test/test/TestIncrementalProgram.kt @@ -1,6 +1,7 @@ import jetbrains.mps.logic.reactor.core.ReactorLifecycle import jetbrains.mps.logic.reactor.evaluation.EvaluationSession import jetbrains.mps.logic.reactor.evaluation.StoreView +import jetbrains.mps.logic.reactor.program.Constraint import jetbrains.mps.logic.reactor.program.ConstraintSymbol import org.junit.AfterClass import org.junit.Assert @@ -49,7 +50,9 @@ class TestIncrementalProgram { for (h in handlers) { programBuilder.addHandler(h) } - val result = EvaluationSession.newSession(programBuilder.program(name)).withParam("main", MockConstraint(ConstraintSymbol("main", 0))).start() + val result = EvaluationSession.newSession(programBuilder.program(name)) + .withParameter(EvaluationSession.ParameterKey.of("main", Constraint::class.java), MockConstraint(ConstraintSymbol("main", 0))) + .start() return result.storeView() }