| View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info | Stereotypes | Operations |
| Stereotypes |
| <<Interface>> |
| Operations | ||
| Signature | Constraints | Documentation |
|
pre: is_integer | Return the integer corresponding to the integer value represented in this string. | |
| Concatenation operator - causes ‘other’ to be appended to this string | ||
| True if string is empty, i.e. equal to “”. | ||
| True if string can be parsed as an integer. | ||