import ballerina/io;
public function main() returns error? {
do {
// If either `foo()` or `bar()` invocations returns an `error`,
// the error will be returned from the `main` function and execution
// of the `main` function ends.
check foo();
check bar();
if !isOK() {
// Fails explicitly with an `error`.
fail error("not OK");
}
}
// Failure with the respective error is caught by the `on fail` block.
on fail var e {
io:println(e.toString());
return e;
}
return;
}
function foo() returns error? {
io:println("OK");
return;
}
function bar() returns error? {
io:println("OK");
return;
}
function isOK() returns boolean {
// Returns `false`.
return false;
}
Check Semantics
|
import ballerina/io;
public function main() returns error? {
do {
check foo();
check bar();
If either foo() or bar() invocations returns an error,
the error will be returned from the main function and execution
of the main function ends.
if !isOK() {
fail error("not OK");
Fails explicitly with an error.
}
}
on fail var e {
io:println(e.toString());
return e;
}
Failure with the respective error is caught by the on fail block.
return;
}
function foo() returns error? {
io:println("OK");
return;
}
function bar() returns error? {
io:println("OK");
return;
}
function isOK() returns boolean {
return false;
Returns false.
}
bal run check_semantics.bal
OK
OK
error("not OK")
error: not OK
