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
--