search

eMoflon / emoflon-ibex-ui

Independent and reusable GUI components for graph transformation rules and Triple Graph Grammars
GNU General Public License v3.0
5 stars 2 forks source link

Validation in TGG Editor: Temp variables #96

Open anthonyanjorin opened 6 years ago

anthonyanjorin commented 6 years ago

attribute conditions such as:

#attributeConditions {
    add(f.col, l, nf.col)
    eq_int(f.row, nf.row)
}

are not completely senseless, but the temp variable l in add is still a bit strange because it is used nowhere else in the CSP. I suggest we give a warning for temporary variables that are not used anywhere else in a CSP (they are assigned a value that apparently has no effect on anything else).

anthonyanjorin commented 5 years ago

Any progress? Have you been able to reproduce?