GitBook: [main] one page modified

This commit is contained in:
boneyard93501 2021-03-31 21:01:58 +00:00 committed by gitbook-bot
parent 2e7ec5a020
commit a7ce30f085
No known key found for this signature in database
GPG Key ID: 07D2180C7B12D0FF

View File

@ -23,7 +23,7 @@ AIR instructions are intended to launch the execution of a service method as fol
4. The arguments specified by the argument list are passed to the method
5. The result of the method returned under the name output name
**Figure 2: Sequential Instruction** ![Execution](../../.gitbook/assets/air_sequential_2%20%281%29%20%281%29.png)
**Figure 2: Sequential Instruction** ![Execution](../../.gitbook/assets/air_sequential_2%20%281%29.png)
The seq instruction takes two instructions at most as its arguments and executes them sequentially, one after the other.
@ -33,7 +33,7 @@ The par</i.> instruction takes two instructions at most as its arguments a
TODO: add better graphic showing the disticntion of branching vs seq.
**Figure 4: Fold Instruction** ![Execution](../../.gitbook/assets/air_fold_4%20%281%29.png)
**Figure 4: Fold Instruction** ![Execution](../../.gitbook/assets/air_fold_4.png)
The fold instruction iterates over the elements of an array and workds as follows:
@ -49,7 +49,7 @@ This instruction is intended for organizing branches in the flow of execution as
* The first instruction is executed and if the execution is successful, then the second instruction is ignored
* If the first instruction fails, then the second one is executed.
**Figure 6: Null Instruction** ![Execution](../../.gitbook/assets/air_null_6%20%281%29%20%281%29.png)
**Figure 6: Null Instruction** ![Execution](../../.gitbook/assets/air_null_6.png)
This is an empty instruction: it takes no arguments and does nothing. The null instruction is useful for generating code.