diff website/src/manual.html.luan @ 1817:969ced346cef

docs - Table
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 16 Jun 2024 20:00:50 -0600
parents e62c88b2883b
children d3e6c7f64559
line wrap: on
line diff
--- a/website/src/manual.html.luan	Tue Jun 11 21:39:18 2024 -0600
+++ b/website/src/manual.html.luan	Sun Jun 16 20:00:50 2024 -0600
@@ -3138,6 +3138,14 @@
 <%
 				end
 				subs = {
+					["Table.case_insensitive"] = {
+						title = "Table.case_insensitive ([tbl])"
+						content = function()
+%>
+<p>Returns a table with case-insensitive string keys.  Copies <code>tbl</code> or is empty.</p>
+<%
+						end
+					}
 					["Table.clear"] = {
 						title = "Table.clear (tbl)"
 						content = function()
@@ -3201,6 +3209,22 @@
 <%
 						end
 					}
+					["Table.java_to_table_deep"] = {
+						title = "Table.java_to_table_deep (obj [, java_to_table_shallow])"
+						content = function()
+%>
+<p>Recursively applies <code>java_to_table_shallow</code> to convert a Java object to nested tables.  <code>java_to_table_shallow</code> defaults to <a href="#Table.java_to_table_shallow">Table.java_to_table_shallow</a>.</p>
+<%
+						end
+					}
+					["Table.java_to_table_shallow"] = {
+						title = "Table.java_to_table_shallow (obj)"
+						content = function()
+%>
+<p>Converts a Java object to a table.  Works for collection types List, Map, Set, and Java arrays.</p>
+<%
+						end
+					}
 					["Table.pack"] = {
 						title = "Table.pack (&middot;&middot;&middot;)"
 						content = function()