Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
PLMZ
iTypes
Commits
6ccb8513
Commit
6ccb8513
authored
Nov 29, 2019
by
André Pacak
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
syntax directed sort mode instead of syntax directed judgment flag
parent
2a253b47
Changes
6
Hide whitespace changes
Inline
Side-by-side
Showing
6 changed files
with
205 additions
and
157 deletions
+205
-157
inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
...s/TypeLang/generator/template/TypeLang.generator.util.mps
+29
-46
inca-translation/languages/TypeLang/generator/template/main@generator.mps
.../languages/TypeLang/generator/template/main@generator.mps
+2
-6
inca-translation/languages/TypeLang/models/behavior.mps
inca-translation/languages/TypeLang/models/behavior.mps
+115
-25
inca-translation/languages/TypeLang/models/editor.mps
inca-translation/languages/TypeLang/models/editor.mps
+8
-28
inca-translation/languages/TypeLang/models/structure.mps
inca-translation/languages/TypeLang/models/structure.mps
+10
-6
inca-translation/solutions/TypeLangTest/models/test_single.mps
...translation/solutions/TypeLangTest/models/test_single.mps
+41
-46
No files found.
inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
View file @
6ccb8513
...
@@ -4077,7 +4077,7 @@
...
@@ -4077,7 +4077,7 @@
</node>
</node>
<node concept="2tJIrI" id="32CDcOyI4Xk" role="jymVt" />
<node concept="2tJIrI" id="32CDcOyI4Xk" role="jymVt" />
<node concept="3clFb_" id="2iwoW_qmyLT" role="jymVt">
<node concept="3clFb_" id="2iwoW_qmyLT" role="jymVt">
<property role="TrG5h" value="getDeclarationsWithUserAnd
NonUser
Input" />
<property role="TrG5h" value="getDeclarationsWithUserAnd
SyntaxDirected
Input" />
<node concept="3clFbS" id="2iwoW_qmyLU" role="3clF47">
<node concept="3clFbS" id="2iwoW_qmyLU" role="3clF47">
<node concept="3clFbF" id="2iwoW_qmyLV" role="3cqZAp">
<node concept="3clFbF" id="2iwoW_qmyLV" role="3cqZAp">
<node concept="2OqwBi" id="2iwoW_qmyLW" role="3clFbG">
<node concept="2OqwBi" id="2iwoW_qmyLW" role="3clFbG">
...
@@ -4100,7 +4100,7 @@
...
@@ -4100,7 +4100,7 @@
<node concept="3clFbS" id="2iwoW_qmyM6" role="1bW5cS">
<node concept="3clFbS" id="2iwoW_qmyM6" role="1bW5cS">
<node concept="3cpWs8" id="7oauUzvciXS" role="3cqZAp">
<node concept="3cpWs8" id="7oauUzvciXS" role="3cqZAp">
<node concept="3cpWsn" id="7oauUzvciXT" role="3cpWs9">
<node concept="3cpWsn" id="7oauUzvciXT" role="3cpWs9">
<property role="TrG5h" value="
nonUser
InputSorts" />
<property role="TrG5h" value="
syntaxDirected
InputSorts" />
<node concept="2I9FWS" id="7oauUzvciXI" role="1tU5fm">
<node concept="2I9FWS" id="7oauUzvciXI" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
...
@@ -4108,8 +4108,8 @@
...
@@ -4108,8 +4108,8 @@
<node concept="37vLTw" id="7oauUzvciXV" role="2Oq$k0">
<node concept="37vLTw" id="7oauUzvciXV" role="2Oq$k0">
<ref role="3cqZAo" node="2iwoW_qmyMo" resolve="it" />
<ref role="3cqZAo" node="2iwoW_qmyMo" resolve="it" />
</node>
</node>
<node concept="2qgKlT" id="
7oauUzvciXW
" role="2OqNvi">
<node concept="2qgKlT" id="
1t5MWi4aLSq
" role="2OqNvi">
<ref role="37wK5l" to="pgas:
2iwoW_qn4iq
" resolve="get
NonUser
InputSorts" />
<ref role="37wK5l" to="pgas:
1t5MWi48XT4
" resolve="get
SyntaxDirected
InputSorts" />
</node>
</node>
</node>
</node>
</node>
</node>
...
@@ -4152,7 +4152,7 @@
...
@@ -4152,7 +4152,7 @@
<node concept="2OqwBi" id="2iwoW_qn91j" role="3uHU7B">
<node concept="2OqwBi" id="2iwoW_qn91j" role="3uHU7B">
<node concept="1uHKPH" id="2iwoW_qnhh9" role="2OqNvi" />
<node concept="1uHKPH" id="2iwoW_qnhh9" role="2OqNvi" />
<node concept="37vLTw" id="7oauUzvciXY" role="2Oq$k0">
<node concept="37vLTw" id="7oauUzvciXY" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUzvciXT" resolve="
nonUser
InputSorts" />
<ref role="3cqZAo" node="7oauUzvciXT" resolve="
syntaxDirected
InputSorts" />
</node>
</node>
</node>
</node>
<node concept="10Nm6u" id="2iwoW_qn$Os" role="3uHU7w" />
<node concept="10Nm6u" id="2iwoW_qn$Os" role="3uHU7w" />
...
@@ -5357,7 +5357,7 @@
...
@@ -5357,7 +5357,7 @@
</node>
</node>
</node>
</node>
<node concept="312cEu" id="7oauUzrT9ir">
<node concept="312cEu" id="7oauUzrT9ir">
<property role="TrG5h" value="
NonUser
InputProjector" />
<property role="TrG5h" value="
SyntaxDirected
InputProjector" />
<node concept="312cEg" id="7oauUzrT9yp" role="jymVt">
<node concept="312cEg" id="7oauUzrT9yp" role="jymVt">
<property role="TrG5h" value="module" />
<property role="TrG5h" value="module" />
<node concept="3Tm6S6" id="7oauUzrT9yq" role="1B3o_S" />
<node concept="3Tm6S6" id="7oauUzrT9yq" role="1B3o_S" />
...
@@ -5509,7 +5509,7 @@
...
@@ -5509,7 +5509,7 @@
</node>
</node>
<node concept="3cpWs8" id="7TgNhRbgTQU" role="3cqZAp">
<node concept="3cpWs8" id="7TgNhRbgTQU" role="3cqZAp">
<node concept="3cpWsn" id="7TgNhRbgTQV" role="3cpWs9">
<node concept="3cpWsn" id="7TgNhRbgTQV" role="3cpWs9">
<property role="TrG5h" value="declarationsWithUserAnd
NonUserInput
" />
<property role="TrG5h" value="declarationsWithUserAnd
SyntaxDirected
" />
<node concept="2I9FWS" id="7TgNhRbgTQS" role="1tU5fm">
<node concept="2I9FWS" id="7TgNhRbgTQS" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
<ref role="2I9WkF" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
...
@@ -5518,33 +5518,16 @@
...
@@ -5518,33 +5518,16 @@
<ref role="3cqZAo" node="7TgNhRbgMBT" resolve="querier" />
<ref role="3cqZAo" node="7TgNhRbgMBT" resolve="querier" />
</node>
</node>
<node concept="liA8E" id="7TgNhRbgTQY" role="2OqNvi">
<node concept="liA8E" id="7TgNhRbgTQY" role="2OqNvi">
<ref role="37wK5l" node="2iwoW_qmyLT" resolve="getDeclarationsWithUserAnd
NonUser
Input" />
<ref role="37wK5l" node="2iwoW_qmyLT" resolve="getDeclarationsWithUserAnd
SyntaxDirected
Input" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1DcWWT" id="7oauUztmAEb" role="3cqZAp">
<node concept="1DcWWT" id="7oauUztmAEb" role="3cqZAp">
<node concept="3clFbS" id="7oauUztmAEd" role="2LFqv$">
<node concept="3clFbS" id="7oauUztmAEd" role="2LFqv$">
<node concept="3clFbJ" id="7TgNhRb89JK" role="3cqZAp">
<node concept="3clFbS" id="7TgNhRb89JL" role="3clFbx">
<node concept="3N13vt" id="7TgNhRb89JM" role="3cqZAp" />
</node>
<node concept="3clFbC" id="7TgNhRb89JN" role="3clFbw">
<node concept="2OqwBi" id="7TgNhRb89JO" role="3uHU7B">
<node concept="37vLTw" id="7TgNhRb89JP" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUztmAEe" resolve="declaration" />
</node>
<node concept="3TrEf2" id="7TgNhRb89JQ" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:7TgNhRaTdk1" resolve="syntaxDirected" />
</node>
</node>
<node concept="10Nm6u" id="7TgNhRb89JR" role="3uHU7w" />
</node>
</node>
<node concept="3clFbH" id="7TgNhRb88_i" role="3cqZAp" />
<node concept="3cpWs8" id="7oauUztmNqn" role="3cqZAp">
<node concept="3cpWs8" id="7oauUztmNqn" role="3cqZAp">
<node concept="3cpWsn" id="7oauUztmNqo" role="3cpWs9">
<node concept="3cpWsn" id="7oauUztmNqo" role="3cpWs9">
<property role="TrG5h" value="
nonUser
InputSorts" />
<property role="TrG5h" value="
syntaxDirected
InputSorts" />
<node concept="2I9FWS" id="7oauUztmNqj" role="1tU5fm">
<node concept="2I9FWS" id="7oauUztmNqj" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
...
@@ -5552,8 +5535,8 @@
...
@@ -5552,8 +5535,8 @@
<node concept="37vLTw" id="7oauUztmNqq" role="2Oq$k0">
<node concept="37vLTw" id="7oauUztmNqq" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUztmAEe" resolve="declaration" />
<ref role="3cqZAo" node="7oauUztmAEe" resolve="declaration" />
</node>
</node>
<node concept="2qgKlT" id="
7oauUztmNqr
" role="2OqNvi">
<node concept="2qgKlT" id="
1t5MWi4aauM
" role="2OqNvi">
<ref role="37wK5l" to="pgas:
2iwoW_qn4iq
" resolve="get
NonUser
InputSorts" />
<ref role="37wK5l" to="pgas:
1t5MWi48XT4
" resolve="get
SyntaxDirected
InputSorts" />
</node>
</node>
</node>
</node>
</node>
</node>
...
@@ -5573,7 +5556,7 @@
...
@@ -5573,7 +5556,7 @@
<ref role="3cqZAo" node="7oauUztmAEe" resolve="declaration" />
<ref role="3cqZAo" node="7oauUztmAEe" resolve="declaration" />
</node>
</node>
<node concept="37vLTw" id="7oauUztla0d" role="37wK5m">
<node concept="37vLTw" id="7oauUztla0d" role="37wK5m">
<ref role="3cqZAo" node="7oauUztla1h" resolve="
nonUserSortToProjec
t" />
<ref role="3cqZAo" node="7oauUztla1h" resolve="
syntaxDirectedSor
t" />
</node>
</node>
</node>
</node>
<node concept="Xjq3P" id="7TgNhRbgFyR" role="2Oq$k0" />
<node concept="Xjq3P" id="7TgNhRbgFyR" role="2Oq$k0" />
...
@@ -5594,14 +5577,14 @@
...
@@ -5594,14 +5577,14 @@
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="7oauUztla1h" role="1Duv9x">
<node concept="3cpWsn" id="7oauUztla1h" role="1Duv9x">
<property role="TrG5h" value="
nonUserSortToProjec
t" />
<property role="TrG5h" value="
syntaxDirectedSor
t" />
<node concept="3Tqbb2" id="7oauUztla1i" role="1tU5fm">
<node concept="3Tqbb2" id="7oauUztla1i" role="1tU5fm">
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="7oauUztla1j" role="1DdaDG">
<node concept="2OqwBi" id="7oauUztla1j" role="1DdaDG">
<node concept="37vLTw" id="7oauUztmNXL" role="2Oq$k0">
<node concept="37vLTw" id="7oauUztmNXL" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUztmNqo" resolve="
nonUser
InputSorts" />
<ref role="3cqZAo" node="7oauUztmNqo" resolve="
syntaxDirected
InputSorts" />
</node>
</node>
<node concept="35Qw8J" id="7oauUztla1l" role="2OqNvi" />
<node concept="35Qw8J" id="7oauUztla1l" role="2OqNvi" />
</node>
</node>
...
@@ -5614,7 +5597,7 @@
...
@@ -5614,7 +5597,7 @@
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="7TgNhRbgWnJ" role="1DdaDG">
<node concept="37vLTw" id="7TgNhRbgWnJ" role="1DdaDG">
<ref role="3cqZAo" node="7TgNhRbgTQV" resolve="declarationsWithUserAnd
NonUserInput
" />
<ref role="3cqZAo" node="7TgNhRbgTQV" resolve="declarationsWithUserAnd
SyntaxDirected
" />
</node>
</node>
</node>
</node>
</node>
</node>
...
@@ -7412,7 +7395,7 @@
...
@@ -7412,7 +7395,7 @@
</node>
</node>
<node concept="3cpWs8" id="7oauUzvNtSd" role="3cqZAp">
<node concept="3cpWs8" id="7oauUzvNtSd" role="3cqZAp">
<node concept="3cpWsn" id="7oauUzvNtSe" role="3cpWs9">
<node concept="3cpWsn" id="7oauUzvNtSe" role="3cpWs9">
<property role="TrG5h" value="
nonUser
InputSortsOfConclusion" />
<property role="TrG5h" value="
syntaxDirected
InputSortsOfConclusion" />
<node concept="2I9FWS" id="7oauUzvNtSf" role="1tU5fm">
<node concept="2I9FWS" id="7oauUzvNtSf" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
...
@@ -7420,8 +7403,8 @@
...
@@ -7420,8 +7403,8 @@
<node concept="37vLTw" id="7oauUzvNtSh" role="2Oq$k0">
<node concept="37vLTw" id="7oauUzvNtSh" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUzvNtS6" resolve="judgmentOfConclusion" />
<ref role="3cqZAo" node="7oauUzvNtS6" resolve="judgmentOfConclusion" />
</node>
</node>
<node concept="2qgKlT" id="
7oauUzvNtSi
" role="2OqNvi">
<node concept="2qgKlT" id="
1t5MWi4acJ5
" role="2OqNvi">
<ref role="37wK5l" to="pgas:
2iwoW_qn4iq
" resolve="get
NonUser
InputSorts" />
<ref role="37wK5l" to="pgas:
1t5MWi48XT4
" resolve="get
SyntaxDirected
InputSorts" />
</node>
</node>
</node>
</node>
</node>
</node>
...
@@ -7441,7 +7424,7 @@
...
@@ -7441,7 +7424,7 @@
<ref role="3cqZAo" node="7oauUzvNtS6" resolve="judgmentOfConclusion" />
<ref role="3cqZAo" node="7oauUzvNtS6" resolve="judgmentOfConclusion" />
</node>
</node>
<node concept="37vLTw" id="7oauUzvNtSr" role="1Lso8e">
<node concept="37vLTw" id="7oauUzvNtSr" role="1Lso8e">
<ref role="3cqZAo" node="7oauUzvNtTh" resolve="
nonUser
InputSort" />
<ref role="3cqZAo" node="7oauUzvNtTh" resolve="
synaxtDirected
InputSort" />
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="7oauUzvNtSs" role="3ElQJh">
<node concept="37vLTw" id="7oauUzvNtSs" role="3ElQJh">
...
@@ -7500,7 +7483,7 @@
...
@@ -7500,7 +7483,7 @@
<ref role="cht4Q" to="b83y:2_58u12cYwo" resolve="SortConcept" />
<ref role="cht4Q" to="b83y:2_58u12cYwo" resolve="SortConcept" />
</node>
</node>
<node concept="37vLTw" id="7oauUzvNtSN" role="1m5AlR">
<node concept="37vLTw" id="7oauUzvNtSN" role="1m5AlR">
<ref role="3cqZAo" node="7oauUzvNtTh" resolve="
nonUser
InputSort" />
<ref role="3cqZAo" node="7oauUzvNtTh" resolve="
synaxtDirected
InputSort" />
</node>
</node>
</node>
</node>
<node concept="3TrEf2" id="7oauUzvNtSO" role="2OqNvi">
<node concept="3TrEf2" id="7oauUzvNtSO" role="2OqNvi">
...
@@ -7575,13 +7558,13 @@
...
@@ -7575,13 +7558,13 @@
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="7oauUzvNtTh" role="1Duv9x">
<node concept="3cpWsn" id="7oauUzvNtTh" role="1Duv9x">
<property role="TrG5h" value="
nonUser
InputSort" />
<property role="TrG5h" value="
synaxtDirected
InputSort" />
<node concept="3Tqbb2" id="7oauUzvNtTi" role="1tU5fm">
<node concept="3Tqbb2" id="7oauUzvNtTi" role="1tU5fm">
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="7oauUzvNtTj" role="1DdaDG">
<node concept="37vLTw" id="7oauUzvNtTj" role="1DdaDG">
<ref role="3cqZAo" node="7oauUzvNtSe" resolve="
nonUser
InputSortsOfConclusion" />
<ref role="3cqZAo" node="7oauUzvNtSe" resolve="
syntaxDirected
InputSortsOfConclusion" />
</node>
</node>
</node>
</node>
<node concept="3cpWs6" id="7oauUzvNT3$" role="3cqZAp">
<node concept="3cpWs6" id="7oauUzvNT3$" role="3cqZAp">
...
@@ -7746,8 +7729,8 @@
...
@@ -7746,8 +7729,8 @@
<node concept="37vLTw" id="7oauUzurV96" role="2Oq$k0">
<node concept="37vLTw" id="7oauUzurV96" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUzuqUhQ" resolve="declaration" />
<ref role="3cqZAo" node="7oauUzuqUhQ" resolve="declaration" />
</node>
</node>
<node concept="2qgKlT" id="
7oauUzurV97
" role="2OqNvi">
<node concept="2qgKlT" id="
1t5MWi4asD8
" role="2OqNvi">
<ref role="37wK5l" to="pgas:
2iwoW_qn4iq
" resolve="get
NonUser
InputSorts" />
<ref role="37wK5l" to="pgas:
1t5MWi48XT4
" resolve="get
SyntaxDirected
InputSorts" />
</node>
</node>
</node>
</node>
</node>
</node>
...
@@ -8148,7 +8131,7 @@
...
@@ -8148,7 +8131,7 @@
<node concept="3clFbS" id="7oauUztvRkQ" role="2LFqv$">
<node concept="3clFbS" id="7oauUztvRkQ" role="2LFqv$">
<node concept="3cpWs8" id="7oauUztw1W4" role="3cqZAp">
<node concept="3cpWs8" id="7oauUztw1W4" role="3cqZAp">
<node concept="3cpWsn" id="7oauUztw1W5" role="3cpWs9">
<node concept="3cpWsn" id="7oauUztw1W5" role="3cpWs9">
<property role="TrG5h" value="
nonUser
InputSorts" />
<property role="TrG5h" value="
syntaxDirected
InputSorts" />
<node concept="2I9FWS" id="7oauUztw1W3" role="1tU5fm">
<node concept="2I9FWS" id="7oauUztw1W3" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
...
@@ -8156,8 +8139,8 @@
...
@@ -8156,8 +8139,8 @@
<node concept="37vLTw" id="7oauUztw1W7" role="2Oq$k0">
<node concept="37vLTw" id="7oauUztw1W7" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUztvRkR" resolve="declaration" />
<ref role="3cqZAo" node="7oauUztvRkR" resolve="declaration" />
</node>
</node>
<node concept="2qgKlT" id="
7oauUztw1W8
" role="2OqNvi">
<node concept="2qgKlT" id="
1t5MWi4aumn
" role="2OqNvi">
<ref role="37wK5l" to="pgas:
2iwoW_qn4iq
" resolve="get
NonUser
InputSorts" />
<ref role="37wK5l" to="pgas:
1t5MWi48XT4
" resolve="get
SyntaxDirected
InputSorts" />
</node>
</node>
</node>
</node>
</node>
</node>
...
@@ -8259,7 +8242,7 @@
...
@@ -8259,7 +8242,7 @@
</node>
</node>
<node concept="2OqwBi" id="7oauUztw7G_" role="1DdaDG">
<node concept="2OqwBi" id="7oauUztw7G_" role="1DdaDG">
<node concept="37vLTw" id="7oauUztw4x$" role="2Oq$k0">
<node concept="37vLTw" id="7oauUztw4x$" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUztw1W5" resolve="
nonUser
InputSorts" />
<ref role="3cqZAo" node="7oauUztw1W5" resolve="
syntaxDirected
InputSorts" />
</node>
</node>
<node concept="35Qw8J" id="7oauUztw9Yf" role="2OqNvi" />
<node concept="35Qw8J" id="7oauUztw9Yf" role="2OqNvi" />
</node>
</node>
...
@@ -8425,7 +8408,7 @@
...
@@ -8425,7 +8408,7 @@
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="
6OMXo1UBcFI
" role="jymVt" />
<node concept="2tJIrI" id="
1t5MWi40iIf
" role="jymVt" />
<node concept="312cEg" id="6OMXo1STrIX" role="jymVt">
<node concept="312cEg" id="6OMXo1STrIX" role="jymVt">
<property role="TrG5h" value="gencontext" />
<property role="TrG5h" value="gencontext" />
<node concept="3Tm6S6" id="6OMXo1STqvK" role="1B3o_S" />
<node concept="3Tm6S6" id="6OMXo1STqvK" role="1B3o_S" />
...
...
inca-translation/languages/TypeLang/generator/template/main@generator.mps
View file @
6ccb8513
...
@@ -88,9 +88,7 @@
...
@@ -88,9 +88,7 @@
<concept
id=
"1068580123136"
name=
"jetbrains.mps.baseLanguage.structure.StatementList"
flags=
"sn"
stub=
"5293379017992965193"
index=
"3clFbS"
>
<concept
id=
"1068580123136"
name=
"jetbrains.mps.baseLanguage.structure.StatementList"
flags=
"sn"
stub=
"5293379017992965193"
index=
"3clFbS"
>
<child
id=
"1068581517665"
name=
"statement"
index=
"3cqZAp"
/>
<child
id=
"1068581517665"
name=
"statement"
index=
"3cqZAp"
/>
</concept>
</concept>
<concept
id=
"1068580123137"
name=
"jetbrains.mps.baseLanguage.structure.BooleanConstant"
flags=
"nn"
index=
"3clFbT"
>
<concept
id=
"1068580123137"
name=
"jetbrains.mps.baseLanguage.structure.BooleanConstant"
flags=
"nn"
index=
"3clFbT"
/>
<property
id=
"1068580123138"
name=
"value"
index=
"3clFbU"
/>
</concept>
<concept
id=
"1068580320020"
name=
"jetbrains.mps.baseLanguage.structure.IntegerConstant"
flags=
"nn"
index=
"3cmrfG"
>
<concept
id=
"1068580320020"
name=
"jetbrains.mps.baseLanguage.structure.IntegerConstant"
flags=
"nn"
index=
"3cmrfG"
>
<property
id=
"1068580320021"
name=
"value"
index=
"3cmrfH"
/>
<property
id=
"1068580320021"
name=
"value"
index=
"3cmrfH"
/>
</concept>
</concept>
...
@@ -820,9 +818,7 @@
...
@@ -820,9 +818,7 @@
<node
concept=
"avzCv"
id=
"7TgNhRbqOho"
role=
"avys_"
>
<node
concept=
"avzCv"
id=
"7TgNhRbqOho"
role=
"avys_"
>
<node
concept=
"3clFbS"
id=
"7TgNhRbqOhp"
role=
"2VODD2"
>
<node
concept=
"3clFbS"
id=
"7TgNhRbqOhp"
role=
"2VODD2"
>
<node
concept=
"3cpWs6"
id=
"7TgNhRbqOoJ"
role=
"3cqZAp"
>
<node
concept=
"3cpWs6"
id=
"7TgNhRbqOoJ"
role=
"3cqZAp"
>
<node
concept=
"3clFbT"
id=
"7TgNhRbqOwf"
role=
"3cqZAk"
>
<node
concept=
"3clFbT"
id=
"7TgNhRbqOwf"
role=
"3cqZAk"
/>
<property
role=
"3clFbU"
value=
"true"
/>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
...
...
inca-translation/languages/TypeLang/models/behavior.mps
View file @
6ccb8513
...
@@ -1018,6 +1018,47 @@
...
@@ -1018,6 +1018,47 @@
<ref
role=
"2I9WkF"
to=
"b83y:2U2uJPpd5x5"
resolve=
"Sort"
/>
<ref
role=
"2I9WkF"
to=
"b83y:2U2uJPpd5x5"
resolve=
"Sort"
/>
</node>
</node>
</node>
</node>
<node
concept=
"13i0hz"
id=
"1t5MWi48XT4"
role=
"13h7CS"
>
<property
role=
"13i0iv"
value=
"false"
/>
<property
role=
"13i0it"
value=
"false"
/>
<property
role=
"TrG5h"
value=
"getSyntaxDirectedInputSorts"
/>
<node
concept=
"3Tm1VV"
id=
"1t5MWi48XT5"
role=
"1B3o_S"
/>
<node
concept=
"3clFbS"
id=
"1t5MWi48XT6"
role=
"3clF47"
>
<node
concept=
"3clFbF"
id=
"1t5MWi48XT7"
role=
"3cqZAp"
>
<node
concept=
"2OqwBi"
id=
"1t5MWi48XT8"
role=
"3clFbG"
>
<node
concept=
"2OqwBi"
id=
"1t5MWi48XT9"
role=
"2Oq$k0"
>
<node
concept=
"BsUDl"
id=
"1t5MWi48XTa"
role=
"2Oq$k0"
>
<ref
role=
"37wK5l"
node=
"4XA4NEmGQRd"
resolve=
"getSorts"
/>
</node>
<node
concept=
"3zZkjj"
id=
"1t5MWi48XTb"
role=
"2OqNvi"
>
<node
concept=
"1bVj0M"
id=
"1t5MWi48XTc"
role=
"23t8la"
>
<node
concept=
"3clFbS"
id=
"1t5MWi48XTd"
role=
"1bW5cS"
>
<node
concept=
"3clFbF"
id=
"1t5MWi48XTe"
role=
"3cqZAp"
>
<node
concept=
"2OqwBi"
id=
"1t5MWi48XTf"
role=
"3clFbG"
>
<node
concept=
"37vLTw"
id=
"1t5MWi48XTg"
role=
"2Oq$k0"
>
<ref
role=
"3cqZAo"
node=
"1t5MWi48XTi"
resolve=
"it"
/>
</node>
<node
concept=
"2qgKlT"
id=
"1t5MWi492kY"
role=
"2OqNvi"
>
<ref
role=
"37wK5l"
node=
"1t5MWi491jl"
resolve=
"isSyntaxDirectedInput"
/>
</node>
</node>
</node>
</node>
<node
concept=
"Rh6nW"
id=
"1t5MWi48XTi"
role=
"1bW2Oz"
>
<property
role=
"TrG5h"
value=
"it"
/>
<node
concept=
"2jxLKc"
id=
"1t5MWi48XTj"
role=
"1tU5fm"
/>
</node>
</node>
</node>
</node>
<node
concept=
"ANE8D"
id=
"1t5MWi48XTk"
role=
"2OqNvi"
/>
</node>
</node>
</node>
<node
concept=
"2I9FWS"
id=
"1t5MWi48XTl"
role=
"3clF45"
>
<ref
role=
"2I9WkF"
to=
"b83y:2U2uJPpd5x5"
resolve=
"Sort"
/>
</node>
</node>
<node
concept=
"13i0hz"
id=
"2iwoW_qn4iq"
role=
"13h7CS"
>
<node
concept=
"13i0hz"
id=
"2iwoW_qn4iq"
role=
"13h7CS"
>
<property
role=
"13i0iv"
value=
"false"
/>
<property
role=
"13i0iv"
value=
"false"
/>
<property
role=
"13i0it"
value=
"false"
/>
<property
role=
"13i0it"
value=
"false"
/>
...
@@ -1087,15 +1128,7 @@
...
@@ -1087,15 +1128,7 @@
<node
concept=
"1bVj0M"
id=
"7oauUzs6kXO"
role=
"23t8la"
>
<node
concept=
"1bVj0M"
id=
"7oauUzs6kXO"
role=
"23t8la"
>
<node
concept=
"3clFbS"
id=
"7oauUzs6kXP"
role=
"1bW5cS"
>
<node
concept=
"3clFbS"
id=
"7oauUzs6kXP"
role=
"1bW5cS"
>
<node
concept=
"3clFbF"
id=
"7oauUzs6kXQ"
role=
"3cqZAp"
>
<node
concept=
"3clFbF"
id=
"7oauUzs6kXQ"
role=
"3cqZAp"
>
<node
concept=
"22lmx$"
id=
"7oauUzscwsg"
role=
"3clFbG"
>
<node
concept=
"22lmx$"
id=
"1t5MWi4fV1E"
role=
"3clFbG"
>
<node
concept=
"2OqwBi"
id=
"7oauUzsgrzy"
role=
"3uHU7B"
>
<node
concept=
"37vLTw"
id=
"7oauUzsgrzz"
role=
"2Oq$k0"
>
<ref
role=
"3cqZAo"
node=
"7oauUzs6kXZ"
resolve=
"it"
/>
</node>
<node
concept=
"2qgKlT"
id=
"7oauUzsgrz$"
role=
"2OqNvi"
>
<ref
role=
"37wK5l"
node=
"2U2uJPpeU0b"
resolve=
"isInfiniteNonlatticeOutput"
/>
</node>
</node>
<node
concept=
"1eOMI4"
id=
"7oauUzsgrz_"
role=
"3uHU7w"
>
<node
concept=
"1eOMI4"
id=
"7oauUzsgrz_"
role=
"3uHU7w"
>
<node
concept=
"1Wc70l"
id=
"7oauUzsgrzA"
role=
"1eOMHV"
>
<node
concept=
"1Wc70l"
id=
"7oauUzsgrzA"
role=
"1eOMHV"
>
<node
concept=
"3fqX7Q"
id=
"7oauUzsgrzB"
role=
"3uHU7w"
>
<node
concept=
"3fqX7Q"
id=
"7oauUzsgrzB"
role=
"3uHU7w"
>
...
@@ -1118,6 +1151,24 @@
...
@@ -1118,6 +1151,24 @@
</node>
</node>
</node>
</node>
</node>
</node>
<node
concept=
"22lmx$"
id=
"7oauUzscwsg"
role=
"3uHU7B"
>
<node
concept=
"2OqwBi"
id=
"7oauUzsgrzy"
role=
"3uHU7B"
>
<node
concept=
"37vLTw"
id=
"7oauUzsgrzz"
role=
"2Oq$k0"
>
<ref
role=
"3cqZAo"
node=
"7oauUzs6kXZ"
resolve=
"it"
/>
</node>
<node
concept=
"2qgKlT"
id=
"7oauUzsgrz$"
role=
"2OqNvi"
>
<ref
role=
"37wK5l"
node=
"2U2uJPpeU0b"
resolve=
"isInfiniteNonlatticeOutput"
/>
</node>
</node>
<node
concept=
"2OqwBi"
id=
"1t5MWi4fVq8"
role=
"3uHU7w"
>
<node
concept=
"37vLTw"
id=
"1t5MWi4fVbY"
role=
"2Oq$k0"
>
<ref
role=
"3cqZAo"
node=
"7oauUzs6kXZ"
resolve=
"it"
/>
</node>
<node
concept=
"2qgKlT"
id=
"1t5MWi4fVID"
role=
"2OqNvi"
>
<ref
role=
"37wK5l"
node=
"1t5MWi491jl"
resolve=
"isSyntaxDirectedInput"
/>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
...
@@ -6547,30 +6598,45 @@
...
@@ -6547,30 +6598,45 @@
<node
concept=
"10P_77"
id=
"2U2uJPpEtu3"
role=
"3clF45"
/>
<node
concept=
"10P_77"
id=
"2U2uJPpEtu3"
role=
"3clF45"
/>
<node
concept=
"3clFbS"
id=
"2U2uJPpEtkx"
role=
"3clF47"
>
<node
concept=
"3clFbS"
id=
"2U2uJPpEtkx"
role=
"3clF47"
>
<node
concept=
"3clFbF"
id=
"2U2uJPpEtuo"
role=
"3cqZAp"
>
<node
concept=
"3clFbF"
id=
"2U2uJPpEtuo"
role=
"3cqZAp"
>
<node
concept=
"22lmx$"
id=
"
2U2uJPpEuMh
"
role=
"3clFbG"
>
<node
concept=
"22lmx$"
id=
"
1t5MWi4iNxZ
"
role=
"3clFbG"
>
<node
concept=
"2OqwBi"
id=
"
2U2uJPpEw91
"
role=
"3uHU7w"
>
<node
concept=
"2OqwBi"
id=
"
1t5MWi4iOhx
"
role=
"3uHU7w"
>
<node
concept=
"2OqwBi"
id=
"
2U2uJPpEv0j
"
role=
"2Oq$k0"
>
<node
concept=
"2OqwBi"
id=
"
1t5MWi4iNMO
"
role=
"2Oq$k0"
>
<node
concept=
"13iPFW"
id=
"
2U2uJPpEuR6
"
role=
"2Oq$k0"
/>
<node
concept=
"13iPFW"
id=
"
1t5MWi4iNCp
"
role=
"2Oq$k0"
/>
<node
concept=
"3TrEf2"
id=
"
2U2uJPpEv7z
"
role=
"2OqNvi"
>
<node
concept=
"3TrEf2"
id=
"
1t5MWi4iO73
"
role=
"2OqNvi"
>
<ref
role=
"3Tt5mk"
to=
"b83y:2_58u12cYDi"
resolve=
"mode"
/>
<ref
role=
"3Tt5mk"
to=
"b83y:2_58u12cYDi"
resolve=
"mode"
/>
</node>
</node>
</node>
</node>
<node
concept=
"1mIQ4w"
id=
"
2U2uJPpEwwU
"
role=
"2OqNvi"
>
<node
concept=
"1mIQ4w"
id=
"
1t5MWi4iOZ9
"
role=
"2OqNvi"
>
<node
concept=
"chp4Y"
id=
"
2U2uJPpEwD4
"
role=
"cj9EA"
>
<node
concept=
"chp4Y"
id=
"
1t5MWi4iP8e
"
role=
"cj9EA"
>
<ref
role=
"cht4Q"
to=
"b83y:
6G$bWLkspQH
"
resolve=
"Sort
User
Mode"
/>
<ref
role=
"cht4Q"
to=
"b83y:
1t5MWi448Ws
"
resolve=
"Sort
Syntax
Mode"
/>
</node>
</node>
</node>
</node>
</node>
</node>
<node
concept=
"2OqwBi"
id=
"2U2uJPpEu36"
role=
"3uHU7B"
>
<node
concept=
"22lmx$"
id=
"2U2uJPpEuMh"
role=
"3uHU7B"
>
<node
concept=
"2OqwBi"
id=
"2U2uJPpEtB3"
role=
"2Oq$k0"
>
<node
concept=
"2OqwBi"
id=
"2U2uJPpEu36"
role=
"3uHU7B"
>
<node
concept=
"13iPFW"
id=
"2U2uJPpEtun"
role=
"2Oq$k0"
/>
<node
concept=
"2OqwBi"
id=
"2U2uJPpEtB3"
role=
"2Oq$k0"
>
<node
concept=
"3TrEf2"
id=
"2U2uJPpEtO7"
role=
"2OqNvi"
>
<node
concept=
"13iPFW"
id=
"2U2uJPpEtun"
role=
"2Oq$k0"
/>
<ref
role=
"3Tt5mk"
to=
"b83y:2_58u12cYDi"
resolve=
"mode"
/>
<node
concept=
"3TrEf2"
id=
"2U2uJPpEtO7"
role=
"2OqNvi"
>
<ref
role=
"3Tt5mk"
to=
"b83y:2_58u12cYDi"
resolve=
"mode"
/>
</node>
</node>
<node
concept=
"1mIQ4w"
id=
"2U2uJPpEul8"
role=
"2OqNvi"
>
<node
concept=
"chp4Y"
id=
"2U2uJPpEusE"
role=
"cj9EA"
>
<ref
role=
"cht4Q"
to=
"b83y:2_58u12cYDo"
resolve=
"SortInputMode"
/>
</node>
</node>
</node>
</node>
</node>
<node
concept=
"1mIQ4w"
id=
"2U2uJPpEul8"
role=
"2OqNvi"
>
<node
concept=
"2OqwBi"
id=
"2U2uJPpEw91"
role=
"3uHU7w"
>
<node
concept=
"chp4Y"
id=
"2U2uJPpEusE"
role=
"cj9EA"
>
<node
concept=
"2OqwBi"
id=
"2U2uJPpEv0j"
role=
"2Oq$k0"
>
<ref
role=
"cht4Q"
to=
"b83y:2_58u12cYDo"
resolve=
"SortInputMode"
/>
<node
concept=
"13iPFW"
id=
"2U2uJPpEuR6"
role=
"2Oq$k0"
/>
<node
concept=
"3TrEf2"
id=
"2U2uJPpEv7z"
role=
"2OqNvi"
>
<ref
role=
"3Tt5mk"
to=
"b83y:2_58u12cYDi"
resolve=
"mode"
/>
</node>
</node>
<node
concept=
"1mIQ4w"
id=
"2U2uJPpEwwU"
role=
"2OqNvi"
>
<node
concept=
"chp4Y"
id=
"2U2uJPpEwD4"
role=
"cj9EA"
>
<ref
role=
"cht4Q"
to=
"b83y:6G$bWLkspQH"
resolve=
"SortUserMode"
/>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
...
@@ -6626,6 +6692,30 @@
...
@@ -6626,6 +6692,30 @@
</node>
</node>
</node>
</node>
</node>
</node>
<node
concept=
"13i0hz"
id=
"1t5MWi491jl"
role=
"13h7CS"
>
<property
role=
"13i0iv"
value=
"false"
/>
<property
role=
"13i0it"
value=
"false"
/>
<property
role=
"TrG5h"
value=
"isSyntaxDirectedInput"
/>
<node
concept=
"3Tm1VV"
id=
"1t5MWi491jm"
role=
"1B3o_S"
/>
<node
concept=
"10P_77"
id=
"1t5MWi491jn"
role=
"3clF45"
/>
<node
concept=
"3clFbS"
id=
"1t5MWi491jo"
role=
"3clF47"
>
<node
concept=
"3clFbF"
id=
"1t5MWi491jp"
role=
"3cqZAp"
>
<node
concept=
"2OqwBi"
id=
"1t5MWi491jq"
role=
"3clFbG"
>
<node
concept=
"2OqwBi"
id=
"1t5MWi491jr"
role=
"2Oq$k0"
>
<node
concept=
"13iPFW"
id=
"1t5MWi491js"
role=
"2Oq$k0"
/>
<node
concept=
"3TrEf2"
id=
"1t5MWi491jt"
role=
"2OqNvi"
>
<ref
role=
"3Tt5mk"
to=
"b83y:2_58u12cYDi"
resolve=
"mode"
/>
</node>
</node>
<node
concept=
"1mIQ4w"
id=
"1t5MWi491ju"
role=
"2OqNvi"
>
<node
concept=
"chp4Y"
id=
"1t5MWi49211"
role=
"cj9EA"
>
<ref
role=
"cht4Q"
to=
"b83y:1t5MWi448Ws"
resolve=
"SortSyntaxMode"
/>
</node>
</node>
</node>
</node>
</node>
</node>
<node
concept=
"13hLZK"
id=
"2U2uJPpd7Nn"
role=
"13h7CW"
>
<node
concept=
"13hLZK"
id=
"2U2uJPpd7Nn"
role=
"13h7CW"
>
<node
concept=
"3clFbS"
id=
"2U2uJPpd7No"
role=
"2VODD2"
/>
<node
concept=
"3clFbS"
id=
"2U2uJPpd7No"
role=
"2VODD2"
/>
</node>
</node>
...
...
inca-translation/languages/TypeLang/models/editor.mps
View file @
6ccb8513
...
@@ -919,13 +919,6 @@
...
@@ -919,13 +919,6 @@
<node
concept=
"3F0A7n"
id=
"2_58u12fi1D"
role=
"3EZMnx"
>
<node
concept=
"3F0A7n"
id=
"2_58u12fi1D"
role=
"3EZMnx"
>