From 71947db946d09b45848ff9e05ccdd3110ec8ac8f Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 10 Jul 2018 13:58:47 +0200 Subject: [PATCH] Sample updated for codeflow analysis. --- ...ins.mps.typechecking.sample.helloWorld.mps | 409 +++++++++++++++++- 1 file changed, 393 insertions(+), 16 deletions(-) diff --git a/typechecking/solutions/jetbrains.mps.typechecking.sample/models/jetbrains.mps.typechecking.sample.helloWorld.mps b/typechecking/solutions/jetbrains.mps.typechecking.sample/models/jetbrains.mps.typechecking.sample.helloWorld.mps index 07738743..ee87d470 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.sample/models/jetbrains.mps.typechecking.sample.helloWorld.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.sample/models/jetbrains.mps.typechecking.sample.helloWorld.mps @@ -1,5 +1,5 @@ - + @@ -13,15 +13,19 @@ + + + + + + + - - - @@ -35,6 +39,8 @@ + + @@ -59,6 +65,7 @@ + @@ -75,15 +82,21 @@ + + + + + + @@ -92,11 +105,17 @@ + + + + + + + - @@ -192,10 +211,321 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -203,18 +533,50 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - @@ -244,7 +606,6 @@ - @@ -264,11 +625,23 @@ - - + + + + + + + + + + + + + + @@ -284,6 +657,10 @@ + + + +