Skip to content

Commit da7e666

Browse files
committed
#463: Adds timeout for async SolverTask running.
1 parent 8909e6b commit da7e666

File tree

2 files changed

+958
-493
lines changed

2 files changed

+958
-493
lines changed

code/languages/org.iets3.opensource/languages/org.iets3.analysis.base/models/behavior.mps

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,8 @@
2121
<import index="hm2y" ref="r:66e07cb4-a4b0-4bf3-a36d-5e9ed1ff1bd3(org.iets3.core.expr.base.structure)" />
2222
<import index="5zyv" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util.concurrent(JDK/)" />
2323
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
24+
<import index="28m1" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.time(JDK/)" />
25+
<import index="dzyv" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.time.temporal(JDK/)" />
2426
</imports>
2527
<registry>
2628
<language id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior">
@@ -69,6 +71,10 @@
6971
<concept id="1197029447546" name="jetbrains.mps.baseLanguage.structure.FieldReferenceOperation" flags="nn" index="2OwXpG">
7072
<reference id="1197029500499" name="fieldDeclaration" index="2Oxat5" />
7173
</concept>
74+
<concept id="1083260308424" name="jetbrains.mps.baseLanguage.structure.EnumConstantReference" flags="nn" index="Rm8GO">
75+
<reference id="1083260308426" name="enumConstantDeclaration" index="Rm8GQ" />
76+
<reference id="1144432896254" name="enumClass" index="1Px2BO" />
77+
</concept>
7278
<concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
7379
<child id="1145553007750" name="creator" index="2ShVmc" />
7480
</concept>
@@ -677,6 +683,15 @@
677683
<ref role="1Pybhc" to="hnhi:2f_Mi5mAhjh" resolve="AsyncSolverTaskExecutor" />
678684
<ref role="37wK5l" to="hnhi:3hn7H_$lmns" resolve="submitISolvable" />
679685
<node concept="13iPFW" id="7QODtLvTGNX" role="37wK5m" />
686+
<node concept="2OqwBi" id="5BRQP3RmK2b" role="37wK5m">
687+
<node concept="Rm8GO" id="5BRQP3RmJB5" role="2Oq$k0">
688+
<ref role="Rm8GQ" to="dzyv:~ChronoUnit.FOREVER" resolve="FOREVER" />
689+
<ref role="1Px2BO" to="dzyv:~ChronoUnit" resolve="ChronoUnit" />
690+
</node>
691+
<node concept="liA8E" id="5BRQP3RmKNp" role="2OqNvi">
692+
<ref role="37wK5l" to="dzyv:~ChronoUnit.getDuration()" resolve="getDuration" />
693+
</node>
694+
</node>
680695
</node>
681696
</node>
682697
</node>
@@ -1367,6 +1382,15 @@
13671382
<ref role="1Pybhc" to="hnhi:2f_Mi5mAhjh" resolve="AsyncSolverTaskExecutor" />
13681383
<ref role="37wK5l" to="hnhi:3hn7H_$lmns" resolve="submitISolvable" />
13691384
<node concept="13iPFW" id="3NwcubmnCYx" role="37wK5m" />
1385+
<node concept="2OqwBi" id="5BRQP3RmKWY" role="37wK5m">
1386+
<node concept="Rm8GO" id="5BRQP3RmKWZ" role="2Oq$k0">
1387+
<ref role="Rm8GQ" to="dzyv:~ChronoUnit.FOREVER" resolve="FOREVER" />
1388+
<ref role="1Px2BO" to="dzyv:~ChronoUnit" resolve="ChronoUnit" />
1389+
</node>
1390+
<node concept="liA8E" id="5BRQP3RmKX0" role="2OqNvi">
1391+
<ref role="37wK5l" to="dzyv:~ChronoUnit.getDuration()" resolve="getDuration" />
1392+
</node>
1393+
</node>
13701394
</node>
13711395
</node>
13721396
</node>

0 commit comments

Comments
 (0)