Skip to content

Traversal

Traversal Context

Context Semantics
parallel All array elements are scheduled for traversal in parallel.
schedule All array elements are scheduled for traversal independently.
select One array element is randomly selected and traversed.
sequence All array elements are scheduled for traversal in sequence from 0 to N-1.

parallel

WIP

schedule

Both actions (i.e., sub with "Hello" and "World") in schedule block will be traversed in random order. 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
action top {
    activity {
        schedule {
            do sub with { str == "Hello"; };
            do sub with { str == "World"; };
        }
    }
}

action sub {
    rand string str;
    exec body ASM = """{{str}}""";
}

There have two possible results:

1
2
Hello
World

1
2
World
Hello

select

Only one action in select block will be chosen and traversed. 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
action top {
    activity {
        select {
            do sub with { str == "Hello"; };
            do sub with { str == "World"; };
        }
    }
}

action sub {
    rand string str;
    exec body ASM = """{{str}}""";
}

There have two possible results:

1
Hello

1
World

sequence

WIP

Last update: 2023-10-24
Created: 2023-10-16