On Wed, 14 Oct 2020, Markus Elfring wrote:

> > > Is short-circuit evaluation applied for a disjunction (according to macro calls)
> > > in the discussed SmPL rule “r”?
> >
> > The short circuit evaluation is applied at the level of CFG nodes.
> > For each CFG node, it tries the sequence of patters one by one until it finds
> > one that matches.
>
> Do you acknowledge then that disjunctions of the semantic patch language
> work in the way so far that subsequent condition parts are not checked any more
> after a match was determined for a specific source code search pattern?

Yes, at the CFG node level.

>
> Is this functionality equivalent to the operation “ordered choice”?
>
> Is another communication difficulty resolved now according to your hint
> that macro calls would be disjoint (and distinct)?
>
>
> Would you expect that the occurrences of the mentioned identifiers are different
> in the analysed source files?

Sure.

julia