Returns the int that equals Val without the fractional part.
Fails if not IsFinite(val).
Verse using statement |
using { /Verse.org/Verse } |
Int<native><public>(Val:float)<decides><diverges><reads><dictates>:int
Parameters
Int takes the following parameters:
| Name | Type | Description |
|---|---|---|
Val |
float |
Attributes and Effects
The following attributes and effects determine how Int behaves and how you can use it in your programs. For the complete list of attribute and effect specifiers, see the Specifiers Page.
| Attribute | Meaning |
|---|---|
native |
Indicates that the definition details of the element are implemented in C++. Verse definitions with the native specifier auto-generate C++ definitions that a developer can then fill out its implementation. You can use this specifier on classes, interfaces, enums, methods, and data. |
public |
The identifier is universally accessible. You can use this on modules, classes, interfaces, structs, enums, methods, and data. |
| Effect | Meaning |
|---|---|
decides |
Indicates that the function can fail, and that calling this function is a failable expression. Function definitions with the decides effect must also have the transacts effect, which means the actions performed by this function can be rolled back (as if the actions were never performed), if there’s a failure anywhere in the function. |
diverges |
Indicates that calls to the function may not complete. |
reads |
This effect indicates that the same inputs to the function may not always produce the same output. The behavior depends on factors external to the specified inputs, such as memory or the containing package version. |
dictates |