[Php-java-bridge-users] php integer to java integer

[Marek L. <ma...@le...>]

Hi,
the docs says that php's "exact number" is converted into java's "Long" 
- that was working in previous versions, but the latest version uses 
Integer. Below the test case:

$test = new Java("java.util.Vector", array((integer) 1, (integer) 2));
print java_instanceof($test->elementAt(0), new 
JavaClass("java.lang.Integer")); // output true
print java_instanceof($test->elementAt(0), new 
JavaClass("java.lang.Long")); // output false

If this is a proper behavior (it should be, because php's integer is 32 
bit, so it should be Long in java) then proper description should be 
putted into docs.

ML