jeroen Fri Sep 21 19:06:11 2001 EDT
Modified files:
/phpdoc/en/functions java.xml
Log:
Better XML, add comment about very strange sentence of which I hardly can believe
it's correct.
Index: phpdoc/en/functions/java.xml
diff -u phpdoc/en/functions/java.xml:1.11 phpdoc/en/functions/java.xml:1.12
--- phpdoc/en/functions/java.xml:1.11 Fri Sep 21 18:47:42 2001
+++ phpdoc/en/functions/java.xml Fri Sep 21 19:06:11 2001
@@ -1,5 +1,5 @@
<?xml encoding="iso-8859-1"?>
-<!-- $Revision: 1.11 $ -->
+<!-- $Revision: 1.12 $ -->
<reference id="ref.java">
<title>Java</title>
<titleabbrev>PHP / Java Integration</titleabbrev>
@@ -108,13 +108,17 @@
differences in types between the two languages. The PHP Java
extension employs a simple, but fairly effective, metric for
determining which overload is the best match.
-
+ </simpara>
+ <simpara>
Additionally, method names in PHP are not case sensitive, potentially
increasing the number of overloads to select from.
-
+ </simpara>
+ <simpara>
Once a method is selected, the parameters are cooerced if necessary,
possibly with a loss of data (example: double precision floating point
numbers will be converted to boolean).
+ <!-- FIXME Why aren't java-doubles converted to PHP-floats? Is this
+ correct? -->
</simpara>
</listitem>
<listitem>