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 index b0c0c3a40..1cb6a9a7c 100644 --- 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 { /** * 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 +}