diff --git a/code/languages/Flint/models/Flint.behavior.mps b/code/languages/Flint/models/Flint.behavior.mps index d50d58b..971ab5e 100644 --- a/code/languages/Flint/models/Flint.behavior.mps +++ b/code/languages/Flint/models/Flint.behavior.mps @@ -2273,6 +2273,33 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/Flint/models/Flint.editor.mps b/code/languages/Flint/models/Flint.editor.mps index 5d94ea5..106910b 100644 --- a/code/languages/Flint/models/Flint.editor.mps +++ b/code/languages/Flint/models/Flint.editor.mps @@ -244,6 +244,7 @@ + @@ -579,8 +580,42 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -636,8 +671,42 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -693,8 +762,42 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -750,8 +853,42 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -6174,205 +6311,244 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - diff --git a/code/languages/Flint/models/Flint.languages.mps b/code/languages/Flint/models/Flint.languages.mps index cc04c77..955ee84 100644 --- a/code/languages/Flint/models/Flint.languages.mps +++ b/code/languages/Flint/models/Flint.languages.mps @@ -11,6 +11,9 @@ + + + @@ -60,6 +63,9 @@ + + + @@ -83,6 +89,9 @@ + + + diff --git a/code/languages/Flint/models/Flint.structure.mps b/code/languages/Flint/models/Flint.structure.mps index b264ca8..2f56c85 100644 --- a/code/languages/Flint/models/Flint.structure.mps +++ b/code/languages/Flint/models/Flint.structure.mps @@ -75,6 +75,9 @@ + + + @@ -1098,6 +1101,21 @@ + + + + + + + + + + + + + + + diff --git a/code/solutions/Flint.test/models/Flint.test.mpstest.mps b/code/solutions/Flint.test/models/Flint.test.mpstest.mps index af6d396..c6a0725 100644 --- a/code/solutions/Flint.test/models/Flint.test.mpstest.mps +++ b/code/solutions/Flint.test/models/Flint.test.mpstest.mps @@ -40,6 +40,8 @@ + + @@ -469,6 +471,9 @@ + + + @@ -3990,7 +3995,104 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4517,20 +4619,9 @@ - - - - - - - - - - - - + @@ -4538,8 +4629,8 @@ - - + + @@ -4548,85 +4639,20 @@ - - - - - + + + + + + - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4657,115 +4683,39 @@ - - - - - - - - - - - - - - - + + + + - - - + + + - - + + - + - - - - - + + + + + + - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/solutions/FlintView.plugin/models/FlintView.plugin.plugin.mps b/code/solutions/FlintView.plugin/models/FlintView.plugin.plugin.mps index 5ba24c3..864738b 100644 --- a/code/solutions/FlintView.plugin/models/FlintView.plugin.plugin.mps +++ b/code/solutions/FlintView.plugin/models/FlintView.plugin.plugin.mps @@ -37,6 +37,7 @@ + @@ -558,8 +559,17 @@ - - + + + + + + + + + + + @@ -595,8 +605,17 @@ - - + + + + + + + + + + + @@ -632,8 +651,17 @@ - - + + + + + + + + + + + @@ -669,8 +697,17 @@ - - + + + + + + + + + + +