feat: stubs for int conversions

Safe-DS · Apr 8, 2024 · 57a445c · 57a445c
1 parent 61fd8e6
commit 57a445c
Showing 1 changed file with 20 additions and 2 deletions.
diff --git a/packages/safe-ds-lang/src/resources/builtins/safeds/lang/coreClasses.sdsstub b/packages/safe-ds-lang/src/resources/builtins/safeds/lang/coreClasses.sdsstub
@@ -26,7 +26,15 @@ class Boolean
 /**
  * A number.
  */
-class Number
+class Number {
+
+    /**
+     * Converts the number to an integer.
+     */
+    @Pure
+    @PythonCall("int($this)")
+    fun toInt() -> i: Int
+}
 
 /**
  * An integer.
@@ -81,4 +89,14 @@ class Map<K, out V> {
 /**
  * Some text.
  */
-class String
+class String {
+
+    /**
+     * Converts the string to an integer.
+     *
+     * @base The base of the integer.
+     */
+    @Pure
+    @PythonCall("int($this, $base)")
+    fun toInt(base: Int = 10) -> i: Int
+}