Comments below...
Am Samstag, 23. Mai 2015 schrieb Thorsten Arendt :
Hi again.
Assume the following scenario: You want to create an object of type
A only if each existing A is already connected to a B. This
condition is equivalent to: There is no A which is not connected to
any B. This means that the rule must have a *real nested* condition
(NAC 'there is no A' with a nested NAC 'this A is not connected to a
B').
My questions are:
1. Does the Henshin interpreter supports the concept of nesting
nested conditions?
Yes, it supports arbitrarily nested conditions.
2. Does the integrated interpreter supports this concept? If so, how
to do this?
You probably mean the integrated graphical editor. No it does not support these kinds of conditions. You need to specify such conditions using the tree editor or generate the model programmatically.
3. I programmatically specified such a rule using the Henshin API
but after serializing the rule, the nodes within the nested NAC do
not have any action. I tried to add such an action according to the
name of the graph (like 'NAC1nested') but the editor (properties
sheet) refused it. Any help?
Because the graphical editor does not support these kinds of conditions, there is no corresponding action and these nodes are also not shown in the editor. The graphical editor supports only NACs and PACs. Your conditions are more complicated (nested NACs) and are therefore not supported. There is also no syntax for this.
Cheers,
Christian
Regards,
Thorsten
--
Dipl.-Inf. Thorsten Arendt, Dr. rer. nat.
Philipps-Universität Marburg
Fachbereich Mathematik und Informatik
Hans-Meerwein-Str.
D-35032 Marburg
Office: 05D18
Phone : +49-6421-2821540
Email :
arendt@xxxxxxxxxxxxxxxxxxxxxxxxx
--