Extra Variables In A :do Loop

| iMatix home page
| Libero home page | Libero documentation
| << | < | > | >>

Libero
Version 2.32

Extra Variables In A :do Loop

Within the different types of :do loop, various extra variables are available. Usually you'll need these to construct tables or lists of names.

`:do while` condition

Repeats the block of code while condition is true. The condition is a logical condition as described above. The loop is executed 0..n times.

$number - loop iteration 0..n-1, added to $array_base.

`:do event`

Builds a list of events. Outputs the block for each event in the dialog.

$name - event name, with _event stuck onto the end, and formatted using the current -style setting.
$number - event number 0..n-1, added to $array_base.
$comma - the value of $comma_before until the last iteration; then $comma_last.

`:do event local`

Builds a list of events. Outputs the block for each event in the current state, within a :do state loop. Provides the same variables as :do event, and also:

$next_state - name of next state, for this event.

`:do state`

Builds a list of states. Outputs the block for each state in the dialog.

$name - state name, formatted using the current -style setting.
$number - state number 0..n-1, added to $array_base.
$comma - the value of $comma_before until the last iteration; then $comma_last.

`:do module`

Builds list of modules. Outputs the block for each module in the dialog.

$name - module name, formatted using the current -style setting.
$number - module number 0..n-1, added to $array_base.
$comma - the value of $comma_before until the last iteration; then $comma_last.

Builds table containing one row per state, with one item per row for each event transition. Each item is the number of an action vector. Invalid state/event transitions are filled by the value of $row_null.

$row - value of row, formatted according to $row_first, $row_after, and $row_null.
$number - state number 0..n-1, added to $array_base.
$comma - the value of $comma_before until the last iteration; then $comma_last.
$offset - offset of start of current row, added to $array_base. The offset is counted up by 1 for each item in a row.
$tally - number of items in $row.

`:do nextst`

Builds table containing one row per state, with one item per row for each event transition. Each item is the number of the next state. Invalid state/event transitions are marked by the value of $row_null.

$row - value of row, formatted according to $row_first, $row_after, and $row_null.
$number - state number 0..n-1, added to $array_base.
$comma - the value of $comma_before until the last iteration; then $comma_last.
$offset - offset of start of current row, added to $array_base. The offset is counted up by 1 for each item in a row.
$tally - number of items in $row.

`:do vector`

Builds table of action vectors. An action vector is a list of modules executed in series for a state/event transition. Duplicate vectors are collapsed.

$row - action vector, formatted according to $row_first, $row_after, and $row_null.
$number - vector number 0..n-1, added to $array_base.
$comma - the value of $comma_before until the last iteration; then $comma_last.
$offset - offset of start of current row, added to $array_base. The offset is counted up by 1 for each item in a row, including an assumed terminator value (0xFFFF).
$tally - number of items in $row, including one terminator value.

`:do overflow`

Used to build source code that has to be output over several lines. The block is output until the overflow row is empty.

$row - overflow row, ie. part of main $row that did not fit onto first line.
$number - iteration number 0..n-1, added to $array_base.
$comma - the value of $comma_before until the last iteration; then $comma_last.
$tally - number of items in $row.

`:do stubs` [filename]...

Builds a set of module stubs at the end of the filename. If no filename is specified, assumes you mean the $source file. You can specify a list of filenames; then Libero will scan each file in the list for existing modules, and build stubs for any undefined modules at the end of the first filename. This is useful if you define standard modules in generated code (e.g. an include file).

If you use the -nostubs option, Libero ignores the :stubs command. If you use the -noidle option, Libero does not check the source for idle (ie. unused) modules.