From 2092f2f983f4fb6e52162a97f1400a8c4bca0809 Mon Sep 17 00:00:00 2001 From: Samuel Parra <9706510+samuelpg@users.noreply.github.com> Date: Wed, 16 Jun 2021 09:18:49 +0200 Subject: [PATCH] Changed cardinality of connection concept --- languages/Component/Component.mpl | 6 +- languages/Component/models/behavior.mps | 39 +- languages/Component/models/constraints.mps | 39 +- languages/Component/models/editor.mps | 2499 ++++++++++++----- languages/Component/models/intentions.mps | 21 +- languages/Component/models/structure.mps | 50 +- languages/Component/models/typesystem.mps | 626 ++++- .../sandbox/models/Component/sandbox.mps | 149 +- 8 files changed, 2477 insertions(+), 952 deletions(-) diff --git a/languages/Component/Component.mpl b/languages/Component/Component.mpl index 4ce15f0..7b03326 100644 --- a/languages/Component/Component.mpl +++ b/languages/Component/Component.mpl @@ -21,7 +21,7 @@ 4cc07462-84b3-4d01-8adb-629ddd3cebd4(Capabilities) - + @@ -42,12 +42,12 @@ - + - + diff --git a/languages/Component/models/behavior.mps b/languages/Component/models/behavior.mps index 8b38e75..749efa0 100644 --- a/languages/Component/models/behavior.mps +++ b/languages/Component/models/behavior.mps @@ -140,7 +140,7 @@ - + @@ -257,10 +257,10 @@ - + - + @@ -1011,7 +1011,7 @@ - + @@ -1107,7 +1107,7 @@ - + @@ -1204,7 +1204,7 @@ - + @@ -1347,7 +1347,7 @@ - + @@ -1416,7 +1416,7 @@ - + @@ -1556,7 +1556,7 @@ - + @@ -1669,7 +1669,7 @@ - + @@ -1728,7 +1728,7 @@ - + @@ -1778,7 +1778,7 @@ - + @@ -2549,7 +2549,6 @@ - @@ -2608,7 +2607,6 @@ - @@ -2700,6 +2698,9 @@ + + + @@ -2820,7 +2821,6 @@ - @@ -2892,6 +2892,9 @@ + + + @@ -3061,7 +3064,7 @@ - + @@ -3129,6 +3132,9 @@ + + + @@ -3178,7 +3184,6 @@ - diff --git a/languages/Component/models/constraints.mps b/languages/Component/models/constraints.mps index 8542898..8eef6be 100644 --- a/languages/Component/models/constraints.mps +++ b/languages/Component/models/constraints.mps @@ -2,6 +2,7 @@ + @@ -348,9 +349,6 @@ - - - @@ -460,21 +458,6 @@ - - - - - - - - - - - - - - - @@ -548,5 +531,25 @@ + + + + + + + + + + + + + + + + + + + + diff --git a/languages/Component/models/editor.mps b/languages/Component/models/editor.mps index b08fb23..4b8bb37 100644 --- a/languages/Component/models/editor.mps +++ b/languages/Component/models/editor.mps @@ -2,7 +2,7 @@ - + @@ -10,13 +10,17 @@ + + + + @@ -50,7 +54,6 @@ - @@ -76,6 +79,7 @@ + @@ -93,12 +97,15 @@ - + + + + @@ -253,7 +260,7 @@ - + @@ -267,6 +274,7 @@ + @@ -314,15 +322,19 @@ - + - + + + + + @@ -662,542 +674,76 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - + + - - - - - - - - + + - - - - + + - - - - - - + + + + + - + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - + @@ -1589,64 +1135,381 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1712,7 +1575,7 @@ - + @@ -2029,204 +1892,33 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2983,5 +2675,1274 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/Component/models/intentions.mps b/languages/Component/models/intentions.mps index 0f8a323..99384da 100644 --- a/languages/Component/models/intentions.mps +++ b/languages/Component/models/intentions.mps @@ -136,6 +136,9 @@ + + + @@ -602,8 +605,10 @@ - - + + + + @@ -700,14 +705,18 @@ - - + + + + - - + + + + diff --git a/languages/Component/models/structure.mps b/languages/Component/models/structure.mps index e8ea296..54c339d 100644 --- a/languages/Component/models/structure.mps +++ b/languages/Component/models/structure.mps @@ -172,24 +172,26 @@ + + + + + + + + + + + + + + - - - - - - - - - - - - @@ -907,5 +909,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/Component/models/typesystem.mps b/languages/Component/models/typesystem.mps index 0fe9209..4445812 100644 --- a/languages/Component/models/typesystem.mps +++ b/languages/Component/models/typesystem.mps @@ -25,7 +25,11 @@ + + + + @@ -55,6 +59,7 @@ + @@ -90,6 +95,9 @@ + + + @@ -97,8 +105,10 @@ + + @@ -118,14 +128,22 @@ + + + + + + + + - + @@ -143,6 +161,7 @@ + @@ -291,17 +310,21 @@ - + - + + + + + @@ -311,8 +334,13 @@ + + + + + @@ -458,7 +486,7 @@ - + @@ -529,7 +557,7 @@ - + @@ -678,7 +706,7 @@ - + @@ -795,7 +823,7 @@ - + @@ -854,7 +882,7 @@ - + @@ -904,7 +932,7 @@ - + @@ -1040,130 +1068,552 @@ - - - - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + + + + + + + + - - + + - - + + - - - + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + - - - - - - - - + + + + + + + + + - - + + - - + + - - + + + + - - - - + + + + + + + + + + + + + + + + - - + + - - + + - - - + + + + + + + + + @@ -1174,7 +1624,7 @@ - + @@ -1545,7 +1995,7 @@ - + @@ -1947,7 +2397,7 @@ - + @@ -2253,7 +2703,7 @@ - + @@ -2497,7 +2947,7 @@ - + diff --git a/languages/Component/sandbox/models/Component/sandbox.mps b/languages/Component/sandbox/models/Component/sandbox.mps index 07ed1f7..66aec87 100644 --- a/languages/Component/sandbox/models/Component/sandbox.mps +++ b/languages/Component/sandbox/models/Component/sandbox.mps @@ -11,11 +11,16 @@ - + + + + + + @@ -23,10 +28,6 @@ - - - - @@ -51,6 +52,7 @@ + @@ -59,6 +61,10 @@ + + + + @@ -102,7 +108,7 @@ - + @@ -209,13 +215,17 @@ - - + + - - + + + + + + @@ -230,60 +240,121 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - + - - - - - + - + - + - - - + + + - - + + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - + - + - +