I2JAV11 — Incomplete union mapping

it appears that the Java mapping for unions is incomplete. For example:

enum E

;

union U switch (E)

;

Something like this is actually used in the trader specification. For
a discriminator value of B or C, the union contains no member (but does
contain the discriminator value, of course). The problem arises because
the semantics of an operation can differ depending on the discriminator
value. For example:

interface foo

;

op() can do different things (and indeed, does do different things in the
trader spec), depending on whether the discriminator value for the union
is B or C.

The problem is that the Java mapping does not offer a modifier for
the discriminator, thereby making it impossible to control the discriminator
value if more than one discriminator value is possible for the same union
member.

withdrawn by submitter