From 113bbb821a4a158ffef6bd7cf2649e179f534f7e Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 21 Aug 2015 13:30:53 +0200 Subject: [PATCH] Typesystem2 language: type declaration templates --- .../languageModels/actions.mps | 657 ++++++++++++++++++ .../languageModels/editor.mps | 191 +++++ .../languageModels/structure.mps | 79 +++ 3 files changed, 927 insertions(+) diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps index fd6566ab..3e2c0a20 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/actions.mps @@ -13,7 +13,13 @@ + + + + + + @@ -24,7 +30,9 @@ + + @@ -38,26 +46,38 @@ + + + + + + + + + + + + @@ -67,25 +87,53 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -103,10 +151,12 @@ + + @@ -123,6 +173,7 @@ + @@ -136,6 +187,7 @@ + @@ -169,10 +221,26 @@ + + + + + + + + + + + + + + + + @@ -182,9 +250,22 @@ + + + + + + + + + + + + + @@ -194,6 +275,9 @@ + + + @@ -207,9 +291,19 @@ + + + + + + + + + + @@ -573,6 +667,15 @@ + + + + + + + + + @@ -763,5 +866,559 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps index ade1687b..22114152 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/editor.mps @@ -101,9 +101,13 @@ + + + + @@ -2039,5 +2043,192 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps index c4a3a9a0..ff551edc 100644 --- a/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps +++ b/languages/jetbrains.mps.lang.typesystem2/languageModels/structure.mps @@ -608,5 +608,84 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +