[Tiptoi] OID-Zuordnung nicht injektiv?

[Ulrich Sibiller]

2015-01-14 17:57 GMT+01:00 Joachim Breitner <mail at joachim-breitner.de>:
> Hallo,
>
> in der Datei wip/bytecode2oid.xls stehen diese zwei Zeilen:
> O       12683   0011000110001011        0010000100010111        8471    4212
> O       12683   0011000110001011        0010000100011000        8472    4211
> was ja irgendwie nicht sein kann. Weiß da jemand genaueres? Wie
> fehlerfrei ist die Datei eigentlich?

Ich würde sogar erwarten, dass es bijektiv und nicht nur injektiv ist.
Alles andere wäre doch sinnlos, oder?

Uli