search

eMoflon / emoflon-neo

A Neo4j-based implementation of eMoflon
Eclipse Public License 2.0
6 stars 2 forks source link

[Validation] Forbid attribute assignment in models #165

Closed anthonyanjorin closed 5 years ago

anthonyanjorin commented 5 years ago

Right now the following attribute assignment is possible in a model:

p:PacMan {
    .marbles := 5
}

This doesn't make sense as models cannot be "executed". This should also be disallowed in patterns (assignment only makes sense for rules).