diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index 55051073..04b44200 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -82,6 +82,8 @@ + + @@ -187,6 +189,7 @@ + @@ -406,6 +409,7 @@ + @@ -419,9 +423,7 @@ - - - + @@ -472,28 +474,6 @@ - - - - - - - - - - - - - - - - - - - - - - @@ -549,6 +529,7 @@ + @@ -9445,6 +9426,7 @@ + @@ -9607,8 +9589,9 @@ - - + + + @@ -9650,35 +9633,173 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -9862,43 +9983,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10035,6 +10119,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10046,6 +10156,17 @@ + + + + + + + + + + + @@ -10066,12 +10187,20 @@ + + + + + + + + - - + + @@ -10079,14 +10208,16 @@ - - + + + - - + + + @@ -10106,7 +10237,10 @@ - + + + + @@ -10162,8 +10296,9 @@ - - + + + @@ -10244,9 +10379,9 @@ - - - + + + @@ -10320,8 +10455,10 @@ + + + - @@ -10393,8 +10530,9 @@ - - + + + @@ -10404,6 +10542,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -10422,11 +10584,18 @@ - - + + + + + + + + + - + @@ -10446,10 +10615,78 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -10459,12 +10696,20 @@ + + + + + + + + @@ -10479,7 +10724,7 @@ - + @@ -10536,7 +10781,7 @@ - + @@ -10549,6 +10794,150 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10572,7 +10961,7 @@ - + @@ -10582,185 +10971,19 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -10777,147 +11000,510 @@ + - - - - - + - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + @@ -10970,8 +11556,8 @@ - - + + @@ -10999,11 +11585,18 @@ - - + + + + + + + + + - + @@ -11013,6 +11606,7 @@ + @@ -11053,7 +11647,7 @@ - + @@ -11095,11 +11689,11 @@ - - + + - + @@ -11152,7 +11746,7 @@ - + @@ -11172,8 +11766,8 @@ - - + + @@ -11183,25 +11777,36 @@ - - - - - - + + + + + + + + + + - + - - + + + + + + + + + - + @@ -11276,7 +11881,7 @@ - + @@ -11332,7 +11937,7 @@ - + @@ -11434,7 +12039,7 @@ - + @@ -11448,7 +12053,7 @@ - + @@ -11456,6 +12061,10 @@ + + + + @@ -11472,6 +12081,10 @@ + + + + @@ -11490,6 +12103,10 @@ + + + + @@ -11507,6 +12124,34 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11531,6 +12176,9 @@ + + + @@ -11563,6 +12211,9 @@ + + + @@ -11595,6 +12246,9 @@ + + + @@ -11619,23 +12273,26 @@ - - - - - - - - + + + + + + + + + + + @@ -11660,6 +12317,9 @@ + + + @@ -11694,6 +12354,9 @@ + + + @@ -11710,17 +12373,13 @@ + + + - - - - - - - @@ -12434,686 +13093,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -13144,458 +13126,471 @@ - - - - - - + + + + + + + + + + - + - - - + + + - + - - - + + + - + - + - - - + + + - + - - - + + + - + - - + + + - - + + - - + + - - + + - - + + - - + + - - - + + + - + - + - - + + - - + + - - - - + + + + - - + + - - - + + + - - + + - - + + - - - - + + + + - + - - - + + + - - + + - - - + + + - + - - - - + + + + - + - + - + - - + + - - - - - - - - + + + + + + + + - - + + - + - + - - - - + + + + - - + + - - - + + + - - + + - + - - + + - - - + + + - - + + - - - + + + - - - + + + - - - - + + + + - + - - + + - - + + - + - + - - + + - - + + - - + + - - - + + + - + - + - - + + - - + + - + - - - - + + + + - + - - - - - + + + + + - + - + - - + + - + - - - - - - + + + + + + - + - + - + - - - + + + - + - - + + - - - - + + + + - - - - + + + + - + - + - - - + + + - - + + - - - + + + - - + + - - - - + + + + - + - - + + - - + + - + - - + + - - + + - - - + + + - - + + - - - + + + - - + + - + - + + + + + + + + + @@ -13719,12 +13714,12 @@ - + - + @@ -13767,6 +13762,7 @@ + @@ -13952,7 +13948,7 @@ - + @@ -13964,23 +13960,330 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + @@ -14031,8 +14334,1311 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +