Function Table
back to Table Specification
Creating a Double Conditions Function Table
- Step 1 - To create a Function Table for a Advanced Tabular Specification, please open the context menu of the corresponding Advanced Tabular Specification and select "Function Table".
Then a default Function Table will be added into this tabular specification.
- Step 2 - The pattern of the Function Table in the "Properties" section should be set as "Pattern 1: Double Conditions Function Table".
If "returns output values" is checked, user can set a OutPort as the subject of this function table through the Combobox "Port Name".
Or else, if "returns output values" is not checked, user can set a Variable as the subject of this function table through the Combobox "Variable Name".
- Step 3 - To add Vertical/Horizontal Conditions to a function table, user can directly drag and drop Conditions in the Function Table Condition Editor, please see the picture below.
- Step 4 - Double click a Condition in the Function Table Condition Editor or set the value in the "Properties" section, the Conditions can be edited. Meanwhile, the type of Conditions can be automatically checked.
- Step 5 - With the Function Table Rule Editor we can get the outlook of the function table and edit the rules.
To define the rules of the Function Table, the correct type of the input is required. All of cells of Double Conditions Function Table in the Function Table Rule Editor should be the same data type as the set subject of this function table.
Creating a Horizontal Conditions Function Table
- Step 1 - Similiar with the Creating a Double Conditions Function Table, we have to create a function table for a Advanced Tabular Specification at first. Please open the context menu of the corresponding Advanced Tabular Specification and select "Function Table".
- Step 2 - The pattern of the Function Table in the "Properties" section should be set as "Pattern 2: Horizontal Conditions Function Table".
- Step 3 - To add Vertical/Horizontal Conditions to a function table, user can directly drag and drop Conditions in the Function Table Condition Editor.
- Step 4 - Double click a Condition in the Function Table Condition Editor or set the value in the "Properties" section, the Conditions can be edited. Meanwhile, the type of Conditions can be automatically checked.
- Step 5 - With the Function Table Rule Editor we can get the outlook of the function table and edit the rules.
Creating a Vertical Conditions Function Table
- Step 1 - Similiar with the Creating a Double Conditions Function Table, we have to create a function table for a Advanced Tabular Specification at first. Please open the context menu of the corresponding Advanced Tabular Specification and select "Function Table".
- Step 2 - The pattern of the Function Table in the "Properties" section should be set as "Pattern 3: Vertical Conditions Function Table".
- Step 3 - To add Vertical/Horizontal Conditions to a function table, user can directly drag and drop Conditions in the Function Table Condition Editor.
- Step 4 - Double click a Condition in the Function Table Condition Editor or set the value in the "Properties" section, the Conditions can be edited. Meanwhile, the type of Conditions can be automatically checked.
- Step 5 - With the Function Table Rule Editor we can get the outlook of the function table and edit the rules.
Simulation on a function table
The table specification can be simulated in the AF3 Simulator. If a row is picked for execution, the row will be highlighted.
Nondeterminism Analysis of a Function Table
- Step 1 - Open the "Tabular Specification Analyses" view by clicking on the button
from the toolbar and choose the "Nondeterminism Analyses" tab.
- Step 2 - Open a Function Table in the editor and press the "Check non-determinism" button.
- Step 3 - In case when potential non-deterministic transitions are found, they will be displayed in the table on the left side. On the right-side an evidence about the non-determinism will be shown.
Completeness Analysis of a Function Table
- Step 1 - Open the "Tabular Specification Analyses" view by clicking on the button
from the toolbar and choose the"Completeness Analyses" tab.
- Step 2 - Open a Function Table in the editor and press the "Check completeness" button.
- Step 3 - In case when potential missing conditions are found, they will be displayed in the table on the left side. On the right-side an evidence for incompeteness analyses will be shown.