diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-11 08:17:27 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-11 08:17:27 +0000 |
commit | f215e02bf85f68d3a6106c2a1f4f7f063f819064 (patch) | |
tree | 6bb5b92c046312c4e95ac2620b10ddf482d3fa8b /src/VBox/Main/webservice/types.txt | |
parent | Initial commit. (diff) | |
download | virtualbox-f215e02bf85f68d3a6106c2a1f4f7f063f819064.tar.xz virtualbox-f215e02bf85f68d3a6106c2a1f4f7f063f819064.zip |
Adding upstream version 7.0.14-dfsg.upstream/7.0.14-dfsg
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/VBox/Main/webservice/types.txt')
-rw-r--r-- | src/VBox/Main/webservice/types.txt | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/VBox/Main/webservice/types.txt b/src/VBox/Main/webservice/types.txt new file mode 100644 index 00000000..c976d172 --- /dev/null +++ b/src/VBox/Main/webservice/types.txt @@ -0,0 +1,30 @@ + + XIDL IPRT COM XPCOM WSDL gSOAP default JAX-WS PHP + + boolean BOOL PRBool xsd:boolean bool Boolean boolean + + octet uint8_t BYTE PRUint8 xsd:unsignedByte Short integer + + short int16_t SHORT PRInt16 xsd:short short Short (2) integer + unsigned short uint16_t USHORT PRUint16 xsd:unsignedShort unsigned short Integer (2) integer + long int32_t LONG PRInt32 xsd:int int Integer (2) integer + unsigned long uint32_t ULONG PRUint32 xsd:unsignedInt unsigned int Long (2) float (3) + long long int64_t LONG64 PRInt64 xsd:long long long Long (2) float (3) + unsigned long long uint64_t ULONG64 PRUint64 xsd:unsignedLong unsigned long long BigInteger (2) float (3) + + double xsd:double double Double float + float xsd:float float Float float + + wstring BSTR PRUnichar* xsd:string std::string String string + + result xsd:unsignedInt(1) (undefined) + + uuid xsd:string(1) (undefined) + + +(1) my definition +(2) Java "Short" is signed 16-bit integer; since Java has no support for unsigned types, we need to use the + next bigger class, which is Integer, for IPRT uint16_t. Similarly for the other integer types. +(3) PHP does not support unsigned integers; Size of integer is platform-dependent, usual value of at least 32-bits signed. Use float for numbers greeted that signed 32-bit int + + |