diff options
-rw-r--r-- | tests/org.eclipse.qvtd.xtext.qvtimperative.tests/models/Expressions/Expressions.qvti | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/tests/org.eclipse.qvtd.xtext.qvtimperative.tests/models/Expressions/Expressions.qvti b/tests/org.eclipse.qvtd.xtext.qvtimperative.tests/models/Expressions/Expressions.qvti index 58519059e..6653a1aed 100644 --- a/tests/org.eclipse.qvtd.xtext.qvtimperative.tests/models/Expressions/Expressions.qvti +++ b/tests/org.eclipse.qvtd.xtext.qvtimperative.tests/models/Expressions/Expressions.qvti @@ -33,13 +33,13 @@ transformation Expressions { } map expressionsMaps { - -- var s1 : Boolean := Map{}->forAll(key <- value : String | key.toString().toUpper() = value); - var s2 : Boolean := Map{1 <- '1'}->forAll(key <- value | key.toString().toUpper() = value); - var s2a : Boolean := Map(Integer[1],String[1]){1 <- '1'}->forAll(key <- value | key.toString().toUpper() = value); - var s2b : Boolean := Map(Integer[1],String[?]){1 <- '1'}->forAll(key <- value | key.toString().toUpper() = value); - var s2c : Boolean := Map(Integer[?],String[1]){1 <- '1'}->forAll(key <- value | key.toString().toUpper() = value); - var s2d : Boolean := Map(Integer[?],String[?]){1 <- '1'}->forAll(key1 <- value1, key2 <- value2 | key1.toString().toUpper() = value2); - -- var s3 : Boolean := Map{1 <- '1', true <- 'TRUE', false <- 'FALSE'}->forAll(key : OclAny <- value : String | key.toString().toUpper() = value); + -- var s1 : Boolean := Map{}->forAll(key with value : String | key.toString().toUpper() = value); + var s2 : Boolean := Map{1 with '1'}->forAll(key with value | key.toString().toUpper() = value); + var s2a : Boolean := Map(Integer[1],String[1]){1 with '1'}->forAll(key with value | key.toString().toUpper() = value); + var s2b : Boolean := Map(Integer[1],String[?]){1 with '1'}->forAll(key with value | key.toString().toUpper() = value); + var s2c : Boolean := Map(Integer[?],String[1]){1 with '1'}->forAll(key with value | key.toString().toUpper() = value); + var s2d : Boolean := Map(Integer[?],String[?]){1 with '1'}->forAll(key1 with value1, key2 with value2 | key1.toString().toUpper() = value2); + -- var s3 : Boolean := Map{1 with '1', true with 'TRUE', false with 'FALSE'}->forAll(key : OclAny with value : String | key.toString().toUpper() = value); } map expressionsCasts { |