Updated API sources from the latest version of Logic
This commit is contained in:
Fedor Isakov
parent
e07f608b04
commit
fc49da63d8
|
|
@ -5,6 +5,6 @@ package jetbrains.mps.logic.reactor.constraint;
|
|||
|
||||
public interface Instructible {
|
||||
|
||||
public void tell(Symbol symbol, Object... arg);
|
||||
public void tell(Symbol symbol, Object... args);
|
||||
|
||||
}
|
||||
|
|
|
|||
|
|
@ -0,0 +1,24 @@
|
|||
package jetbrains.mps.logic.reactor.constraint;
|
||||
|
||||
/*Generated by MPS */
|
||||
|
||||
|
||||
public class JavaPredicate extends AbstractPredicate {
|
||||
|
||||
private JavaPredicateSymbol symbol;
|
||||
|
||||
public JavaPredicate(JavaPredicateSymbol predicateSymbol, String id, Object... args) {
|
||||
super(args);
|
||||
this.id = id;
|
||||
this.symbol = predicateSymbol;
|
||||
}
|
||||
|
||||
public String id() {
|
||||
return id;
|
||||
}
|
||||
|
||||
public PredicateSymbol symbol() {
|
||||
return symbol;
|
||||
}
|
||||
private String id;
|
||||
}
|
||||
|
|
@ -5,12 +5,18 @@ package jetbrains.mps.logic.reactor.constraint;
|
|||
|
||||
public class JavaPredicateSymbol extends PredicateSymbol {
|
||||
|
||||
public JavaPredicateSymbol(String expression, int arity) {
|
||||
super(expression, arity);
|
||||
public static final JavaPredicateSymbol EXPRESSION0 = new JavaPredicateSymbol(1);
|
||||
|
||||
public static final JavaPredicateSymbol EXPRESSION1 = new JavaPredicateSymbol(2);
|
||||
|
||||
public static final JavaPredicateSymbol EXPRESSION2 = new JavaPredicateSymbol(3);
|
||||
|
||||
public static final JavaPredicateSymbol EXPRESSION3 = new JavaPredicateSymbol(4);
|
||||
|
||||
private static final String EXPRESSION = "expression";
|
||||
|
||||
public JavaPredicateSymbol(int arity) {
|
||||
super(EXPRESSION, arity);
|
||||
}
|
||||
|
||||
@Override
|
||||
public String toString() {
|
||||
return "J:" + id() + "/" + arity();
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -5,6 +5,6 @@ package jetbrains.mps.logic.reactor.constraint;
|
|||
|
||||
public interface Queryable extends Instructible {
|
||||
|
||||
public boolean ask(PredicateSymbol predicateSymbol, Object... arg);
|
||||
public boolean ask(PredicateSymbol predicateSymbol, Object... args);
|
||||
|
||||
}
|
||||
|
|
|
|||
|
|
@ -9,6 +9,7 @@
|
|||
<concept fqn="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" />
|
||||
<concept fqn="jetbrains.mps.baseLanguage.structure.ReturnStatement" />
|
||||
<concept fqn="jetbrains.mps.baseLanguage.structure.Statement" />
|
||||
<concept fqn="jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" />
|
||||
<concept fqn="jetbrains.mps.baseLanguage.structure.StaticMethodDeclaration" />
|
||||
<concept fqn="jetbrains.mps.baseLanguage.structure.SuperConstructorInvocation" />
|
||||
<concept fqn="jetbrains.mps.baseLanguage.structure.ThrowStatement" />
|
||||
|
|
@ -34,9 +35,9 @@
|
|||
<root nodeRef="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)/5841747851381496683">
|
||||
<file name="ConstraintSymbol.java">
|
||||
<node id="5841747851381535271" at="11,63,12,43" concept="7" />
|
||||
<node id="6317379717814129922" at="15,49,16,21" concept="10" />
|
||||
<node id="6317379717814129922" at="15,49,16,21" concept="11" />
|
||||
<node id="5841747851383361011" at="20,28,21,32" concept="7" />
|
||||
<node id="5841747851381533067" at="11,0,14,0" concept="9" trace="symbol#(Ljava/lang/String;I)Ljetbrains/mps/logic/reactor/constraint/ConstraintSymbol;" />
|
||||
<node id="5841747851381533067" at="11,0,14,0" concept="10" trace="symbol#(Ljava/lang/String;I)Ljetbrains/mps/logic/reactor/constraint/ConstraintSymbol;" />
|
||||
<node id="5841747851381516224" at="15,0,18,0" concept="0" trace="ConstraintSymbol#(Ljava/lang/String;I)V" />
|
||||
<node id="5841747851383347181" at="19,0,23,0" concept="5" trace="toString#()Ljava/lang/String;" />
|
||||
<scope id="5841747851381533071" at="11,63,12,43" />
|
||||
|
|
@ -111,7 +112,7 @@
|
|||
</root>
|
||||
<root nodeRef="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)/6317379717814173903">
|
||||
<file name="PredicateSymbol.java">
|
||||
<node id="6317379717823619735" at="8,48,9,21" concept="10" />
|
||||
<node id="6317379717823619735" at="8,48,9,21" concept="11" />
|
||||
<node id="6317379717814175785" at="13,28,14,34" concept="7" />
|
||||
<node id="6317379717814174713" at="8,0,11,0" concept="0" trace="PredicateSymbol#(Ljava/lang/String;I)V" />
|
||||
<node id="6317379717814175781" at="12,0,16,0" concept="5" trace="toString#()Ljava/lang/String;" />
|
||||
|
|
@ -136,18 +137,18 @@
|
|||
</root>
|
||||
<root nodeRef="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)/6317379717817889711">
|
||||
<file name="JavaPredicateSymbol.java">
|
||||
<node id="6317379717817889916" at="8,60,9,29" concept="10" />
|
||||
<node id="6317379717817890474" at="13,28,14,39" concept="7" />
|
||||
<node id="6317379717817889762" at="8,0,11,0" concept="0" trace="JavaPredicateSymbol#(Ljava/lang/String;I)V" />
|
||||
<node id="6317379717817890115" at="12,0,16,0" concept="5" trace="toString#()Ljava/lang/String;" />
|
||||
<scope id="6317379717817889766" at="8,60,9,29" />
|
||||
<scope id="6317379717817890126" at="13,28,14,39" />
|
||||
<scope id="6317379717817889762" at="8,0,11,0">
|
||||
<node id="1445804513729425338" at="8,0,9,0" concept="9" trace="EXPRESSION0" />
|
||||
<node id="1445804513729425524" at="10,0,11,0" concept="9" trace="EXPRESSION1" />
|
||||
<node id="1445804513729425633" at="12,0,13,0" concept="9" trace="EXPRESSION2" />
|
||||
<node id="1445804513729425764" at="14,0,15,0" concept="9" trace="EXPRESSION3" />
|
||||
<node id="1445804513728312018" at="16,0,17,0" concept="9" trace="EXPRESSION" />
|
||||
<node id="6317379717817889916" at="18,41,19,29" concept="11" />
|
||||
<node id="6317379717817889762" at="18,0,21,0" concept="0" trace="JavaPredicateSymbol#(I)V" />
|
||||
<scope id="6317379717817889766" at="18,41,19,29" />
|
||||
<scope id="6317379717817889762" at="18,0,21,0">
|
||||
<var name="arity" id="6317379717817890807" />
|
||||
<var name="expression" id="6317379717817889778" />
|
||||
</scope>
|
||||
<scope id="6317379717817890115" at="12,0,16,0" />
|
||||
<unit id="6317379717817889711" at="6,0,17,0" name="jetbrains.mps.logic.reactor.constraint.JavaPredicateSymbol" />
|
||||
<unit id="6317379717817889711" at="6,0,23,0" name="jetbrains.mps.logic.reactor.constraint.JavaPredicateSymbol" />
|
||||
</file>
|
||||
</root>
|
||||
<root nodeRef="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)/6317379717821145892">
|
||||
|
|
@ -195,11 +196,36 @@
|
|||
<unit id="6317379717821221309" at="10,0,36,0" name="jetbrains.mps.logic.reactor.constraint.AbstractConstraint" />
|
||||
</file>
|
||||
</root>
|
||||
<root nodeRef="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)/6430064801446726795">
|
||||
<file name="JavaPredicate.java">
|
||||
<node id="139299000606887712" at="8,0,9,0" concept="2" trace="symbol" />
|
||||
<node id="5217246026232796153" at="10,88,11,16" concept="11" />
|
||||
<node id="8018003882641225596" at="11,16,12,17" concept="1" />
|
||||
<node id="139299000606887724" at="12,17,13,34" concept="1" />
|
||||
<node id="8018003882641226818" at="16,22,17,14" concept="7" />
|
||||
<node id="139299000606888682" at="20,35,21,18" concept="7" />
|
||||
<node id="8018003882641225592" at="23,0,24,0" concept="2" trace="id" />
|
||||
<node id="8018003882641226530" at="16,0,19,0" concept="5" trace="id#()Ljava/lang/String;" />
|
||||
<node id="139299000606887318" at="20,0,23,0" concept="5" trace="symbol#()Ljetbrains/mps/logic/reactor/constraint/PredicateSymbol;" />
|
||||
<node id="6430064801446743162" at="10,0,15,0" concept="0" trace="JavaPredicate#(Ljetbrains/mps/logic/reactor/constraint/JavaPredicateSymbol;Ljava/lang/String;null)V" />
|
||||
<scope id="8018003882641226533" at="16,22,17,14" />
|
||||
<scope id="139299000606887323" at="20,35,21,18" />
|
||||
<scope id="6430064801446743166" at="10,88,13,34" />
|
||||
<scope id="8018003882641226530" at="16,0,19,0" />
|
||||
<scope id="139299000606887318" at="20,0,23,0" />
|
||||
<scope id="6430064801446743162" at="10,0,15,0">
|
||||
<var name="args" id="6317379717826377214" />
|
||||
<var name="id" id="8018003882641225446" />
|
||||
<var name="predicateSymbol" id="3186369734621192611" />
|
||||
</scope>
|
||||
<unit id="6430064801446726795" at="6,0,25,0" name="jetbrains.mps.logic.reactor.constraint.JavaPredicate" />
|
||||
</file>
|
||||
</root>
|
||||
<root nodeRef="r:2a79c8aa-e372-4c00-8d71-5d7f3db517e4(jetbrains.mps.logic.reactor.constraint)/7785665572546273004">
|
||||
<file name="Instructible.java">
|
||||
<node id="7785665572546273471" at="8,0,9,0" concept="5" trace="tell#(Ljetbrains/mps/logic/reactor/constraint/Symbol;null)V" />
|
||||
<scope id="7785665572546273471" at="8,0,9,0">
|
||||
<var name="arg" id="7785665572546274393" />
|
||||
<var name="args" id="7785665572546274393" />
|
||||
<var name="symbol" id="5217246026231831102" />
|
||||
</scope>
|
||||
<unit id="7785665572546273004" at="6,0,11,0" name="jetbrains.mps.logic.reactor.constraint.Instructible" />
|
||||
|
|
@ -209,7 +235,7 @@
|
|||
<file name="Queryable.java">
|
||||
<node id="7785665572546276256" at="8,0,9,0" concept="5" trace="ask#(Ljetbrains/mps/logic/reactor/constraint/PredicateSymbol;null)Z" />
|
||||
<scope id="7785665572546276256" at="8,0,9,0">
|
||||
<var name="arg" id="7785665572546277217" />
|
||||
<var name="args" id="7785665572546277217" />
|
||||
<var name="predicateSymbol" id="5217246026231849983" />
|
||||
</scope>
|
||||
<unit id="7785665572546275793" at="6,0,11,0" name="jetbrains.mps.logic.reactor.constraint.Queryable" />
|
||||
|
|
@ -229,7 +255,7 @@
|
|||
<node id="7785665572546333582" at="45,82,46,39" concept="1" />
|
||||
<node id="2831834914716388776" at="49,47,50,44" concept="7" />
|
||||
<node id="95655808403401608" at="54,53,55,46" concept="1" />
|
||||
<node id="7785665572546325981" at="60,50,61,72" concept="11" />
|
||||
<node id="7785665572546325981" at="60,50,61,72" concept="12" />
|
||||
<node id="7785665572546325992" at="62,5,63,40" concept="7" />
|
||||
<node id="7785665572546302065" at="66,0,67,0" concept="2" trace="solvers" />
|
||||
<node id="2831834914716484929" at="13,0,16,0" concept="5" trace="init#(null)V" />
|
||||
|
|
|
|||
|
|
@ -20,11 +20,11 @@ public abstract class EvaluationSession {
|
|||
return ourBackend.current();
|
||||
}
|
||||
|
||||
public static EvaluationSession.Config newSession() {
|
||||
public static EvaluationSession.Config newSession(PlanningSession program) {
|
||||
if (ourBackend == null) {
|
||||
throw new IllegalStateException("no backend");
|
||||
}
|
||||
return ourBackend.createConfig();
|
||||
return ourBackend.createConfig(program);
|
||||
}
|
||||
|
||||
public static abstract class Config {
|
||||
|
|
@ -64,7 +64,7 @@ public abstract class EvaluationSession {
|
|||
|
||||
public EvaluationSession current();
|
||||
|
||||
public EvaluationSession.Config createConfig();
|
||||
public EvaluationSession.Config createConfig(PlanningSession program);
|
||||
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -22,6 +22,8 @@ public abstract class PlanningSession {
|
|||
|
||||
public abstract String name();
|
||||
|
||||
public abstract SessionSolver sessionSolver();
|
||||
|
||||
public abstract Iterable<ConstraintSymbol> constraintSymbols();
|
||||
|
||||
public abstract List<Class<?>> constraintArgumentTypes(ConstraintSymbol constraintSymbol);
|
||||
|
|
|
|||
|
|
@ -12,63 +12,65 @@
|
|||
<node id="8225968737377294958" at="17,29,18,57" concept="6" />
|
||||
<node id="8225968737380415589" at="19,5,20,50" concept="3" />
|
||||
<node id="8225968737378322884" at="23,0,24,0" concept="2" trace="name#()Ljava/lang/String;" />
|
||||
<node id="8225968737376927920" at="25,0,26,0" concept="2" trace="constraintSymbols#()Ljava/lang/Iterable;" />
|
||||
<node id="6317379717812927967" at="27,0,28,0" concept="2" trace="constraintArgumentTypes#(Ljetbrains/mps/logic/reactor/constraint/ConstraintSymbol;)Ljava/util/List;" />
|
||||
<node id="8225968737376996320" at="29,0,30,0" concept="2" trace="predicateSymbols#()Ljava/lang/Iterable;" />
|
||||
<node id="8225968737379275738" at="31,0,32,0" concept="2" trace="solverClass#(Ljetbrains/mps/logic/reactor/constraint/PredicateSymbol;)Ljava/lang/Class;" />
|
||||
<node id="8225968737378224820" at="33,0,34,0" concept="2" trace="rules#()Ljava/lang/Iterable;" />
|
||||
<node id="6317379717812928060" at="35,0,36,0" concept="2" trace="addRule#(Ljetbrains/mps/logic/reactor/rule/Rule;)V" />
|
||||
<node id="2831834914712478075" at="37,0,38,0" concept="2" trace="addRules#(Ljava/util/Collection;)V" />
|
||||
<node id="8225968737380439970" at="40,29,41,61" concept="6" />
|
||||
<node id="8225968737380440645" at="42,5,43,25" concept="0" />
|
||||
<node id="8225968737380440961" at="47,32,48,56" concept="6" />
|
||||
<node id="8225968737380440968" at="49,5,50,22" concept="0" />
|
||||
<node id="8225968737380414596" at="55,0,56,0" concept="2" trace="create#(Ljava/lang/String;Ljetbrains/mps/logic/reactor/constraint/SessionSolver;)Ljetbrains/mps/logic/reactor/program/PlanningSession;" />
|
||||
<node id="8225968737380410563" at="59,0,60,0" concept="4" trace="ourFactory" />
|
||||
<node id="8018003882637105523" at="25,0,26,0" concept="2" trace="sessionSolver#()Ljetbrains/mps/logic/reactor/constraint/SessionSolver;" />
|
||||
<node id="8225968737376927920" at="27,0,28,0" concept="2" trace="constraintSymbols#()Ljava/lang/Iterable;" />
|
||||
<node id="6317379717812927967" at="29,0,30,0" concept="2" trace="constraintArgumentTypes#(Ljetbrains/mps/logic/reactor/constraint/ConstraintSymbol;)Ljava/util/List;" />
|
||||
<node id="8225968737376996320" at="31,0,32,0" concept="2" trace="predicateSymbols#()Ljava/lang/Iterable;" />
|
||||
<node id="8225968737379275738" at="33,0,34,0" concept="2" trace="solverClass#(Ljetbrains/mps/logic/reactor/constraint/PredicateSymbol;)Ljava/lang/Class;" />
|
||||
<node id="8225968737378224820" at="35,0,36,0" concept="2" trace="rules#()Ljava/lang/Iterable;" />
|
||||
<node id="6317379717812928060" at="37,0,38,0" concept="2" trace="addRule#(Ljetbrains/mps/logic/reactor/rule/Rule;)V" />
|
||||
<node id="2831834914712478075" at="39,0,40,0" concept="2" trace="addRules#(Ljava/util/Collection;)V" />
|
||||
<node id="8225968737380439970" at="42,29,43,61" concept="6" />
|
||||
<node id="8225968737380440645" at="44,5,45,25" concept="0" />
|
||||
<node id="8225968737380440961" at="49,32,50,56" concept="6" />
|
||||
<node id="8225968737380440968" at="51,5,52,22" concept="0" />
|
||||
<node id="8225968737380414596" at="57,0,58,0" concept="2" trace="create#(Ljava/lang/String;Ljetbrains/mps/logic/reactor/constraint/SessionSolver;)Ljetbrains/mps/logic/reactor/program/PlanningSession;" />
|
||||
<node id="8225968737380410563" at="61,0,62,0" concept="4" trace="ourFactory" />
|
||||
<node id="8225968737380413957" at="16,86,19,5" concept="1" />
|
||||
<node id="8225968737380439968" at="39,69,42,5" concept="1" />
|
||||
<node id="8225968737380440959" at="46,71,49,5" concept="1" />
|
||||
<node id="8225968737380439968" at="41,69,44,5" concept="1" />
|
||||
<node id="8225968737380440959" at="48,71,51,5" concept="1" />
|
||||
<node id="8225968737377303413" at="16,0,22,0" concept="5" trace="newSession#(Ljava/lang/String;Ljetbrains/mps/logic/reactor/constraint/SessionSolver;)Ljetbrains/mps/logic/reactor/program/PlanningSession;" />
|
||||
<node id="8225968737380435904" at="39,0,45,0" concept="5" trace="setFactory#(Ljetbrains/mps/logic/reactor/program/PlanningSession/Factory;)V" />
|
||||
<node id="8225968737380440953" at="46,0,52,0" concept="5" trace="clearFactory#(Ljetbrains/mps/logic/reactor/program/PlanningSession/Factory;)V" />
|
||||
<node id="8225968737380435904" at="41,0,47,0" concept="5" trace="setFactory#(Ljetbrains/mps/logic/reactor/program/PlanningSession/Factory;)V" />
|
||||
<node id="8225968737380440953" at="48,0,54,0" concept="5" trace="clearFactory#(Ljetbrains/mps/logic/reactor/program/PlanningSession/Factory;)V" />
|
||||
<scope id="8225968737380413959" at="17,29,18,57" />
|
||||
<scope id="8225968737378322884" at="23,0,24,0" />
|
||||
<scope id="8225968737376927920" at="25,0,26,0" />
|
||||
<scope id="6317379717812927967" at="27,0,28,0">
|
||||
<scope id="8018003882637105523" at="25,0,26,0" />
|
||||
<scope id="8225968737376927920" at="27,0,28,0" />
|
||||
<scope id="6317379717812927967" at="29,0,30,0">
|
||||
<var name="constraintSymbol" id="6317379717812950981" />
|
||||
</scope>
|
||||
<scope id="8225968737376996320" at="29,0,30,0" />
|
||||
<scope id="8225968737379275738" at="31,0,32,0">
|
||||
<scope id="8225968737376996320" at="31,0,32,0" />
|
||||
<scope id="8225968737379275738" at="33,0,34,0">
|
||||
<var name="predicateSymbol" id="8225968737379275739" />
|
||||
</scope>
|
||||
<scope id="8225968737378224820" at="33,0,34,0" />
|
||||
<scope id="6317379717812928060" at="35,0,36,0">
|
||||
<scope id="8225968737378224820" at="35,0,36,0" />
|
||||
<scope id="6317379717812928060" at="37,0,38,0">
|
||||
<var name="rule" id="6317379717812951187" />
|
||||
</scope>
|
||||
<scope id="2831834914712478075" at="37,0,38,0">
|
||||
<scope id="2831834914712478075" at="39,0,40,0">
|
||||
<var name="rules" id="2831834914712478076" />
|
||||
</scope>
|
||||
<scope id="8225968737380439969" at="40,29,41,61" />
|
||||
<scope id="8225968737380440960" at="47,32,48,56" />
|
||||
<scope id="8225968737380414596" at="55,0,56,0">
|
||||
<scope id="8225968737380439969" at="42,29,43,61" />
|
||||
<scope id="8225968737380440960" at="49,32,50,56" />
|
||||
<scope id="8225968737380414596" at="57,0,58,0">
|
||||
<var name="name" id="8225968737380483470" />
|
||||
<var name="sessionSolver" id="2831834914719707086" />
|
||||
</scope>
|
||||
<scope id="6317379717812939797" at="16,86,20,50" />
|
||||
<scope id="8225968737380435908" at="39,69,43,25" />
|
||||
<scope id="8225968737380440958" at="46,71,50,22" />
|
||||
<scope id="8225968737380435908" at="41,69,45,25" />
|
||||
<scope id="8225968737380440958" at="48,71,52,22" />
|
||||
<scope id="8225968737377303413" at="16,0,22,0">
|
||||
<var name="name" id="8225968737378283806" />
|
||||
<var name="sessionSolver" id="2831834914719706758" />
|
||||
</scope>
|
||||
<scope id="8225968737380435904" at="39,0,45,0">
|
||||
<scope id="8225968737380435904" at="41,0,47,0">
|
||||
<var name="factory" id="8225968737380439354" />
|
||||
</scope>
|
||||
<scope id="8225968737380440953" at="46,0,52,0">
|
||||
<scope id="8225968737380440953" at="48,0,54,0">
|
||||
<var name="factory" id="8225968737380440954" />
|
||||
</scope>
|
||||
<unit id="8225968737376896902" at="53,0,58,0" name="jetbrains.mps.logic.reactor.program.PlanningSession$Factory" />
|
||||
<unit id="6317379717812926698" at="14,0,61,0" name="jetbrains.mps.logic.reactor.program.PlanningSession" />
|
||||
<unit id="8225968737376896902" at="55,0,60,0" name="jetbrains.mps.logic.reactor.program.PlanningSession$Factory" />
|
||||
<unit id="6317379717812926698" at="14,0,63,0" name="jetbrains.mps.logic.reactor.program.PlanningSession" />
|
||||
</file>
|
||||
</root>
|
||||
<root nodeRef="r:f43ee4a0-488a-425a-87a0-594ab3b0d15f(jetbrains.mps.logic.reactor.program)/6317379717812926797">
|
||||
|
|
@ -76,7 +78,7 @@
|
|||
<node id="6317379717813100052" at="17,29,18,52" concept="6" />
|
||||
<node id="6317379717813100659" at="19,5,20,32" concept="3" />
|
||||
<node id="6168558935191972039" at="24,29,25,52" concept="6" />
|
||||
<node id="6168558935191972049" at="26,5,27,37" concept="3" />
|
||||
<node id="6168558935191972049" at="26,5,27,44" concept="3" />
|
||||
<node id="6317379717813101174" at="32,0,33,0" concept="2" trace="withPredicates#(null)Ljetbrains/mps/logic/reactor/program/EvaluationSession/Config;" />
|
||||
<node id="6317379717813105701" at="34,0,35,0" concept="2" trace="withTrace#(Ljetbrains/mps/logic/reactor/constraint/ComputingTracer;)Ljetbrains/mps/logic/reactor/program/EvaluationSession/Config;" />
|
||||
<node id="6168558935191895490" at="36,0,37,0" concept="2" trace="withParam#(Ljava/lang/String;Ljava/lang/Object;)Ljetbrains/mps/logic/reactor/program/EvaluationSession/Config;" />
|
||||
|
|
@ -90,14 +92,14 @@
|
|||
<node id="95655808403437439" at="57,32,58,56" concept="6" />
|
||||
<node id="95655808403437449" at="59,5,60,22" concept="0" />
|
||||
<node id="6317379717813098484" at="65,0,66,0" concept="2" trace="current#()Ljetbrains/mps/logic/reactor/program/EvaluationSession;" />
|
||||
<node id="6168558935191972549" at="67,0,68,0" concept="2" trace="createConfig#()Ljetbrains/mps/logic/reactor/program/EvaluationSession/Config;" />
|
||||
<node id="6168558935191972549" at="67,0,68,0" concept="2" trace="createConfig#(Ljetbrains/mps/logic/reactor/program/PlanningSession;)Ljetbrains/mps/logic/reactor/program/EvaluationSession/Config;" />
|
||||
<node id="6317379717813099242" at="71,0,72,0" concept="4" trace="ourBackend" />
|
||||
<node id="6317379717813099888" at="16,45,19,5" concept="1" />
|
||||
<node id="6168558935191972037" at="23,55,26,5" concept="1" />
|
||||
<node id="6168558935191972037" at="23,78,26,5" concept="1" />
|
||||
<node id="6317379717813102551" at="49,71,52,5" concept="1" />
|
||||
<node id="95655808403437437" at="56,73,59,5" concept="1" />
|
||||
<node id="6317379717813096791" at="16,0,22,0" concept="5" trace="current#()Ljetbrains/mps/logic/reactor/program/EvaluationSession;" />
|
||||
<node id="139299000606655469" at="23,0,29,0" concept="5" trace="newSession#()Ljetbrains/mps/logic/reactor/program/EvaluationSession/Config;" />
|
||||
<node id="139299000606655469" at="23,0,29,0" concept="5" trace="newSession#(Ljetbrains/mps/logic/reactor/program/PlanningSession;)Ljetbrains/mps/logic/reactor/program/EvaluationSession/Config;" />
|
||||
<node id="6317379717813098786" at="49,0,55,0" concept="5" trace="setBackend#(Ljetbrains/mps/logic/reactor/program/EvaluationSession/Backend;)V" />
|
||||
<node id="95655808403436479" at="56,0,62,0" concept="5" trace="clearBackend#(Ljetbrains/mps/logic/reactor/program/EvaluationSession/Backend;)V" />
|
||||
<scope id="6317379717813099889" at="17,29,18,52" />
|
||||
|
|
@ -122,13 +124,17 @@
|
|||
<scope id="6317379717813102553" at="50,29,51,66" />
|
||||
<scope id="95655808403437438" at="57,32,58,56" />
|
||||
<scope id="6317379717813098484" at="65,0,66,0" />
|
||||
<scope id="6168558935191972549" at="67,0,68,0" />
|
||||
<scope id="6168558935191972549" at="67,0,68,0">
|
||||
<var name="program" id="8018003882644448705" />
|
||||
</scope>
|
||||
<scope id="6317379717813096795" at="16,45,20,32" />
|
||||
<scope id="139299000606655473" at="23,55,27,37" />
|
||||
<scope id="139299000606655473" at="23,78,27,44" />
|
||||
<scope id="6317379717813098790" at="49,71,53,25" />
|
||||
<scope id="95655808403436100" at="56,73,60,22" />
|
||||
<scope id="6317379717813096791" at="16,0,22,0" />
|
||||
<scope id="139299000606655469" at="23,0,29,0" />
|
||||
<scope id="139299000606655469" at="23,0,29,0">
|
||||
<var name="program" id="8018003882644425854" />
|
||||
</scope>
|
||||
<scope id="6317379717813098786" at="49,0,55,0">
|
||||
<var name="backend" id="6317379717813098959" />
|
||||
</scope>
|
||||
|
|
|
|||
Loading…
Reference in New Issue