Commit 814c7954 authored by André Pacak's avatar André Pacak

generalize code for instanceX

parent aba239fc
......@@ -11,18 +11,6 @@
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
</imports>
<registry>
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
<concept id="1238852151516" name="jetbrains.mps.baseLanguage.tuples.structure.IndexedTupleType" flags="in" index="1LlUBW">
<child id="1238852204892" name="componentType" index="1Lm7xW" />
</concept>
<concept id="1238853782547" name="jetbrains.mps.baseLanguage.tuples.structure.IndexedTupleLiteral" flags="nn" index="1Ls8ON">
<child id="1238853845806" name="component" index="1Lso8e" />
</concept>
<concept id="1238857743184" name="jetbrains.mps.baseLanguage.tuples.structure.IndexedTupleMemberAccessExpression" flags="nn" index="1LFfDK">
<child id="1238857764950" name="tuple" index="1LFl5Q" />
<child id="1238857834412" name="index" index="1LF_Uc" />
</concept>
</language>
<language id="13744753-c81f-424a-9c1b-cf8943bf4e86" name="jetbrains.mps.lang.sharedConcepts">
<concept id="1161622665029" name="jetbrains.mps.lang.sharedConcepts.structure.ConceptFunctionParameter_model" flags="nn" index="1Q6Npb" />
</language>
......@@ -36,9 +24,6 @@
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
</concept>
<concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
<child id="1145553007750" name="creator" index="2ShVmc" />
</concept>
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
<child id="1137022507850" name="body" index="2VODD2" />
</concept>
......@@ -158,20 +143,11 @@
<concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
<child id="540871147943773366" name="argument" index="25WWJ7" />
</concept>
<concept id="1204980550705" name="jetbrains.mps.baseLanguage.collections.structure.VisitAllOperation" flags="nn" index="2es0OD" />
<concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
<child id="1151688676805" name="elementType" index="_ZDj9" />
</concept>
<concept id="1151689724996" name="jetbrains.mps.baseLanguage.collections.structure.SequenceType" flags="in" index="A3Dl8">
<child id="1151689745422" name="elementType" index="A3Ik2" />
</concept>
<concept id="1151702311717" name="jetbrains.mps.baseLanguage.collections.structure.ToListOperation" flags="nn" index="ANE8D" />
<concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
<child id="1237721435807" name="elementType" index="HW$YZ" />
</concept>
<concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
<concept id="1160600644654" name="jetbrains.mps.baseLanguage.collections.structure.ListCreatorWithInit" flags="nn" index="Tc6Ow" />
<concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
<concept id="1171391069720" name="jetbrains.mps.baseLanguage.collections.structure.GetIndexOfOperation" flags="nn" index="2WmjW8" />
<concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
<concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
......@@ -214,26 +190,6 @@
</node>
</node>
</node>
<node concept="3clFbH" id="4XA4NEmH_Ec" role="3cqZAp" />
<node concept="3cpWs8" id="iMPJyMHT4J" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMHT4K" role="3cpWs9">
<property role="TrG5h" value="replacementList" />
<node concept="_YKpA" id="iMPJyMHT4j" role="1tU5fm">
<node concept="1LlUBW" id="iMPJyMHT4u" role="_ZDj9">
<node concept="3Tqbb2" id="iMPJyMHT4v" role="1Lm7xW" />
<node concept="3Tqbb2" id="iMPJyMHT4w" role="1Lm7xW" />
</node>
</node>
<node concept="2ShNRf" id="iMPJyMHT4L" role="33vP2m">
<node concept="Tc6Ow" id="iMPJyMHT4M" role="2ShVmc">
<node concept="1LlUBW" id="iMPJyMHT4N" role="HW$YZ">
<node concept="3Tqbb2" id="iMPJyMHT4O" role="1Lm7xW" />
<node concept="3Tqbb2" id="iMPJyMHT4P" role="1Lm7xW" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="2loaFujhwaM" role="3cqZAp" />
<node concept="3SKdUt" id="4XA4NEmHNds" role="3cqZAp">
<node concept="3SKdUq" id="4XA4NEmHNdu" role="3SKWNk">
......@@ -372,156 +328,66 @@
</node>
<node concept="3cpWs8" id="4XA4NEmJ2LZ" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmJ2M0" role="3cpWs9">
<property role="TrG5h" value="instances1" />
<property role="TrG5h" value="instances" />
<node concept="A3Dl8" id="4XA4NEmJ2LJ" role="1tU5fm">
<node concept="3Tqbb2" id="4XA4NEmJ2LM" role="A3Ik2">
<ref role="ehGHo" to="b83y:2_58u12eCWR" resolve="JudgmentInstance1" />
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
<node concept="2OqwBi" id="iMPJyMDb1f" role="33vP2m">
<node concept="2OqwBi" id="2loaFujdpck" role="2Oq$k0">
<node concept="2OqwBi" id="677Mj2_E_YB" role="33vP2m">
<node concept="2OqwBi" id="2BsPEhwlyB0" role="2Oq$k0">
<node concept="2OqwBi" id="4XA4NEmJ2M2" role="2Oq$k0">
<node concept="1Q6Npb" id="4XA4NEmJ2M3" role="2Oq$k0" />
<node concept="2SmgA7" id="4XA4NEmJ2M4" role="2OqNvi">
<node concept="chp4Y" id="iMPJyMQQvF" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12eCWR" resolve="JudgmentInstance1" />
<node concept="chp4Y" id="677Mj2_EM3S" role="1dBWTz">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
</node>
<node concept="3zZkjj" id="2loaFujdtHG" role="2OqNvi">
<node concept="1bVj0M" id="2loaFujdtHI" role="23t8la">
<node concept="3clFbS" id="2loaFujdtHJ" role="1bW5cS">
<node concept="3clFbF" id="iMPJyM$UTz" role="3cqZAp">
<node concept="3clFbC" id="iMPJyM$YND" role="3clFbG">
<node concept="37vLTw" id="iMPJyM$Z2M" role="3uHU7w">
<node concept="3zZkjj" id="2BsPEhwlzS8" role="2OqNvi">
<node concept="1bVj0M" id="2BsPEhwlzSa" role="23t8la">
<node concept="3clFbS" id="2BsPEhwlzSb" role="1bW5cS">
<node concept="3clFbF" id="677Mj2_EMPV" role="3cqZAp">
<node concept="3clFbC" id="677Mj2_EObJ" role="3clFbG">
<node concept="37vLTw" id="677Mj2_EOwY" role="3uHU7w">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2OqwBi" id="iMPJyM$Vcp" role="3uHU7B">
<node concept="37vLTw" id="iMPJyM$UTy" role="2Oq$k0">
<ref role="3cqZAo" node="2loaFujdtHK" resolve="it" />
<node concept="2OqwBi" id="677Mj2_ENbS" role="3uHU7B">
<node concept="37vLTw" id="677Mj2_EMPU" role="2Oq$k0">
<ref role="3cqZAo" node="2BsPEhwlzSc" resolve="it" />
</node>
<node concept="3TrEf2" id="iMPJyMRYBM" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCWS" resolve="judgment" />
<node concept="2qgKlT" id="677Mj2_ENEs" role="2OqNvi">
<ref role="37wK5l" to="pgas:iMPJyMM1Nb" resolve="getJudgment" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="2loaFujdtHK" role="1bW2Oz">
<node concept="Rh6nW" id="2BsPEhwlzSc" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="2loaFujdtHL" role="1tU5fm" />
<node concept="2jxLKc" id="2BsPEhwlzSd" role="1tU5fm" />
</node>
</node>
</node>
</node>
<node concept="ANE8D" id="iMPJyMDiLz" role="2OqNvi" />
<node concept="ANE8D" id="677Mj2_EIBG" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3SKdUt" id="iMPJyMQZ1$" role="3cqZAp">
<node concept="3SKdUq" id="iMPJyMQZ1A" role="3SKWNk">
<property role="3SKdUp" value="TODO make this more generic (have to exclude eq, neq somehow)" />
</node>
</node>
<node concept="3cpWs8" id="iMPJyMQMm6" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMQMm7" role="3cpWs9">
<property role="TrG5h" value="instances2" />
<node concept="A3Dl8" id="iMPJyMQMm8" role="1tU5fm">
<node concept="3Tqbb2" id="iMPJyMQMm9" role="A3Ik2">
<ref role="ehGHo" to="b83y:2_58u12eNuo" resolve="JudgmentInstance2" />
</node>
</node>
<node concept="2OqwBi" id="iMPJyMQMma" role="33vP2m">
<node concept="2OqwBi" id="iMPJyMQMmb" role="2Oq$k0">
<node concept="2OqwBi" id="iMPJyMQMmc" role="2Oq$k0">
<node concept="1Q6Npb" id="iMPJyMQMmd" role="2Oq$k0" />
<node concept="2SmgA7" id="iMPJyMQMme" role="2OqNvi">
<node concept="chp4Y" id="iMPJyMQQKM" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12eNuo" resolve="JudgmentInstance2" />
</node>
</node>
</node>
<node concept="3zZkjj" id="iMPJyMQMmg" role="2OqNvi">
<node concept="1bVj0M" id="iMPJyMQMmh" role="23t8la">
<node concept="3clFbS" id="iMPJyMQMmi" role="1bW5cS">
<node concept="3clFbF" id="iMPJyMQMmj" role="3cqZAp">
<node concept="3clFbC" id="iMPJyMQMmk" role="3clFbG">
<node concept="37vLTw" id="iMPJyMQMml" role="3uHU7w">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2OqwBi" id="iMPJyMQMmm" role="3uHU7B">
<node concept="37vLTw" id="iMPJyMQMmn" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQMmp" resolve="it" />
</node>
<node concept="3TrEf2" id="iMPJyMRZiY" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eNup" resolve="judgment" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="iMPJyMQMmp" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="iMPJyMQMmq" role="1tU5fm" />
</node>
</node>
</node>
</node>
<node concept="ANE8D" id="iMPJyMQMmr" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbH" id="iMPJyMQLsi" role="3cqZAp" />
<node concept="3cpWs8" id="iMPJyMQOuR" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMQOuS" role="3cpWs9">
<property role="TrG5h" value="instances3" />
<node concept="A3Dl8" id="iMPJyMQOuT" role="1tU5fm">
<node concept="3Tqbb2" id="iMPJyMQOuU" role="A3Ik2">
<ref role="ehGHo" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
</node>
<node concept="3clFbH" id="iMPJyMQNwD" role="3cqZAp" />
<node concept="3clFbF" id="2BsPEhwiZoo" role="3cqZAp">
<node concept="2OqwBi" id="2BsPEhwiZop" role="3clFbG">
<node concept="37vLTw" id="2BsPEhwiZoq" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2OqwBi" id="iMPJyMQOuV" role="33vP2m">
<node concept="2OqwBi" id="iMPJyMQOuW" role="2Oq$k0">
<node concept="2OqwBi" id="iMPJyMQOuX" role="2Oq$k0">
<node concept="1Q6Npb" id="iMPJyMQOuY" role="2Oq$k0" />
<node concept="2SmgA7" id="iMPJyMQOuZ" role="2OqNvi">
<node concept="chp4Y" id="iMPJyMQOv0" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
</node>
</node>
</node>
<node concept="3zZkjj" id="iMPJyMQOv1" role="2OqNvi">
<node concept="1bVj0M" id="iMPJyMQOv2" role="23t8la">
<node concept="3clFbS" id="iMPJyMQOv3" role="1bW5cS">
<node concept="3clFbF" id="iMPJyMQOv4" role="3cqZAp">
<node concept="3clFbC" id="iMPJyMQOv5" role="3clFbG">
<node concept="37vLTw" id="iMPJyMQOv6" role="3uHU7w">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2OqwBi" id="iMPJyMQOv7" role="3uHU7B">
<node concept="37vLTw" id="iMPJyMQOv8" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQOva" resolve="it" />
</node>
<node concept="3TrEf2" id="iMPJyMQOv9" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12ePfc" resolve="judgment" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="iMPJyMQOva" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="iMPJyMQOvb" role="1tU5fm" />
</node>
</node>
</node>
<node concept="1P9Npp" id="2BsPEhwiZor" role="2OqNvi">
<node concept="37vLTw" id="2BsPEhwiZos" role="1P9ThW">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
<node concept="ANE8D" id="iMPJyMQOvc" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbH" id="iMPJyMQNwD" role="3cqZAp" />
<node concept="3clFbH" id="iMPJyMQRVv" role="3cqZAp" />
<node concept="3clFbH" id="2BsPEhwlnS8" role="3cqZAp" />
<node concept="1DcWWT" id="iMPJyMQRVw" role="3cqZAp">
<node concept="3clFbS" id="iMPJyMQRVx" role="2LFqv$">
<node concept="3cpWs8" id="iMPJyMQRVy" role="3cqZAp">
......@@ -543,211 +409,47 @@
</node>
</node>
</node>
<node concept="3clFbF" id="iMPJyMQRVD" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMQRVE" role="3clFbG">
<node concept="37vLTw" id="iMPJyMQRVF" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMHT4K" resolve="replacementList" />
</node>
<node concept="TSZUe" id="iMPJyMQRVG" role="2OqNvi">
<node concept="1Ls8ON" id="iMPJyMQRVH" role="25WWJ7">
<node concept="37vLTw" id="iMPJyMQRVI" role="1Lso8e">
<ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
</node>
<node concept="37vLTw" id="iMPJyMQRVJ" role="1Lso8e">
<ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
</node>
<node concept="3clFbF" id="2BsPEhwiY$M" role="3cqZAp">
<node concept="2OqwBi" id="2BsPEhwiYGH" role="3clFbG">
<node concept="37vLTw" id="2BsPEhwiY$K" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
</node>
<node concept="1P9Npp" id="2BsPEhwiZbh" role="2OqNvi">
<node concept="37vLTw" id="2BsPEhwiZbR" role="1P9ThW">
<ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="iMPJyMQRVK" role="1Duv9x">
<property role="TrG5h" value="instance" />
<node concept="3Tqbb2" id="iMPJyMQRVL" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="37vLTw" id="iMPJyMQRVM" role="1DdaDG">
<ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances1" />
</node>
</node>
<node concept="3clFbH" id="iMPJyMQQW3" role="3cqZAp" />
<node concept="1DcWWT" id="iMPJyMQUaW" role="3cqZAp">
<node concept="3clFbS" id="iMPJyMQUaX" role="2LFqv$">
<node concept="3cpWs8" id="iMPJyMQUaY" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMQUaZ" role="3cpWs9">
<property role="TrG5h" value="newInstance" />
<node concept="3Tqbb2" id="iMPJyMQUb0" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="2OqwBi" id="iMPJyMQUb1" role="33vP2m">
<node concept="37vLTw" id="iMPJyMQUb2" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQUbc" resolve="instance" />
</node>
<node concept="2qgKlT" id="iMPJyMQUb3" role="2OqNvi">
<ref role="37wK5l" to="pgas:2loaFuj7QjI" resolve="removeSort" />
<node concept="37vLTw" id="iMPJyMQUb4" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="iMPJyMQUb5" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMQUb6" role="3clFbG">
<node concept="37vLTw" id="iMPJyMQUb7" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMHT4K" resolve="replacementList" />
</node>
<node concept="TSZUe" id="iMPJyMQUb8" role="2OqNvi">
<node concept="1Ls8ON" id="iMPJyMQUb9" role="25WWJ7">
<node concept="37vLTw" id="iMPJyMQUba" role="1Lso8e">
<ref role="3cqZAo" node="iMPJyMQUbc" resolve="instance" />
</node>
<node concept="37vLTw" id="iMPJyMQUbb" role="1Lso8e">
<ref role="3cqZAo" node="iMPJyMQUaZ" resolve="newInstance" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="iMPJyMQUbc" role="1Duv9x">
<property role="TrG5h" value="instance" />
<node concept="3Tqbb2" id="iMPJyMQUbd" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="37vLTw" id="iMPJyMQVwD" role="1DdaDG">
<ref role="3cqZAo" node="iMPJyMQMm7" resolve="instances2" />
</node>
</node>
<node concept="3clFbH" id="iMPJyMHUUN" role="3cqZAp" />
<node concept="1DcWWT" id="4XA4NEmJ3ro" role="3cqZAp">
<node concept="3clFbS" id="4XA4NEmJ3rq" role="2LFqv$">
<node concept="3cpWs8" id="iMPJyMIckv" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMIckw" role="3cpWs9">
<property role="TrG5h" value="newInstance" />
<node concept="3Tqbb2" id="iMPJyMIck6" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="2OqwBi" id="iMPJyMIckx" role="33vP2m">
<node concept="37vLTw" id="iMPJyMIcky" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmJ3rr" resolve="instance" />
<node concept="3clFbF" id="2BsPEhwiYbm" role="3cqZAp">
<node concept="2OqwBi" id="2BsPEhwiYbn" role="3clFbG">
<node concept="1PxgMI" id="2BsPEhwiYbo" role="2Oq$k0">
<node concept="chp4Y" id="677Mj2_FCQq" role="3oSUPX">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
<node concept="2qgKlT" id="iMPJyMIckz" role="2OqNvi">
<ref role="37wK5l" to="pgas:2loaFuj7QjI" resolve="removeSort" />
<node concept="37vLTw" id="iMPJyMIck$" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
</node>
<node concept="37vLTw" id="2BsPEhwiZdb" role="1m5AlR">
<ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="iMPJyMI4NL" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMI5Ff" role="3clFbG">
<node concept="37vLTw" id="iMPJyMI4NJ" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMHT4K" resolve="replacementList" />
</node>
<node concept="TSZUe" id="iMPJyMIbdL" role="2OqNvi">
<node concept="1Ls8ON" id="iMPJyMIbga" role="25WWJ7">
<node concept="37vLTw" id="iMPJyMIb_I" role="1Lso8e">
<ref role="3cqZAo" node="4XA4NEmJ3rr" resolve="instance" />
</node>
<node concept="37vLTw" id="iMPJyMIcQs" role="1Lso8e">
<ref role="3cqZAo" node="iMPJyMIckw" resolve="newInstance" />
</node>
<node concept="2qgKlT" id="2BsPEhwiYbt" role="2OqNvi">
<ref role="37wK5l" to="pgas:iMPJyMLTZV" resolve="setJudgment" />
<node concept="37vLTw" id="2BsPEhwiYbu" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="4XA4NEmJ3rr" role="1Duv9x">
<node concept="3cpWsn" id="iMPJyMQRVK" role="1Duv9x">
<property role="TrG5h" value="instance" />
<node concept="3Tqbb2" id="4XA4NEmJ3Dh" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="37vLTw" id="iMPJyMQVKI" role="1DdaDG">
<ref role="3cqZAo" node="iMPJyMQOuS" resolve="instances3" />
</node>
</node>
<node concept="3clFbH" id="iMPJyMIqcx" role="3cqZAp" />
<node concept="3clFbF" id="iMPJyMJS7Y" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMJSHv" role="3clFbG">
<node concept="37vLTw" id="iMPJyMJS7W" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="1P9Npp" id="iMPJyMJTDP" role="2OqNvi">
<node concept="37vLTw" id="iMPJyMJTEq" role="1P9ThW">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
<node concept="3Tqbb2" id="iMPJyMQRVL" role="1tU5fm">
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
</node>
<node concept="3clFbF" id="iMPJyMIrOS" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMIt4f" role="3clFbG">
<node concept="37vLTw" id="iMPJyMIrOQ" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMHT4K" resolve="replacementList" />
</node>
<node concept="2es0OD" id="iMPJyMIu3L" role="2OqNvi">
<node concept="1bVj0M" id="iMPJyMIu3N" role="23t8la">
<node concept="3clFbS" id="iMPJyMIu3O" role="1bW5cS">
<node concept="3clFbH" id="iMPJyMJTF3" role="3cqZAp" />
<node concept="3clFbF" id="iMPJyMIwpF" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMIxVt" role="3clFbG">
<node concept="1LFfDK" id="iMPJyMIxCb" role="2Oq$k0">
<node concept="3cmrfG" id="iMPJyMIxHX" role="1LF_Uc">
<property role="3cmrfH" value="0" />
</node>
<node concept="37vLTw" id="iMPJyMIwpD" role="1LFl5Q">
<ref role="3cqZAo" node="iMPJyMIu3P" resolve="it" />
</node>
</node>
<node concept="1P9Npp" id="iMPJyMIF4d" role="2OqNvi">
<node concept="1LFfDK" id="iMPJyMIFF7" role="1P9ThW">
<node concept="3cmrfG" id="iMPJyMIFMt" role="1LF_Uc">
<property role="3cmrfH" value="1" />
</node>
<node concept="37vLTw" id="iMPJyMIFbg" role="1LFl5Q">
<ref role="3cqZAo" node="iMPJyMIu3P" resolve="it" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="iMPJyMPW4E" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMPXPi" role="3clFbG">
<node concept="1PxgMI" id="iMPJyMPXuy" role="2Oq$k0">
<node concept="chp4Y" id="iMPJyMPX_O" role="3oSUPX">
<ref role="cht4Q" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="1LFfDK" id="iMPJyMPWvw" role="1m5AlR">
<node concept="3cmrfG" id="iMPJyMPWBp" role="1LF_Uc">
<property role="3cmrfH" value="1" />
</node>
<node concept="37vLTw" id="iMPJyMPW4C" role="1LFl5Q">
<ref role="3cqZAo" node="iMPJyMIu3P" resolve="it" />
</node>
</node>
</node>
<node concept="2qgKlT" id="iMPJyMPYau" role="2OqNvi">
<ref role="37wK5l" to="pgas:iMPJyMLTZV" resolve="setJudgment" />
<node concept="37vLTw" id="iMPJyMPYmU" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="iMPJyMIu3P" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="iMPJyMIu3Q" role="1tU5fm" />
</node>
</node>
</node>
<node concept="37vLTw" id="677Mj2_EQd_" role="1DdaDG">
<ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances" />
</node>
</node>
<node concept="3clFbH" id="iMPJyMFWtp" role="3cqZAp" />
</node>
<node concept="3cpWsn" id="4XA4NEmHp$S" role="1Duv9x">
<property role="TrG5h" value="decl" />
......
......@@ -1706,30 +1706,6 @@
<node concept="10Oyi0" id="2loaFuj7QkV" role="1tU5fm" />
</node>
</node>
<node concept="13i0hz" id="iMPJyMM1Nb" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="getJudgment" />
<node concept="3Tm1VV" id="iMPJyMM1Nc" role="1B3o_S" />
<node concept="3Tqbb2" id="iMPJyMM1O7" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="3clFbS" id="iMPJyMM1Ne" role="3clF47" />
</node>
<node concept="13i0hz" id="iMPJyMLTZV" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="setJudgment" />
<node concept="3Tm1VV" id="iMPJyMLTZW" role="1B3o_S" />
<node concept="3cqZAl" id="iMPJyMLU0_" role="3clF45" />
<node concept="3clFbS" id="iMPJyMLTZY" role="3clF47" />
<node concept="37vLTG" id="iMPJyMLU1r" role="3clF46">
<property role="TrG5h" value="judgment" />
<node concept="3Tqbb2" id="iMPJyMLU1q" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
</node>
<node concept="13hLZK" id="2loaFuj7Qj$" role="13h7CW">
<node concept="3clFbS" id="2loaFuj7Qj_" role="2VODD2" />
</node>
......@@ -2215,5 +2191,36 @@
<node concept="3cqZAl" id="iMPJyMLWCC" role="3clF45" />
</node>
</node>
<node concept="13h7C7" id="677Mj2_EQAl">
<property role="3GE5qa" value="judgment" />
<ref role="13h7C2" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
<node concept="13i0hz" id="iMPJyMM1Nb" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="getJudgment" />
<node concept="3Tm1VV" id="iMPJyMM1Nc" role="1B3o_S" />
<node concept="3Tqbb2" id="iMPJyMM1O7" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="3clFbS" id="iMPJyMM1Ne" role="3clF47" />
</node>
<node concept="13i0hz" id="iMPJyMLTZV" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="setJudgment" />
<node concept="3Tm1VV" id="iMPJyMLTZW" role="1B3o_S" />
<node concept="3cqZAl" id="iMPJyMLU0_" role="3clF45" />
<node concept="3clFbS" id="iMPJyMLTZY" role="3clF47" />
<node concept="37vLTG" id="iMPJyMLU1r" role="3clF46">
<property role="TrG5h" value="judgment" />
<node concept="3Tqbb2" id="iMPJyMLU1q" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
</node>
<node concept="13hLZK" id="677Mj2_EQAm" role="13h7CW">
<node concept="3clFbS" id="677Mj2_EQAn" role="2VODD2" />
</node>
</node>
</model>
......@@ -169,8 +169,8 @@
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="PrWs8" id="2_58u12uPYU" role="PzmwI">
<ref role="PrY4T" node="2_58u12fwJB" resolve="JudgmentInstance" />
<node concept="PrWs8" id="677Mj2_ELa$" role="PzmwI">
<ref role="PrY4T" node="677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
<node concept="1TIwiD" id="2_58u12eCXq">
......@@ -354,8 +354,8 @@
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="PrWs8" id="2_58u12g7TE" role="PzmwI">
<ref role="PrY4T" node="2_58u12fwJB" resolve="JudgmentInstance" />
<node concept="PrWs8" id="677Mj2_ELaD" role="PzmwI">
<ref role="PrY4T" node="677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
<node concept="1TIwiD" id="2_58u12ePfb">
......@@ -391,8 +391,8 @@
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="PrWs8" id="2_58u12fwJC" role="PzmwI">
<ref role="PrY4T" node="2_58u12fwJB" resolve="JudgmentInstance" />
<node concept="PrWs8" id="677Mj2_ELaI" role="PzmwI">
<ref role="PrY4T" node="677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
<node concept="PlHQZ" id="2_58u12fwJB">
......@@ -615,5 +615,13 @@
<ref role="20lvS9" node="2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
<node concept="PlHQZ" id="677Mj2_ELav">
<property role="EcuMT" value="7045821352819495583" />
<property role="3GE5qa" value="judgment" />
<property role="TrG5h" value="JudgmentInstanceWithDeclaration" />
<node concept="PrWs8" id="677Mj2_ELaw" role="PrDN$">
<ref role="PrY4T" node="2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
</model>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment