Hi Stephan, >> Sadly, I don't have the slightest idea how I >> should write in prose what (I think) >> "css::uno::Any::operator==(css::uno::Any)" does ... > > I would use structural induction over the format of UNO types (see > <http://udk.openoffice.org/common/man/typesystem.html>).
Interesting read ... Luckily, I found the following there: "Two UNO values are equal if and only if they have the same type t and both denote the same element of V_t." I added (not yet committed) a reference to this manual page, and the notion of equality defined there. Ciao Frank -- - Frank Schönheit, Software Engineer [email protected] - - Sun Microsystems http://www.sun.com/staroffice - - OpenOffice.org Base http://dba.openoffice.org - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
