Automated commit of generated code

Author: github-actions[bot]

core/generated-sources/src/main/kotlin/org/jetbrains/kotlinx/dataframe/api/convert.kt

@@ -42,8 +42,13 @@ import org.jetbrains.kotlinx.dataframe.impl.io.FastDoubleParser
 import org.jetbrains.kotlinx.dataframe.io.toDataFrame
 import org.jetbrains.kotlinx.dataframe.util.CONVERT_TO
 import org.jetbrains.kotlinx.dataframe.util.CONVERT_TO_REPLACE
+import org.jetbrains.kotlinx.dataframe.util.CONVERT_TO_URL
+import org.jetbrains.kotlinx.dataframe.util.CONVERT_TO_URL_REPLACE
+import org.jetbrains.kotlinx.dataframe.util.TO_URL
+import org.jetbrains.kotlinx.dataframe.util.TO_URL_REPLACE
 import java.math.BigDecimal
 import java.math.BigInteger
+import java.net.URI
 import java.net.URL
 import java.util.Locale
 import kotlin.reflect.KProperty
@@ -242,7 +247,7 @@ internal interface ConvertDocs {
      * `| `__`.`__[**`toInstant`**][Convert.toInstant]`()`
      *
      *     
-     * `| `__`.`__[**`toURL`**][Convert.toURL]`()`
+     * `| `__`.`__[**`toUrl`**][Convert.toUrl]`()`
      *
      *     
      * `| `__`.`__[**`toIFrame`**][Convert.toIFrame]`()`
@@ -464,7 +469,7 @@ public inline fun <T, C, reified R> Convert<T, C?>.notNull(
  * - [toStr], [toInt], [toLong], [toDouble], [toFloat], [toBigDecimal],
  *   [toBigInteger], [toBoolean] – convert to standard types.
  * - [toLocalDateTime], [toLocalDate], [toLocalTime], [toInstant] – convert to kotlinx.datetime types.
- * - [toURL], [toIFrame], [toImg] – convert to special types.
+ * - [toUrl], [toIFrame], [toImg] – convert to special types.
  * - [toDataFrames] – converts a column of lists into separate DataFrames.
  *
  * See [Grammar][ConvertDocs.Grammar] for more details.
@@ -1109,20 +1114,34 @@ public fun <T, R : URL?> Convert<T, URL>.toImg(width: Int? = null, height: Int?
 
 // region toURL
 
+@Deprecated(CONVERT_TO_URL, ReplaceWith(CONVERT_TO_URL_REPLACE), DeprecationLevel.ERROR)
+public fun DataColumn<String>.convertToURL(): DataColumn<URL> = convertToUrl()
+
 /**
  * Converts values in this [String] column to an [URL].
  *
  * @return A new [DataColumn] with an [URL] values.
  */
-public fun DataColumn<String>.convertToURL(): DataColumn<URL> = map { URL(it) }
+public fun DataColumn<String>.convertToUrl(): DataColumn<URL> = map { URI(it).toURL() }
+
+@Deprecated(CONVERT_TO_URL, ReplaceWith(CONVERT_TO_URL_REPLACE), DeprecationLevel.ERROR)
+@JvmName("convertToURLFromStringNullable")
+public fun DataColumn<String?>.convertToURL(): DataColumn<URL?> = convertToUrl()
 
 /**
  * Converts values in this [String] column to an [URL]. Preserves null values.
  *
  * @return A new [DataColumn] with an [URL] nullable values.
  */
-@JvmName("convertToURLFromStringNullable")
-public fun DataColumn<String?>.convertToURL(): DataColumn<URL?> = map { it?.let { URL(it) } }
+@JvmName("convertToUrlFromStringNullable")
+public fun DataColumn<String?>.convertToUrl(): DataColumn<URL?> = map { it?.let { URI(it).toURL() } }
+
+@Deprecated(TO_URL, ReplaceWith(TO_URL_REPLACE), DeprecationLevel.ERROR)
+@JvmName("toURLFromStringNullable")
+@Refine
+@Converter(URL::class, nullable = true)
+@Interpretable("ToSpecificType")
+public fun <T> Convert<T, String?>.toURL(): DataFrame<T> = asColumn { it.convertToUrl() }
 
 /**
  * Converts values in the [String] columns previously selected with [convert] to an [URL],
@@ -1133,7 +1152,7 @@ public fun DataColumn<String?>.convertToURL(): DataColumn<URL?> = map { it?.let
  *
  * ### Examples:
  * ```kotlin
- * df.convert { webAddress }.toURL()
+ * df.convert { webAddress }.toUrl()
  * ```
  *
  * @return A new [DataFrame] with the values converted to an [URL].
@@ -1142,7 +1161,14 @@ public fun DataColumn<String?>.convertToURL(): DataColumn<URL?> = map { it?.let
 @Refine
 @Converter(URL::class, nullable = true)
 @Interpretable("ToSpecificType")
-public fun <T> Convert<T, String?>.toURL(): DataFrame<T> = asColumn { it.convertToURL() }
+public fun <T> Convert<T, String?>.toUrl(): DataFrame<T> = asColumn { it.convertToUrl() }
+
+@Deprecated(TO_URL, ReplaceWith(TO_URL_REPLACE), DeprecationLevel.ERROR)
+@JvmName("toURLFromString")
+@Refine
+@Converter(URL::class, nullable = false)
+@Interpretable("ToSpecificType")
+public fun <T> Convert<T, String>.toURL(): DataFrame<T> = toUrl()
 
 /**
  * Converts values in the [String] columns previously selected with [convert] to an [URL],
@@ -1152,7 +1178,7 @@ public fun <T> Convert<T, String?>.toURL(): DataFrame<T> = asColumn { it.convert
  *
  * ### Examples:
  * ```kotlin
- * df.convert { webAddress }.toURL()
+ * df.convert { webAddress }.toUrl()
  * ```
  *
  * @return A new [DataFrame] with the values converted to an [URL].
@@ -1161,7 +1187,7 @@ public fun <T> Convert<T, String?>.toURL(): DataFrame<T> = asColumn { it.convert
 @Refine
 @Converter(URL::class, nullable = false)
 @Interpretable("ToSpecificType")
-public fun <T> Convert<T, String>.toURL(): DataFrame<T> = asColumn { it.convertToURL() }
+public fun <T> Convert<T, String>.toUrl(): DataFrame<T> = asColumn { it.convertToUrl() }
 
 // endregion
 

core/generated-sources/src/main/kotlin/org/jetbrains/kotlinx/dataframe/api/format.kt

@@ -15,8 +15,8 @@ import org.jetbrains.kotlinx.dataframe.impl.api.formatImpl
 import org.jetbrains.kotlinx.dataframe.impl.api.linearGradient
 import org.jetbrains.kotlinx.dataframe.io.DataFrameHtmlData
 import org.jetbrains.kotlinx.dataframe.io.DisplayConfiguration
-import org.jetbrains.kotlinx.dataframe.io.toHTML
-import org.jetbrains.kotlinx.dataframe.io.toStandaloneHTML
+import org.jetbrains.kotlinx.dataframe.io.toHtml
+import org.jetbrains.kotlinx.dataframe.io.toStandaloneHtml
 import kotlin.reflect.KProperty
 
 // region DataFrame
@@ -126,14 +126,14 @@ public class FormattedFrame<T>(internal val df: DataFrame<T>, internal val forma
     /**
      * @return DataFrameHtmlData without additional definitions. Can be rendered in Jupyter kernel environments
      */
-    public fun toHTML(configuration: DisplayConfiguration = DisplayConfiguration.DEFAULT): DataFrameHtmlData =
-        df.toHTML(getDisplayConfiguration(configuration))
+    public fun toHtml(configuration: DisplayConfiguration = DisplayConfiguration.DEFAULT): DataFrameHtmlData =
+        df.toHtml(getDisplayConfiguration(configuration))
 
     /**
      * @return DataFrameHtmlData with table script and css definitions. Can be saved as an *.html file and displayed in the browser
      */
-    public fun toStandaloneHTML(configuration: DisplayConfiguration = DisplayConfiguration.DEFAULT): DataFrameHtmlData =
-        df.toStandaloneHTML(getDisplayConfiguration(configuration))
+    public fun toStandaloneHtml(configuration: DisplayConfiguration = DisplayConfiguration.DEFAULT): DataFrameHtmlData =
+        df.toStandaloneHtml(getDisplayConfiguration(configuration))
 
     public fun getDisplayConfiguration(configuration: DisplayConfiguration): DisplayConfiguration =
         configuration.copy(cellFormatter = formatter as RowColFormatter<*, *>?)

core/generated-sources/src/main/kotlin/org/jetbrains/kotlinx/dataframe/impl/api/parse.kt

@@ -41,6 +41,7 @@ import org.jetbrains.kotlinx.dataframe.io.isUrl
 import org.jetbrains.kotlinx.dataframe.values
 import java.math.BigDecimal
 import java.math.BigInteger
+import java.net.URI
 import java.net.URL
 import java.text.ParsePosition
 import java.time.format.DateTimeFormatter
@@ -240,7 +241,7 @@ internal object Parsers : GlobalParserOptions {
         toJavaLocalDateTimeOrNull(formatter) // since we accept a Java DateTimeFormatter
             ?.toKotlinLocalDateTime()
 
-    private fun String.toUrlOrNull(): URL? = if (isUrl(this)) catchSilent { URL(this) } else null
+    private fun String.toUrlOrNull(): URL? = if (isUrl(this)) catchSilent { URI(this).toURL() } else null
 
     private fun String.toBooleanOrNull() =
         when (uppercase(Locale.getDefault())) {

core/generated-sources/src/main/kotlin/org/jetbrains/kotlinx/dataframe/io/common.kt

@@ -11,6 +11,7 @@ import org.jetbrains.kotlinx.dataframe.util.IS_URL_REPLACE
 import java.io.File
 import java.io.InputStream
 import java.net.HttpURLConnection
+import java.net.URI
 import java.net.URL
 
 /**
@@ -110,7 +111,7 @@ public fun isProtocolSupported(url: URL): Boolean = url.protocol in setOf("http"
  */
 public fun asUrl(fileOrUrl: String): URL =
     if (isUrl(fileOrUrl)) {
-        URL(fileOrUrl).toURI()
+        URI(fileOrUrl)
     } else {
         File(fileOrUrl).also {
             require(it.exists()) { "File not found: \"$fileOrUrl\"" }

core/generated-sources/src/main/kotlin/org/jetbrains/kotlinx/dataframe/io/html.kt

@@ -34,6 +34,12 @@ import org.jetbrains.kotlinx.dataframe.jupyter.RenderedContent
 import org.jetbrains.kotlinx.dataframe.name
 import org.jetbrains.kotlinx.dataframe.nrow
 import org.jetbrains.kotlinx.dataframe.size
+import org.jetbrains.kotlinx.dataframe.util.TO_HTML
+import org.jetbrains.kotlinx.dataframe.util.TO_HTML_REPLACE
+import org.jetbrains.kotlinx.dataframe.util.TO_STANDALONE_HTML
+import org.jetbrains.kotlinx.dataframe.util.TO_STANDALONE_HTML_REPLACE
+import org.jetbrains.kotlinx.dataframe.util.WRITE_HTML
+import org.jetbrains.kotlinx.dataframe.util.WRITE_HTML_REPLACE
 import java.awt.Desktop
 import java.awt.image.BufferedImage
 import java.io.File
@@ -515,6 +521,20 @@ private fun AnyFrame.getColumnsHeaderGrid(): List<List<ColumnWithPathWithBorder<
 
 internal fun DataFrameHtmlData.print() = println(this)
 
+@Deprecated(TO_HTML, ReplaceWith(TO_HTML_REPLACE), DeprecationLevel.ERROR)
+public fun <T> DataFrame<T>.toHTML(
+    configuration: DisplayConfiguration = DisplayConfiguration.DEFAULT,
+    cellRenderer: CellRenderer = DefaultCellRenderer,
+    getFooter: (DataFrame<T>) -> String? = { "DataFrame [${it.size}]" },
+) = toHtml(configuration, cellRenderer, getFooter)
+
+@Deprecated(TO_STANDALONE_HTML, ReplaceWith(TO_STANDALONE_HTML_REPLACE), DeprecationLevel.ERROR)
+public fun <T> DataFrame<T>.toStandaloneHTML(
+    configuration: DisplayConfiguration = DisplayConfiguration.DEFAULT,
+    cellRenderer: CellRenderer = DefaultCellRenderer,
+    getFooter: (DataFrame<T>) -> String? = { "DataFrame [${it.size}]" },
+): DataFrameHtmlData = toStandaloneHtml(configuration, cellRenderer, getFooter)
+
 /**
  * By default, cell content is formatted as text
  * Use [RenderedContent.media] or [IMG], [IFRAME] if you need custom HTML inside a cell.
@@ -524,18 +544,18 @@ internal fun DataFrameHtmlData.print() = println(this)
  * the ["Open in browser"](https://www.jetbrains.com/help/idea/editing-html-files.html#ws_html_preview_output_procedure) feature of IntelliJ IDEA will automatically reload the file content when it's updated
  * @return DataFrameHtmlData with table script and css definitions
  */
-public fun <T> DataFrame<T>.toStandaloneHTML(
+public fun <T> DataFrame<T>.toStandaloneHtml(
     configuration: DisplayConfiguration = DisplayConfiguration.DEFAULT,
     cellRenderer: CellRenderer = DefaultCellRenderer,
     getFooter: (DataFrame<T>) -> String? = { "DataFrame [${it.size}]" },
-): DataFrameHtmlData = toHTML(configuration, cellRenderer, getFooter).withTableDefinitions()
+): DataFrameHtmlData = toHtml(configuration, cellRenderer, getFooter).withTableDefinitions()
 
 /**
  * By default, cell content is formatted as text
  * Use [RenderedContent.media] or [IMG], [IFRAME] if you need custom HTML inside a cell.
  * @return DataFrameHtmlData without additional definitions. Can be rendered in Jupyter kernel environments
  */
-public fun <T> DataFrame<T>.toHTML(
+public fun <T> DataFrame<T>.toHtml(
     configuration: DisplayConfiguration = DisplayConfiguration.DEFAULT,
     cellRenderer: CellRenderer = DefaultCellRenderer,
     getFooter: (DataFrame<T>) -> String? = { "DataFrame [${it.size}]" },
@@ -620,25 +640,40 @@ public class DataFrameHtmlData(
             },
         )
 
+    public fun writeHtml(destination: File) {
+        destination.writeText(toString())
+    }
+
+    public fun writeHtml(destination: String) {
+        File(destination).writeText(toString())
+    }
+
+    public fun writeHtml(destination: Path) {
+        destination.writeText(toString())
+    }
+
+    @Deprecated(WRITE_HTML, ReplaceWith(WRITE_HTML_REPLACE), DeprecationLevel.ERROR)
     public fun writeHTML(destination: File) {
         destination.writeText(toString())
     }
 
+    @Deprecated(WRITE_HTML, ReplaceWith(WRITE_HTML_REPLACE), DeprecationLevel.ERROR)
     public fun writeHTML(destination: String) {
         File(destination).writeText(toString())
     }
 
+    @Deprecated(WRITE_HTML, ReplaceWith(WRITE_HTML_REPLACE), DeprecationLevel.ERROR)
     public fun writeHTML(destination: Path) {
         destination.writeText(toString())
     }
 
     /**
      * Opens a new tab in your default browser.
-     * Consider [writeHTML] with the [HTML file auto-reload](https://www.jetbrains.com/help/idea/editing-html-files.html#ws_html_preview_output_procedure) feature of IntelliJ IDEA if you want to experiment with the output and run program multiple times
+     * Consider [writeHtml] with the [HTML file auto-reload](https://www.jetbrains.com/help/idea/editing-html-files.html#ws_html_preview_output_procedure) feature of IntelliJ IDEA if you want to experiment with the output and run program multiple times
      */
     public fun openInBrowser() {
         val file = File.createTempFile("df_rendering", ".html")
-        writeHTML(file)
+        writeHtml(file)
         val uri = file.toURI()
         val desktop = Desktop.getDesktop()
         desktop.browse(uri)
@@ -680,7 +715,7 @@ public class DataFrameHtmlData(
         /**
          * @return CSS and JS required to render DataFrame tables
          * Can be used as a starting point to create page with multiple tables
-         * @see DataFrame.toHTML
+         * @see DataFrame.toHtml
          * @see DataFrameHtmlData.plus
          */
         public fun tableDefinitions(includeJs: Boolean = true, includeCss: Boolean = true): DataFrameHtmlData =

core/generated-sources/src/main/kotlin/org/jetbrains/kotlinx/dataframe/jupyter/importDataSchema.kt

@@ -2,10 +2,11 @@ package org.jetbrains.kotlinx.dataframe.jupyter
 
 import org.intellij.lang.annotations.Language
 import java.io.File
+import java.net.URI
 import java.net.URL
 
 public class ImportDataSchema(public val url: URL) {
-    public constructor(path: String) : this(URL(path))
+    public constructor(path: String) : this(URI(path).toURL())
     public constructor(file: File) : this(file.toURI().toURL())
 }
 
@@ -47,7 +48,7 @@ internal val importDataSchema =
     }
 
     /** Import the type-only data schema from [path]. */
-    fun importDataSchema(path: String, name: String): Unit = importDataSchema(URL(path), name)
+    fun importDataSchema(path: String, name: String): Unit = importDataSchema(URI(path).toURL(), name)
 
     /** Import the type-only data schema from [file]. */
     fun importDataSchema(file: File, name: String): Unit = importDataSchema(file.toURI().toURL(), name)

core/generated-sources/src/main/kotlin/org/jetbrains/kotlinx/dataframe/util/deprecationMessages.kt

@@ -95,6 +95,21 @@ internal const val MEAN_NO_SKIPNAN = "This function is just here for binary comp
 internal const val CONVERT_TO = "This to overload will be removed in favor of `asColumn`. $MESSAGE_0_16"
 internal const val CONVERT_TO_REPLACE = "this.asColumn(columnConverter)"
 
+internal const val TO_HTML = "This function is replaced by `toHtml()`. $MESSAGE_0_16"
+internal const val TO_HTML_REPLACE = "toHtml(configuration, cellRenderer, getFooter)"
+
+internal const val TO_STANDALONE_HTML = "This function is replaced by `toStandaloneHtml()`. $MESSAGE_0_16"
+internal const val TO_STANDALONE_HTML_REPLACE = "toStandaloneHtml(configuration, cellRenderer, getFooter)"
+
+internal const val WRITE_HTML = "This function is replaced by `writeHtml()`. $MESSAGE_0_16"
+internal const val WRITE_HTML_REPLACE = "writeHtml(destination)"
+
+internal const val CONVERT_TO_URL = "This function is replaced by `convertToUrl()`. $MESSAGE_0_16"
+internal const val CONVERT_TO_URL_REPLACE = "convertToUrl()"
+
+internal const val TO_URL = "This function is replaced by `toUrl()`. $MESSAGE_0_16"
+internal const val TO_URL_REPLACE = "toUrl()"
+
 // endregion
 
 // region WARNING in 0.16, ERROR in 0.17