[Task]: Verify tooling support for new worker semantics about ballerina-lang HOT 3 CLOSED

Right now the changes are in https://github.com/ballerina-platform/ballerina-lang/tree/worker_change branch

from ballerina-lang.

Tested the diagram with different scenarios. However, the following are the basic examples and their diagrams.

1. Alternate Receive Action

Code:

public function main() {
    worker w1 {
        3 -> function;
    }

    worker w2 {
        4 -> function;
    }

    int x = <- w1|w2;
}

Diagram:

2. Conditional Send Action

Code:

public function main() {
    boolean expr = 2%3 == 0;
    
    worker w1 {
        if expr {
            2 -> function;
        } else {
            3 -> function;
        }
    }

    int|error:NoMessage y = <- w1|w1;
}

Diagram:

3. Multiple Receive Action

Code:

public function main() {
    worker w1 {
        33 -> function;
    }

    worker w2 {
        "xxx" -> function;
    }

    record {|int a; string b;|} x = <- {a: w1, b: w2};
}

Diagram:

4. Named worker with on-fail-clause
The diagram is crashing. This is because we internally desugar this in to do-on-fail. The diagram was anyway crashing for do-stmt currently.

Problems Identified (Not related to new worker changes):

• Sync send is not depicted in the diagram correctly.
  Code:

public function main() {
    worker w1 {
        3 ->> function;
    }

    int x = <- w1;
}

Diagram:

• Diagram is crashing for do-stmt and statement-block.

from ballerina-lang.

Closing as this task is completed.

from ballerina-lang.