From b4f2d881239c2f9192bfcfb9caadeb78d47ec37c Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Fri, 13 Sep 2019 16:21:23 +0300 Subject: [PATCH] Add rules for checking method arguments incl. variable argument --- .../jetbrains.mps.baseLanguageExt.types.mps | 1340 +++++++++++++++-- 1 file changed, 1223 insertions(+), 117 deletions(-) diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index a0b53c39..5719be52 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -3983,6 +3983,520 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4284,6 +4798,58 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4686,36 +5252,44 @@ - - - - - - - + + + + + + + + + + + - - - - - + + + + + - - - - - - - + + + + + + + + + + + - - - - - + + + + + @@ -4741,6 +5315,91 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5588,48 +6247,104 @@ - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + - + - - - - - - - - - + + + + + + + - - + + + + + + + + + + + - + - + - + @@ -5938,51 +6653,59 @@ - - - - - - - + + + + + + + + + + + - - - - - + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + - - + + + + + - - - - + + + + + + + + + + + + + + @@ -6008,6 +6731,91 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6604,7 +7412,7 @@ - + @@ -6660,6 +7468,53 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6681,7 +7536,7 @@ - + @@ -6812,19 +7667,23 @@ - - - - - - - + + + + + + + + + + + - - - - - + + + + + @@ -6837,7 +7696,43 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7030,7 +7925,7 @@ - + @@ -7111,7 +8006,7 @@ - + @@ -7146,6 +8041,53 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7236,7 +8178,7 @@ - + @@ -7267,7 +8209,7 @@ - + @@ -7393,19 +8335,23 @@ - - - - - - - + + + + + + + + + + + - - - - - + + + + + @@ -7418,7 +8364,43 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11638,6 +12620,21 @@ + + + + + + + + + + + + + + + @@ -11937,6 +12934,115 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +