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
4da768b4
Commit
4da768b4
authored
Dec 20, 2019
by
André Pacak
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
migration 2018.3
parent
e13f5c82
Changes
20
Hide whitespace changes
Inline
Side-by-side
Showing
20 changed files
with
73 additions
and
24 deletions
+73
-24
inca-translation/.mps/libraries.xml
inca-translation/.mps/libraries.xml
+33
-0
inca-translation/languages/FORecursiveTypes/FORecursiveTypes.mpl
...anslation/languages/FORecursiveTypes/FORecursiveTypes.mpl
+1
-0
inca-translation/languages/NewLanguage/SumTypes.mpl
inca-translation/languages/NewLanguage/SumTypes.mpl
+1
-0
inca-translation/languages/ProductTypes/ProductTypes.mpl
inca-translation/languages/ProductTypes/ProductTypes.mpl
+1
-0
inca-translation/languages/RecordTypes/RecordTypes.mpl
inca-translation/languages/RecordTypes/RecordTypes.mpl
+1
-0
inca-translation/languages/STLCN/STLCN.mpl
inca-translation/languages/STLCN/STLCN.mpl
+1
-0
inca-translation/languages/TypeLang/TypeLang.mpl
inca-translation/languages/TypeLang/TypeLang.mpl
+11
-11
inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
...s/TypeLang/generator/template/TypeLang.generator.util.mps
+5
-0
inca-translation/languages/TypeLang/models/editor.mps
inca-translation/languages/TypeLang/models/editor.mps
+1
-1
inca-translation/languages/TypeLang/models/structure.mps
inca-translation/languages/TypeLang/models/structure.mps
+1
-1
inca-translation/languages/VariantTypes/VariantTypes.mpl
inca-translation/languages/VariantTypes/VariantTypes.mpl
+1
-0
inca-translation/solutions/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd
...ons/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd
+1
-0
inca-translation/solutions/RecordTypes_Checker/RecordTypes_Checker.msd
...ion/solutions/RecordTypes_Checker/RecordTypes_Checker.msd
+1
-0
inca-translation/solutions/STLCN_Checker/STLCN_Checker.msd
inca-translation/solutions/STLCN_Checker/STLCN_Checker.msd
+1
-0
inca-translation/solutions/SumTypes_Checker/SumTypes_Checker.msd
...anslation/solutions/SumTypes_Checker/SumTypes_Checker.msd
+3
-2
inca-translation/solutions/SumTypes_Checker/models/tests@tests.mps
...slation/solutions/SumTypes_Checker/models/tests@tests.mps
+1
-1
inca-translation/solutions/TypeLangTest/TypeLangTest.msd
inca-translation/solutions/TypeLangTest/TypeLangTest.msd
+4
-4
inca-translation/solutions/TypeLangTest/models/test_genInca.mps
...ranslation/solutions/TypeLangTest/models/test_genInca.mps
+1
-1
inca-translation/solutions/VariantTypes_Checker/VariantTypes_Checker.msd
...n/solutions/VariantTypes_Checker/VariantTypes_Checker.msd
+3
-2
inca-translation/solutions/VariantTypes_Checker/models/tests@tests.mps
...ion/solutions/VariantTypes_Checker/models/tests@tests.mps
+1
-1
No files found.
inca-translation/.mps/libraries.xml
0 → 100644
View file @
4da768b4
<?xml version="1.0" encoding="UTF-8"?>
<project
version=
"4"
>
<component
name=
"ProjectLibraryManager"
>
<option
name=
"libraries"
>
<map>
<entry
key=
"inca.artifacts"
>
<value>
<Library>
<option
name=
"name"
value=
"inca.artifacts"
/>
<option
name=
"path"
value=
"${inca.home}/artifacts/com.mbeddr.platform"
/>
</Library>
</value>
</entry>
<entry
key=
"inca.build"
>
<value>
<Library>
<option
name=
"name"
value=
"inca.build"
/>
<option
name=
"path"
value=
"${inca.home}/artifacts/com.mbeddr.allScripts.build"
/>
</Library>
</value>
</entry>
<entry
key=
"inca.code"
>
<value>
<Library>
<option
name=
"name"
value=
"inca.code"
/>
<option
name=
"path"
value=
"${inca.home}/code"
/>
</Library>
</value>
</entry>
</map>
</option>
</component>
</project>
\ No newline at end of file
inca-translation/languages/FORecursiveTypes/FORecursiveTypes.mpl
View file @
4da768b4
...
...
@@ -89,6 +89,7 @@
<module
reference=
"f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)"
version=
"0"
/>
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
...
...
inca-translation/languages/NewLanguage/SumTypes.mpl
View file @
4da768b4
...
...
@@ -89,6 +89,7 @@
<module
reference=
"f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)"
version=
"0"
/>
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
...
...
inca-translation/languages/ProductTypes/ProductTypes.mpl
View file @
4da768b4
...
...
@@ -89,6 +89,7 @@
<module
reference=
"f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)"
version=
"0"
/>
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
...
...
inca-translation/languages/RecordTypes/RecordTypes.mpl
View file @
4da768b4
...
...
@@ -89,6 +89,7 @@
<module
reference=
"f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)"
version=
"0"
/>
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
...
...
inca-translation/languages/STLCN/STLCN.mpl
View file @
4da768b4
...
...
@@ -89,6 +89,7 @@
<module
reference=
"f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)"
version=
"0"
/>
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
...
...
inca-translation/languages/TypeLang/TypeLang.mpl
View file @
4da768b4
...
...
@@ -26,21 +26,21 @@
</dependencies>
<languageVersions>
<language
slang=
"l:ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71:TypeLang"
version=
"0"
/>
<language
slang=
"l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage"
version=
"
6
"
/>
<language
slang=
"l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage"
version=
"
8
"
/>
<language
slang=
"l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures"
version=
"0"
/>
<language
slang=
"l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections"
version=
"
0
"
/>
<language
slang=
"l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections"
version=
"
1
"
/>
<language
slang=
"l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc"
version=
"2"
/>
<language
slang=
"l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging"
version=
"0"
/>
<language
slang=
"l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples"
version=
"0"
/>
<language
slang=
"l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core"
version=
"1"
/>
<language
slang=
"l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator"
version=
"
0
"
/>
<language
slang=
"l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator"
version=
"
2
"
/>
<language
slang=
"l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext"
version=
"0"
/>
<language
slang=
"l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters"
version=
"0"
/>
<language
slang=
"l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi"
version=
"0"
/>
<language
slang=
"l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation"
version=
"0"
/>
<language
slang=
"l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts"
version=
"0"
/>
<language
slang=
"l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel"
version=
"1
1
"
/>
<language
slang=
"l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure"
version=
"
6
"
/>
<language
slang=
"l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel"
version=
"1
3
"
/>
<language
slang=
"l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure"
version=
"
7
"
/>
<language
slang=
"l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text"
version=
"0"
/>
<language
slang=
"l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable"
version=
"0"
/>
<language
slang=
"l:b802a056-92a2-4fbc-902e-f8e5004c331f:org.inca.core"
version=
"0"
/>
...
...
@@ -151,25 +151,25 @@
<languageVersions>
<language
slang=
"l:9d69e719-78c8-4286-90db-fb19c107d049:com.mbeddr.mpsutil.grammarcells"
version=
"0"
/>
<language
slang=
"l:b4f35ed8-45af-4efa-abe4-00ac26956e69:com.mbeddr.mpsutil.grammarcells.runtimelang"
version=
"0"
/>
<language
slang=
"l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage"
version=
"
6
"
/>
<language
slang=
"l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage"
version=
"
8
"
/>
<language
slang=
"l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers"
version=
"0"
/>
<language
slang=
"l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures"
version=
"0"
/>
<language
slang=
"l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections"
version=
"
0
"
/>
<language
slang=
"l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections"
version=
"
1
"
/>
<language
slang=
"l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc"
version=
"2"
/>
<language
slang=
"l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging"
version=
"0"
/>
<language
slang=
"l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples"
version=
"0"
/>
<language
slang=
"l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions"
version=
"4"
/>
<language
slang=
"l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior"
version=
"
1
"
/>
<language
slang=
"l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior"
version=
"
2
"
/>
<language
slang=
"l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints"
version=
"4"
/>
<language
slang=
"l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core"
version=
"1"
/>
<language
slang=
"l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor"
version=
"0"
/>
<language
slang=
"l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor"
version=
"1
1
"
/>
<language
slang=
"l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor"
version=
"1
2
"
/>
<language
slang=
"l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi"
version=
"0"
/>
<language
slang=
"l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern"
version=
"1"
/>
<language
slang=
"l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation"
version=
"0"
/>
<language
slang=
"l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources"
version=
"2"
/>
<language
slang=
"l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel"
version=
"1
1
"
/>
<language
slang=
"l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure"
version=
"
6
"
/>
<language
slang=
"l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel"
version=
"1
3
"
/>
<language
slang=
"l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure"
version=
"
7
"
/>
<language
slang=
"l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text"
version=
"0"
/>
<language
slang=
"l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable"
version=
"0"
/>
<language
slang=
"l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem"
version=
"1"
/>
...
...
inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
View file @
4da768b4
...
...
@@ -19641,6 +19641,11 @@
</node>
</node>
</node>
<node concept="3SKdUt" id="3KRfRMJ_YWU" role="3cqZAp">
<node concept="3SKdUq" id="3KRfRMJ_YWW" role="3SKWNk">
<property role="3SKdUp" value="use array list because we iterate through rules but adding and removing rules at the same time" />
</node>
</node>
<node concept="3cpWs8" id="3KRfRMI7YgO" role="3cqZAp">
<node concept="3cpWsn" id="3KRfRMI7YgP" role="3cpWs9">
<property role="TrG5h" value="resultRules" />
inca-translation/languages/TypeLang/models/editor.mps
View file @
4da768b4
...
...
@@ -2,7 +2,7 @@
<model
ref=
"r:e0f77034-942e-491e-80a4-40c874407fc1(TypeLang.editor)"
>
<persistence
version=
"9"
/>
<languages>
<use
id=
"18bc6592-03a6-4e29-a83a-7ff23bde13ba"
name=
"jetbrains.mps.lang.editor"
version=
"1
1
"
/>
<use
id=
"18bc6592-03a6-4e29-a83a-7ff23bde13ba"
name=
"jetbrains.mps.lang.editor"
version=
"1
2
"
/>
<use
id=
"9d69e719-78c8-4286-90db-fb19c107d049"
name=
"com.mbeddr.mpsutil.grammarcells"
version=
"0"
/>
<devkit
ref=
"fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)"
/>
</languages>
...
...
inca-translation/languages/TypeLang/models/structure.mps
View file @
4da768b4
...
...
@@ -2,7 +2,7 @@
<model
ref=
"r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)"
>
<persistence
version=
"9"
/>
<languages>
<use
id=
"c72da2b9-7cce-4447-8389-f407dc1158b7"
name=
"jetbrains.mps.lang.structure"
version=
"
6
"
/>
<use
id=
"c72da2b9-7cce-4447-8389-f407dc1158b7"
name=
"jetbrains.mps.lang.structure"
version=
"
7
"
/>
<devkit
ref=
"78434eb8-b0e5-444b-850d-e7c4ad2da9ab(jetbrains.mps.devkit.aspect.structure)"
/>
</languages>
<imports>
...
...
inca-translation/languages/VariantTypes/VariantTypes.mpl
View file @
4da768b4
...
...
@@ -89,6 +89,7 @@
<module
reference=
"f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)"
version=
"0"
/>
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
...
...
inca-translation/solutions/FORecursiveTypes_Checker/FORecursiveTypes_Checker.msd
View file @
4da768b4
...
...
@@ -55,6 +55,7 @@
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"63650c59-16c8-498a-99c8-005c7ee9515d(jetbrains.mps.lang.access)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
<module
reference=
"642f71f8-327a-425b-84f9-44ad58786d27(jetbrains.mps.lang.project.modules)"
version=
"0"
/>
...
...
inca-translation/solutions/RecordTypes_Checker/RecordTypes_Checker.msd
View file @
4da768b4
...
...
@@ -60,6 +60,7 @@
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"63650c59-16c8-498a-99c8-005c7ee9515d(jetbrains.mps.lang.access)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
<module
reference=
"7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)"
version=
"1"
/>
...
...
inca-translation/solutions/STLCN_Checker/STLCN_Checker.msd
View file @
4da768b4
...
...
@@ -46,6 +46,7 @@
<module
reference=
"f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)"
version=
"0"
/>
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
<module
reference=
"7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)"
version=
"1"
/>
...
...
inca-translation/solutions/SumTypes_Checker/SumTypes_Checker.msd
View file @
4da768b4
...
...
@@ -10,7 +10,7 @@
<dependency
reexport=
"false"
>
08d23328-33fa-47ce-89df-daaa7554f251(SumTypes)
</dependency>
<dependency
reexport=
"false"
>
e6d2ffd5-9c56-41f8-99ac-9d1ceb13daa2(org.inca.data)
</dependency>
<dependency
reexport=
"false"
>
7766a138-716a-422a-9c88-131459fb8d6a(org.inca.core.runtime)
</dependency>
<dependency
reexport=
"false"
>
9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.
data.
test.lang)
</dependency>
<dependency
reexport=
"false"
>
9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.test.lang)
</dependency>
<dependency
reexport=
"false"
>
6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)
</dependency>
</dependencies>
<languageVersions>
...
...
@@ -50,6 +50,7 @@
<module
reference=
"f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)"
version=
"0"
/>
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
<module
reference=
"7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)"
version=
"1"
/>
...
...
@@ -59,9 +60,9 @@
<module
reference=
"7766a138-716a-422a-9c88-131459fb8d6a(org.inca.core.runtime)"
version=
"0"
/>
<module
reference=
"bc791f96-4749-4311-a6e4-241e47ca97f9(org.inca.core.util)"
version=
"0"
/>
<module
reference=
"e6d2ffd5-9c56-41f8-99ac-9d1ceb13daa2(org.inca.data)"
version=
"0"
/>
<module
reference=
"9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.data.test.lang)"
version=
"0"
/>
<module
reference=
"8c9a2720-9d21-4370-a226-819eb3e76e1e(org.inca.fun)"
version=
"0"
/>
<module
reference=
"cd2909da-ecb4-49dc-b176-33e5c619e516(org.inca.gp)"
version=
"0"
/>
<module
reference=
"9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.test.lang)"
version=
"0"
/>
</dependencyVersions>
</solution>
inca-translation/solutions/SumTypes_Checker/models/tests@tests.mps
View file @
4da768b4
...
...
@@ -11,7 +11,7 @@
<use
id=
"08d23328-33fa-47ce-89df-daaa7554f251"
name=
"SumTypes"
version=
"0"
/>
</languages>
<imports>
<import
index=
"w0dh"
ref=
"r:0f17df74-12d3-495c-9401-0232a712e8ff(org.inca.
data.
test.lang.structure)"
/>
<import
index=
"w0dh"
ref=
"r:0f17df74-12d3-495c-9401-0232a712e8ff(org.inca.test.lang.structure)"
/>
<import
index=
"z1c3"
ref=
"6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)"
/>
<import
index=
"lui2"
ref=
"8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)"
/>
<import
index=
"33ny"
ref=
"6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)"
/>
...
...
inca-translation/solutions/TypeLangTest/TypeLangTest.msd
View file @
4da768b4
...
...
@@ -14,14 +14,14 @@
<languageVersions>
<language
slang=
"l:f7521a8a-f887-420a-b23b-8fffa9357b8f:STLCN"
version=
"0"
/>
<language
slang=
"l:ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71:TypeLang"
version=
"0"
/>
<language
slang=
"l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage"
version=
"
6
"
/>
<language
slang=
"l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage"
version=
"
8
"
/>
<language
slang=
"l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures"
version=
"0"
/>
<language
slang=
"l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections"
version=
"
0
"
/>
<language
slang=
"l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections"
version=
"
1
"
/>
<language
slang=
"l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc"
version=
"2"
/>
<language
slang=
"l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core"
version=
"1"
/>
<language
slang=
"l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi"
version=
"0"
/>
<language
slang=
"l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel"
version=
"1
1
"
/>
<language
slang=
"l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure"
version=
"
6
"
/>
<language
slang=
"l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel"
version=
"1
3
"
/>
<language
slang=
"l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure"
version=
"
7
"
/>
<language
slang=
"l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable"
version=
"0"
/>
<language
slang=
"l:b802a056-92a2-4fbc-902e-f8e5004c331f:org.inca.core"
version=
"0"
/>
<language
slang=
"l:e6d2ffd5-9c56-41f8-99ac-9d1ceb13daa2:org.inca.data"
version=
"2"
/>
...
...
inca-translation/solutions/TypeLangTest/models/test_genInca.mps
View file @
4da768b4
...
...
@@ -4,7 +4,7 @@
<languages>
<use
id=
"ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71"
name=
"TypeLang"
version=
"0"
/>
<use
id=
"e6d2ffd5-9c56-41f8-99ac-9d1ceb13daa2"
name=
"org.inca.data"
version=
"2"
/>
<use
id=
"f3061a53-9226-4cc5-a443-f952ceaf5816"
name=
"jetbrains.mps.baseLanguage"
version=
"
6
"
/>
<use
id=
"f3061a53-9226-4cc5-a443-f952ceaf5816"
name=
"jetbrains.mps.baseLanguage"
version=
"
8
"
/>
</languages>
<imports>
<import
index=
"5va7"
ref=
"r:568f7667-a603-4374-adfa-c84f4fd5dac3(STLCN.structure)"
/>
...
...
inca-translation/solutions/VariantTypes_Checker/VariantTypes_Checker.msd
View file @
4da768b4
...
...
@@ -13,7 +13,7 @@
<dependency
reexport=
"false"
>
b802a056-92a2-4fbc-902e-f8e5004c331f(org.inca.core)
</dependency>
<dependency
reexport=
"false"
>
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
</dependency>
<dependency
reexport=
"false"
>
8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)
</dependency>
<dependency
reexport=
"false"
>
9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.
data.
test.lang)
</dependency>
<dependency
reexport=
"false"
>
9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.test.lang)
</dependency>
</dependencies>
<languageVersions>
<language
slang=
"l:3ace5b6c-22d5-4933-9217-595f2ebf8d6a:VariantTypes"
version=
"-1"
/>
...
...
@@ -52,6 +52,7 @@
<module
reference=
"f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)"
version=
"0"
/>
<module
reference=
"e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)"
version=
"0"
/>
<module
reference=
"2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)"
version=
"0"
/>
<module
reference=
"d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)"
version=
"0"
/>
<module
reference=
"ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)"
version=
"0"
/>
<module
reference=
"446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)"
version=
"0"
/>
<module
reference=
"7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)"
version=
"1"
/>
...
...
@@ -60,7 +61,7 @@
<module
reference=
"b802a056-92a2-4fbc-902e-f8e5004c331f(org.inca.core)"
version=
"0"
/>
<module
reference=
"7766a138-716a-422a-9c88-131459fb8d6a(org.inca.core.runtime)"
version=
"0"
/>
<module
reference=
"bc791f96-4749-4311-a6e4-241e47ca97f9(org.inca.core.util)"
version=
"0"
/>
<module
reference=
"9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.
data.
test.lang)"
version=
"0"
/>
<module
reference=
"9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.test.lang)"
version=
"0"
/>
</dependencyVersions>
</solution>
inca-translation/solutions/VariantTypes_Checker/models/tests@tests.mps
View file @
4da768b4
...
...
@@ -17,7 +17,7 @@
<import
index=
"pzen"
ref=
"r:25bfb30f-3676-4451-9448-27a17343be80(org.inca.core.runtime.plugin)"
/>
<import
index=
"guwi"
ref=
"6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.io(JDK/)"
/>
<import
index=
"z36t"
ref=
"r:cc1f3bc7-690e-4d71-8bfd-44a4ce63edf7(VariantTypes.structure)"
/>
<import
index=
"w0dh"
ref=
"r:0f17df74-12d3-495c-9401-0232a712e8ff(org.inca.
data.
test.lang.structure)"
/>
<import
index=
"w0dh"
ref=
"r:0f17df74-12d3-495c-9401-0232a712e8ff(org.inca.test.lang.structure)"
/>
<import
index=
"33ny"
ref=
"6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)"
/>
<import
index=
"3o3z"
ref=
"6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:com.google.common.collect(MPS.Core/)"
/>
<import
index=
"hqsm"
ref=
"r:aa4c3470-43ab-4dad-b73e-20da0ee43be1(org.inca.core.structure)"
/>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment