diff --git a/.mps/modules.xml b/.mps/modules.xml index 81235d47..f517f4d5 100644 --- a/.mps/modules.xml +++ b/.mps/modules.xml @@ -8,6 +8,7 @@ + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd new file mode 100644 index 00000000..6f137453 --- /dev/null +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd @@ -0,0 +1,29 @@ + + + + + + + + + + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) + b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) + + + 894463aa-8754-49c0-bf4b-6a32af66b376(jetbrains.mps.jchr) + f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) + 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps similarity index 51% rename from languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps rename to languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps index e1a12694..463f432b 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps @@ -1,15 +1,15 @@ - + - - + + - - + + @@ -120,511 +120,511 @@ - + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - + - + - + - + - + - - - - + + + + - + - - - - + + + + - + - - + + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - - - + + + - + - + - + - - + + - + - + - - + + - + - + - - - + + + - - - + + + - + - + - + - - + + - + - + - - + + - + - + - - - - - + + + + + - + - + - + - - + + - + - + - - + + @@ -632,31 +632,31 @@ - - - + + + - + - + - + - - + + - + - + - - + + @@ -664,98 +664,98 @@ - + - + - + - - - - + + + + - + - - - - + + + + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -763,33 +763,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -798,28 +798,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -827,176 +827,176 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -1005,266 +1005,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1273,53 +1273,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1327,33 +1327,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -1362,28 +1362,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1391,26 +1391,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -1419,266 +1419,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1687,53 +1687,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1741,33 +1741,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -1776,28 +1776,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1805,272 +1805,272 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2079,84 +2079,84 @@ - - - - - - - - + + + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -2165,106 +2165,106 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2272,47 +2272,47 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2323,28 +2323,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2352,101 +2352,101 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2455,94 +2455,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2551,37 +2551,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2590,106 +2590,106 @@ - - - + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2698,117 +2698,117 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2816,33 +2816,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -2851,28 +2851,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2880,272 +2880,272 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3154,84 +3154,84 @@ - - - - - - - - + + + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -3240,106 +3240,106 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3347,47 +3347,47 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3398,28 +3398,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3427,51 +3427,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3480,94 +3480,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3576,37 +3576,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3615,106 +3615,106 @@ - - - + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3723,117 +3723,117 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3841,33 +3841,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -3876,28 +3876,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3905,51 +3905,51 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -3958,266 +3958,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4226,53 +4226,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4280,33 +4280,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -4315,28 +4315,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4344,26 +4344,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4372,266 +4372,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4640,28 +4640,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4669,20 +4669,20 @@ - - - - - - + + + + + + - + - + - + @@ -4691,53 +4691,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4745,26 +4745,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4772,38 +4772,38 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -4812,28 +4812,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4841,20 +4841,20 @@ - - - - - - + + + + + + - + - + - + @@ -4863,53 +4863,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4917,124 +4917,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5042,40 +5042,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -5083,95 +5083,95 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5180,28 +5180,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5209,145 +5209,145 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5356,28 +5356,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5385,170 +5385,170 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5557,22 +5557,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5580,20 +5580,20 @@ - - - - - - + + + + + + - + - + - + @@ -5602,22 +5602,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5625,20 +5625,20 @@ - - - - - - + + + + + + - + - + - + @@ -5647,53 +5647,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5701,26 +5701,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -5728,185 +5728,185 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -5915,22 +5915,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5938,20 +5938,20 @@ - - - - - - + + + + + + - + - + - + @@ -5960,53 +5960,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6014,124 +6014,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6139,26 +6139,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -6166,91 +6166,91 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -6259,22 +6259,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -6282,20 +6282,20 @@ - - - - - - + + + + + + - + - + - + @@ -6304,53 +6304,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6358,124 +6358,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6483,93 +6483,93 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -6577,115 +6577,115 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -6694,53 +6694,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6748,124 +6748,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6873,124 +6873,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6998,26 +6998,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7025,38 +7025,38 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7065,28 +7065,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -7094,132 +7094,132 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7228,22 +7228,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7251,20 +7251,20 @@ - - - - - - + + + + + + - + - + - + @@ -7273,22 +7273,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7296,20 +7296,20 @@ - - - - - - + + + + + + - + - + - + @@ -7318,22 +7318,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7341,20 +7341,20 @@ - - - - - - + + + + + + - + - + - + @@ -7363,22 +7363,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7386,20 +7386,20 @@ - - - - - - + + + + + + - + - + - + @@ -7408,22 +7408,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7431,26 +7431,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7459,22 +7459,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7482,26 +7482,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7510,22 +7510,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7533,26 +7533,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7561,22 +7561,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7584,26 +7584,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7612,22 +7612,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7635,26 +7635,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7663,22 +7663,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7686,26 +7686,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7714,22 +7714,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7737,51 +7737,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -7790,22 +7790,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7813,30 +7813,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -7845,128 +7845,128 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -7974,30 +7974,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -8006,22 +8006,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -8029,30 +8029,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -8061,159 +8061,159 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8221,40 +8221,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8262,98 +8262,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8362,53 +8362,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8416,40 +8416,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8457,98 +8457,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8557,53 +8557,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8611,40 +8611,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8652,98 +8652,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8752,53 +8752,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8806,40 +8806,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8847,98 +8847,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8947,53 +8947,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -9001,40 +9001,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9042,98 +9042,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9142,53 +9142,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -9196,40 +9196,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9237,98 +9237,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9337,128 +9337,128 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -9466,39 +9466,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9507,22 +9507,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9530,20 +9530,20 @@ - - - - - - + + + + + + - + - + - + @@ -9552,22 +9552,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9575,39 +9575,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9616,22 +9616,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9639,39 +9639,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9680,22 +9680,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9703,39 +9703,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9744,22 +9744,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9767,39 +9767,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9808,22 +9808,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9831,39 +9831,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9872,25 +9872,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -9898,138 +9898,138 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -10038,22 +10038,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -10061,20 +10061,20 @@ - - - - - - + + + + + + - + - + - + @@ -10083,31 +10083,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -10115,20 +10115,20 @@ - - - - - - + + + + + + - + - + - + @@ -10136,23 +10136,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -10161,147 +10161,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -10309,312 +10309,312 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -10623,22 +10623,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -10646,20 +10646,20 @@ - - - - - - + + + + + + - + - + - + @@ -10668,31 +10668,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -10700,20 +10700,20 @@ - - - - - - + + + + + + - + - + - + @@ -10721,23 +10721,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -10746,147 +10746,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -10894,312 +10894,312 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -11208,22 +11208,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11231,20 +11231,20 @@ - - - - - - + + + + + + - + - + - + @@ -11253,31 +11253,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11285,20 +11285,20 @@ - - - - - - + + + + + + - + - + - + @@ -11306,23 +11306,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -11331,147 +11331,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11479,218 +11479,218 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -11699,22 +11699,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11722,20 +11722,20 @@ - - - - - - + + + + + + - + - + - + @@ -11744,31 +11744,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11776,20 +11776,20 @@ - - - - - - + + + + + + - + - + - + @@ -11797,23 +11797,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -11822,147 +11822,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11970,218 +11970,218 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -12190,22 +12190,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12213,20 +12213,20 @@ - - - - - - + + + + + + - + - + - + @@ -12235,31 +12235,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12267,20 +12267,20 @@ - - - - - - + + + + + + - + - + - + @@ -12288,23 +12288,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12313,31 +12313,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12345,20 +12345,20 @@ - - - - - - + + + + + + - + - + - + @@ -12366,23 +12366,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12391,22 +12391,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12414,39 +12414,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -12455,31 +12455,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12487,20 +12487,20 @@ - - - - - - + + + + + + - + - + - + @@ -12508,23 +12508,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12533,22 +12533,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12556,39 +12556,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -12597,31 +12597,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12629,20 +12629,20 @@ - - - - - - + + + + + + - + - + - + @@ -12650,23 +12650,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12675,75 +12675,75 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -12751,150 +12751,150 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - - + + + @@ -12905,22 +12905,22 @@ - - - + + + - - - + + + - + - + - + @@ -12929,31 +12929,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12961,20 +12961,20 @@ - - - - - - + + + + + + - + - + - + @@ -12982,23 +12982,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -13007,75 +13007,75 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -13083,150 +13083,150 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - - + + + @@ -13237,22 +13237,22 @@ - - - + + + - - - + + + - + - + - + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd index 99eb8658..eff59500 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd @@ -5,13 +5,16 @@ + + + + b6db9382-d342-43fd-8051-5b6af3c0c80a(jetbrains.mps.lang.typesystem2.samplechecker.handler) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) - 121937e8-9efc-4551-81fc-50dc0319618e(jetbrains.mps.lang.typesystem2.samplechecker) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) + b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps index 831c9470..ab0dd67d 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps @@ -8,7 +8,6 @@ - @@ -17,6 +16,7 @@ + @@ -262,11 +262,11 @@ - + - + @@ -316,7 +316,7 @@ - + @@ -331,7 +331,7 @@ - + @@ -945,7 +945,7 @@ - + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd index fe502644..bceae0aa 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/jetbrains.mps.lang.typesystem2.samplechecker.msd @@ -5,19 +5,16 @@ - - - - 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) - ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) - 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) 16aea8bc-02ec-4d2e-9965-44a8d4b5d4b2(jetbrains.mps.type.sandbox) + ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) + f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) + b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd index 90324e50..31695b1d 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/jetbrains.mps.lang.typesystem2.sampleplugin.msd @@ -7,17 +7,19 @@ - 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) - 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) - f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) - ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) - 121937e8-9efc-4551-81fc-50dc0319618e(jetbrains.mps.lang.typesystem2.samplechecker) a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - 0d017abe-6cd7-4206-86d5-bfa557885b07(jetbrains.mps.typechecking.handling) - c7366fe8-43b9-446d-82b3-5cfc76e71f17(jetbrains.mps.typechecking.rules) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) + c7366fe8-43b9-446d-82b3-5cfc76e71f17(jetbrains.mps.typechecking.rules) + 0d017abe-6cd7-4206-86d5-bfa557885b07(jetbrains.mps.typechecking.handling) + df9d410f-2ebb-43f7-893a-483a4f085250(jetbrains.mps.smodel.resources) + 26e8f4ce-2a35-4f44-8065-e5ba154b18e9(jetbrains.mps.lang.typesystem2.runtime) + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + 121937e8-9efc-4551-81fc-50dc0319618e(jetbrains.mps.lang.typesystem2.samplechecker) + f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) + a1250a4d-c090-42c3-ad7c-d298a3357dd4(jetbrains.mps.make.runtime) + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) @@ -29,6 +31,7 @@ ef7bf5ac-d06c-4342-b11d-e42104eb9343(jetbrains.mps.lang.plugin.standalone) 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) 443f4c36-fcf5-4eb6-9500-8d06ed259e3e(jetbrains.mps.baseLanguage.classifiers) + 95f8a3e6-f994-4ca0-a65e-763c9bae2d3b(jetbrains.mps.make.script) @@ -45,6 +48,7 @@ + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index c1208c27..0405219c 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -11,6 +11,7 @@ + @@ -29,7 +30,22 @@ + + + + + + + + + + + + + + + @@ -37,9 +53,11 @@ + + @@ -82,6 +100,15 @@ + + + + + + + + + @@ -121,12 +148,14 @@ + + @@ -139,6 +168,8 @@ + + @@ -160,6 +191,9 @@ + + + @@ -179,6 +213,9 @@ + + + @@ -189,6 +226,7 @@ + @@ -197,6 +235,14 @@ + + + + + + + + @@ -215,6 +261,7 @@ + @@ -224,9 +271,19 @@ + + + + + + + + + + @@ -237,6 +294,8 @@ + + @@ -256,6 +315,9 @@ + + + @@ -265,6 +327,9 @@ + + + @@ -276,8 +341,17 @@ + + + + + + + + + @@ -1226,20 +1300,71 @@ - - - + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1247,57 +1372,379 @@ - - - - + + + + + + + + + + + - - + + + + + + + + + + + + + - + + - - - + + + + + + + + - - + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + @@ -1307,21 +1754,34 @@ - - - - - - - - + + + + + + + + + + + + + + + - - - + + + + + + + + + @@ -1341,5 +1801,400 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +