[henshin-dev] Using EOperations as attribute constraints

[Elie Richa <richa@xxxxxxxxxxx>]

Hello,

I was wondering if there's a way to use EOperations returning scalar values
(EBoolean, EInt...) as attributes in LHS nodes.

I couldn't find a straightforward way to do it (and I don't think there is),
but is there a trick to make it work?

My practical use of this is a higher-order transformation which transforms
Henshin rules :) I'd like to create a rule which simplifies Formulas when
the EOperations isTrue() or isFalse() evaluate to true.

Ideally I would create a Formula node, with an Attribute isTrue = true or
isFalse = true, as if isTrue and isFalse were EAttributes.

AFAIUnderstand this isn't possible, but is there a way to work around it?

Thanks.

--
Elie