import ballerina/io;

// Convert `bytes` to a `string` value and then to an `int` value.
function intFromBytes(byte[] bytes) returns int|error {

    // Use `check` with an expression that may return `error`.
    // If `string:fromBytes(bytes)` returns an `error` value, `check`
    // makes the function return the `error` value here.
    // If not, the returned `string` value is used as the
    // value of the `str` variable.
    string str = check string:fromBytes(bytes);


    return int:fromString(str);
}

public function main() {
    int|error res = intFromBytes([104, 101, 108, 108, 111]);
    io:println(res);
}

Check expression

check E is used with an expression E that might result in an error value. If E results in an error value , then check makes the function return that error value immediately. Type of check E does not include error. The control flow remains explicit.

 
import ballerina/io;

function intFromBytes(byte[] bytes) returns int|error {

Convert bytes to a string value and then to an int value.

    string str = check string:fromBytes(bytes);

Use check with an expression that may return error. If string:fromBytes(bytes) returns an error value, check makes the function return the error value here. If not, the returned string value is used as the value of the str variable.

    return int:fromString(str);
}

public function main() {
    int|error res = intFromBytes([104, 101, 108, 108, 111]);
    io:println(res);
}

bal run check_expression.bal
error("{ballerina/lang.int}NumberParsingError",message="'string' value 'hello' cannot be converted to 'int'")