Add composite edges - Githubissues

nl-utwente-groove / code

GROOVE code base

https://groove.cs.utwente.nl

5 stars 0 forks source link

Add composite edges #643

Open rensink opened 13 years ago

rensink commented 13 years ago

Composite edges are a stricter form of containment edges: they are immutable. This means that it can be statically checked that the composite structure is and remains a tree. (A composite edge can only be created if its target node is created at the same time.)

Having them will - reflect structures found in practice - allow layouting where the components are inside the parent node

Deleting a node should also delete its components (but maybe this can be a grammar-level property)

Reported by: rensink

rensink commented 13 years ago

assigned_to: nobody --> rensink

Original comment by: rensink

rensink commented 13 years ago

Consideration: if deleting propagates along composite edges then switching on/off typing will change the behaviour of the rule system!

Original comment by: rensink

rensink commented 13 years ago

assigned_to: rensink --> zambon

Original comment by: rensink

rensink commented 12 years ago

assigned_to: zambon --> maartenm42

Original comment by: maartenm42

rensink commented 12 years ago

assigned_to: maartenm42 --> rensink

Original comment by: rensink

rensink commented 11 years ago

Group: --> None

Original comment by: rensink

rensink commented 10 years ago

status: open --> pending

Original comment by: rensink

rensink commented 10 years ago

Added a check for cyclic containment

Original comment by: rensink