> Then, a colleague (Thomas Stäcker) pointed me to something which I
> should/could have recognized before: The definition of <ptr>
> states, that the status of @target is required while at the same
> time the note says that @target and @cRef are mutually exclusive.
> The combination of both makes @cRef a kind of superfluous. Can
> someone explain the situation or is it just a mistake?
Just a mistake, probably on my part. The semantics we wanted are that
*either* one or the other of target= or cRef= is required, but that
both are not allowed. I was experimenting with various possible
configurations to express this in ODD (I'm not actually sure it can
be expressed), and apparently left things a bit inconsistent.
I hope to have this fixed by this afternoon (my time).
Thanks to both you and Thomas for catching this!