Consider the following Class Dictionary Graph:
A = <b> B <e> E .
B = <bc> C .
C = <d> D <f> F .
D = <vd> int .
E = <ec> C .
F = <vf> int .
... and the following Propagation Directive:
From A to {D, F} via B
Inject/J detects a shortcut violation, but there is
none.
I assume that the reason is the following: Inject/J
looks for shortcuts in the Class Dictionary Graph,
while only the Propagation Graph should be considered.
In our example: E and all edges from/to E are not part
of the Propagation Path and therefore there is no
shortcut.
Cheers,
Benedikt
