Re: [henshin-dev] Information on attribute conditions

[Subramanya K G <subramanya.kg@xxxxxxxxx>]

Hello Matthias,

I have read in the below document that Negative application conditions and PACs, cannot be used to match LHS of the graph.

document : https://wiki.eclipse.org/Henshin_Transformation_Meta-Model

Please let me know if this is right.

Thanks

On Thu, Jun 26, 2014 at 10:57 PM, Matthias Tichy <matthias.tichy@xxxxxxxxx> wrote:

Hi,

Can you not simply use a Negative Application Condition in the second rule which ensure that there are not 2 work products (without using the first rule at all).

/mtt

From: Subramanya K G <subramanya.kg@xxxxxxxxx>
Reply-To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>

Date: Donnerstag, 26. Juni 2014 22:53

To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>

Subject: Re: [henshin-dev] Information on attribute conditions

Hello Mathias,

Thanks for the reply, but I am using state space exploration, so I cannot use any conditional units.

1. In the first rule (testRule), I check if there two elements of type "Work Product"  (see the attachment)

2. The second rule (rule2) has to be executed only if the first rule does not have two objects of type "Work Products"

Thanks

On Thu, Jun 26, 2014 at 10:44 PM, Matthias Tichy <matthias.tichy@xxxxxxxxx> wrote:

Hi, 

I am not sure that i understand what you want to do. Can you not simply to this in one rule? What about using a Conditional Unit?

If this does not help, please provide the rules as examples.

Cheers,

mtt

From: Subramanya K G <subramanya.kg@xxxxxxxxx>
Reply-To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>
Date: Donnerstag, 26. Juni 2014 22:39
To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>
Subject: [henshin-dev] Information on attribute conditions

Hello All,

I have two rules.
1. One rule is to check for the presence of some elements and based on this,

2. The second rule must decide whether two execute the rule or not.

I feel this can be done through adding attribute condition in the tree based editor.

Is there some reference example for this ?? or some material where I could get some more info on this.

Thanks in advance.

--

Thanks & Regards,
Subramanya

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

--

Thanks & Regards,
Subramanya

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

--

Thanks & Regards,
Subramanya