From ed07a82bb5ddd3d9cb28c04cee83c384ab776ac6 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 8 Jun 2015 12:46:27 +0200 Subject: [PATCH] Typechecking2 runtime: introduced boundParam in required(), list support, pre/post processing of static rule templates --- ...etbrains.mps.lang.typesystem2.template.msd | 1 + .../mps/lang/typesystem2/template.mps | 718 ++++++++++++++++-- 2 files changed, 666 insertions(+), 53 deletions(-) diff --git a/languages/jetbrains.mps.lang.typesystem2/template/jetbrains.mps.lang.typesystem2.template.msd b/languages/jetbrains.mps.lang.typesystem2/template/jetbrains.mps.lang.typesystem2.template.msd index 54ffa3cd..8999127b 100644 --- a/languages/jetbrains.mps.lang.typesystem2/template/jetbrains.mps.lang.typesystem2.template.msd +++ b/languages/jetbrains.mps.lang.typesystem2/template/jetbrains.mps.lang.typesystem2.template.msd @@ -14,6 +14,7 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) + f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) diff --git a/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps b/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps index 17523231..918a6d02 100644 --- a/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps +++ b/languages/jetbrains.mps.lang.typesystem2/template/models/jetbrains/mps/lang/typesystem2/template.mps @@ -17,6 +17,7 @@ + @@ -29,6 +30,9 @@ + + + @@ -81,6 +85,7 @@ + @@ -174,6 +179,7 @@ + @@ -209,6 +215,7 @@ + @@ -223,6 +230,9 @@ + + + @@ -273,11 +283,20 @@ + + + + + + + + + @@ -341,8 +360,8 @@ - - + + @@ -350,6 +369,21 @@ + + + + + + + + + + + + + + + @@ -411,7 +445,7 @@ - + @@ -422,8 +456,8 @@ - - + + @@ -462,21 +496,12 @@ - - - - - - - - - - - - - + + + + @@ -682,8 +707,8 @@ - - + + @@ -691,6 +716,21 @@ + + + + + + + + + + + + + + + @@ -746,7 +786,7 @@ - + @@ -757,8 +797,8 @@ - - + + @@ -794,18 +834,12 @@ - - - - - - - - - - + + + + @@ -942,10 +976,117 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -1027,6 +1168,118 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1210,6 +1463,109 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1910,6 +2266,12 @@ + + + + + + @@ -2030,6 +2392,14 @@ + + + + + + + + @@ -2076,18 +2446,24 @@ - - + + - - + + - - - + + + - + + + + + + + @@ -2147,6 +2523,12 @@ + + + + + + @@ -2179,6 +2561,9 @@ + + + @@ -2230,6 +2615,12 @@ + + + + + + @@ -2374,25 +2765,31 @@ - - + + - + - + - + - + - - + + + + + - - + + + + + @@ -2469,5 +2866,220 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +