From 5a6db97aedf09601dde7f955446fad3cd10ca767 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 7 May 2021 17:37:10 +0200 Subject: [PATCH] Types for j.m.lang.scopes language --- .mps/modules.xml | 1 + samples/mpscore/.mps/modules.xml | 53 ++-- samples/mpscore/build.xml | 126 +++++++++- ...copesExt.generator.templates@generator.mps | 24 ++ .../jetbrains.mps.lang.scopesExt.mpl | 133 ++++++++++ .../jetbrains.mps.lang.scopesExt.behavior.mps | 12 + ...tbrains.mps.lang.scopesExt.constraints.mps | 19 ++ .../jetbrains.mps.lang.scopesExt.editor.mps | 12 + ...jetbrains.mps.lang.scopesExt.structure.mps | 11 + .../jetbrains.mps.lang.scopesExt.types.mps | 237 ++++++++++++++++++ ...etbrains.mps.lang.scopesExt.typesystem.mps | 11 + .../models/samples.mpscore.build.mps | 77 ++++++ 12 files changed, 689 insertions(+), 27 deletions(-) create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.scopesExt/generator/templates/jetbrains.mps.lang.scopesExt.generator.templates@generator.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.scopesExt/jetbrains.mps.lang.scopesExt.mpl create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.behavior.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.constraints.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.editor.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.structure.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.types.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.typesystem.mps diff --git a/.mps/modules.xml b/.mps/modules.xml index 2e3f4a17..5dd84287 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -53,6 +53,7 @@ + diff --git a/samples/mpscore/.mps/modules.xml b/samples/mpscore/.mps/modules.xml index 952d8147..a601a1f5 100644 --- a/samples/mpscore/.mps/modules.xml +++ b/samples/mpscore/.mps/modules.xml @@ -2,34 +2,35 @@ - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + - - - - - - + + + + + + \ No newline at end of file diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index afa0d332..ceceb194 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -2614,7 +2614,7 @@ - + @@ -2778,6 +2778,7 @@ + @@ -4179,6 +4180,127 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6005,6 +6127,8 @@ + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/generator/templates/jetbrains.mps.lang.scopesExt.generator.templates@generator.mps b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/generator/templates/jetbrains.mps.lang.scopesExt.generator.templates@generator.mps new file mode 100644 index 00000000..4039eee3 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/generator/templates/jetbrains.mps.lang.scopesExt.generator.templates@generator.mps @@ -0,0 +1,24 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/jetbrains.mps.lang.scopesExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/jetbrains.mps.lang.scopesExt.mpl new file mode 100644 index 00000000..2b6fde12 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/jetbrains.mps.lang.scopesExt.mpl @@ -0,0 +1,133 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt) + d8f591ec-4d86-4af2-9f92-a9e93c803ffa(jetbrains.mps.lang.scopes) + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.behavior.mps b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.behavior.mps new file mode 100644 index 00000000..9436115f --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.behavior.mps @@ -0,0 +1,12 @@ + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.constraints.mps b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.constraints.mps new file mode 100644 index 00000000..96ac4380 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.constraints.mps @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.editor.mps new file mode 100644 index 00000000..30508050 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.editor.mps @@ -0,0 +1,12 @@ + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.structure.mps b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.structure.mps new file mode 100644 index 00000000..77629060 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.structure.mps @@ -0,0 +1,11 @@ + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.types.mps new file mode 100644 index 00000000..96c26953 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.types.mps @@ -0,0 +1,237 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.typesystem.mps b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.typesystem.mps new file mode 100644 index 00000000..dcbd5f16 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.typesystem.mps @@ -0,0 +1,11 @@ + + + + + + + + + + + diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps index d1d7e29d..d0fe37e5 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps +++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps @@ -1439,6 +1439,83 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +