From 2ae85d4dae81e2b354f66658318a3ff8d8afabf7 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sat, 8 May 2021 09:17:17 +0200 Subject: [PATCH] Types for j.m.lang.pattern language --- .mps/modules.xml | 1 + samples/mpscore/.mps/modules.xml | 1 + ...tternExt.generator.templates@generator.mps | 24 + .../jetbrains.mps.lang.patternExt.mpl | 151 ++ ...jetbrains.mps.lang.patternExt.behavior.mps | 12 + ...brains.mps.lang.patternExt.constraints.mps | 19 + .../jetbrains.mps.lang.patternExt.editor.mps | 12 + ...etbrains.mps.lang.patternExt.structure.mps | 11 + .../jetbrains.mps.lang.patternExt.types.mps | 1346 +++++++++++++++++ ...tbrains.mps.lang.patternExt.typesystem.mps | 11 + 10 files changed, 1588 insertions(+) create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.patternExt/generator/templates/jetbrains.mps.lang.patternExt.generator.templates@generator.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.patternExt/jetbrains.mps.lang.patternExt.mpl create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.behavior.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.constraints.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.editor.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.structure.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.types.mps create mode 100644 samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.typesystem.mps diff --git a/.mps/modules.xml b/.mps/modules.xml index 5dd84287..5947504c 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -52,6 +52,7 @@ + diff --git a/samples/mpscore/.mps/modules.xml b/samples/mpscore/.mps/modules.xml index a601a1f5..0db81dfe 100644 --- a/samples/mpscore/.mps/modules.xml +++ b/samples/mpscore/.mps/modules.xml @@ -17,6 +17,7 @@ + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/generator/templates/jetbrains.mps.lang.patternExt.generator.templates@generator.mps b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/generator/templates/jetbrains.mps.lang.patternExt.generator.templates@generator.mps new file mode 100644 index 00000000..54b24a30 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/generator/templates/jetbrains.mps.lang.patternExt.generator.templates@generator.mps @@ -0,0 +1,24 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/jetbrains.mps.lang.patternExt.mpl b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/jetbrains.mps.lang.patternExt.mpl new file mode 100644 index 00000000..ce08ffbe --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/jetbrains.mps.lang.patternExt.mpl @@ -0,0 +1,151 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 65e59b42-e7f3-45ec-8692-6c7829780afe(jetbrains.mps.lang.smodelExt) + 88dcbb14-19c3-4776-8f81-33611ca4d87c(jetbrains.mps.baseLanguage.sequence) + f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) + 3a13115c-633c-4c5c-bbcc-75c4219e9555(jetbrains.mps.lang.quotation) + c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) + 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt) + d4615e3b-d671-4ba9-af01-2b78369b0ba7(jetbrains.mps.lang.pattern) + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.behavior.mps b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.behavior.mps new file mode 100644 index 00000000..5f986fe0 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.behavior.mps @@ -0,0 +1,12 @@ + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.constraints.mps b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.constraints.mps new file mode 100644 index 00000000..a2b37f1b --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.constraints.mps @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.editor.mps b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.editor.mps new file mode 100644 index 00000000..01d59065 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.editor.mps @@ -0,0 +1,12 @@ + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.structure.mps b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.structure.mps new file mode 100644 index 00000000..459a2d96 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.structure.mps @@ -0,0 +1,11 @@ + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.types.mps new file mode 100644 index 00000000..d42ef3e9 --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.types.mps @@ -0,0 +1,1346 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.typesystem.mps b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.typesystem.mps new file mode 100644 index 00000000..4ac21d4b --- /dev/null +++ b/samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.typesystem.mps @@ -0,0 +1,11 @@ + + + + + + + + + + +