search

eMoflon / emoflon-ibex

Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
GNU General Public License v3.0
13 stars 4 forks source link

TGG Editor: Multiple attribute assignments for the same attribute #384

Closed adrianmoeller closed 5 years ago

adrianmoeller commented 5 years ago

Currently in TGG editor it is possible to use inplace attribute expressions to make multiple assignments or contraints (equal operator) for the same attribute of a node (see examples below). As far as I know there is no use case for this, since refinement doesn't seem to work for inplace attribute expressions and only causes these double assignments/constraints when flattened.

Examples:

++foo: Foo {
  intVar := 1
  intVar := 2
}

bar: Bar {
  name == "Heinz"
  name == "Peter"
}
anthonyanjorin commented 5 years ago

Yes, this should ideally be prevented with a validation rule. Thanks!

adrianmoeller commented 5 years ago

Added some validation rules for this.