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

Not support yet

WIP

schedule

v1.0.0

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

v1.0.0

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

v1.0.0

WIP