AssumptionRow

Assumptions in Requirements Table block

Since R2022a

Description

AssumptionRow objects represent assumptions in Requirements Table blocks. Use AssumptionRow objects to programmatically adjust the assumption properties.

Creation

There are several ways to create a AssumptionRow object:

• Create a new assumption in a Requirements Table block by using the addAssumptionRow object function.

• Create an assumption interactively in the Requirements Table block, then get the associated AssumptionRow object by using the getAssumptionRows object function.

Properties

RowType — Assumption row type

'normal' | 'anyChildActive' | 'allChildrenActive'

Assumption row type, specified as 'normal', 'anyChildActive', or 'allChildrenActive'. For more information on assumption row type, see Specify Row Type in Requirements Table Blocks.

Data Types: char

Index — Index of assumption

character vector (default)

This property is read-only.

Index of the assumption, returned as a character vector. When you create a new assumption, the software automatically assigns the assumption a unique index.

Preconditions — Precondition expression

{''} (default) | cell array of character vectors

Precondition expression, specified as a cell array of a character vector. For more information on preconditions in assumptions, see Add Assumptions to Requirements.

Data Types: char | cell

Postconditions — Postcondition expression

{''} (default) | cell array of character vectors

Postcondition expression, specified as a cell array of a character vector. For more information on postconditions in assumptions, see Add Assumptions to Requirements.

Data Types: char | cell

Summary — Assumption summary text

"" (default) | string scalar | character vector

Assumption summary text, specified as a string scalar or character vector. Use this property to add text to the Summary column in the Assumptions tab of the Requirements Table block.

Data Types: char | string

Object Functions

addChild	Add child requirement or assumption to Requirements Table block
getChildren	Retrieve child requirements and assumptions in Requirements Table block
clear	Clear row in Requirements Table block
removeRow	Remove Requirements Table block row

Examples

Create Assumptions and Set Preconditions and Postconditions

In a RequirementsTable object named reqTable, add two assumptions.

addAssumptionRow(reqTable);
addAssumptionRow(reqTable);

Retrieve the AssumptionRow objects.

aRow = getAssumptionRows(reqTable);

Set the preconditions for the assumptions.

aRow(1).Preconditions = {'u1 > 1'};
aRow(2).Preconditions = {'u1 > 0'};
aRow(3).Preconditions = {'u1 > -1'};

Set the postconditions for the assumptions.

aRow(1).Postconditions = {'u2 > 1'};
aRow(2).Postconditions = {'u2 > 0'};
aRow(3).Postconditions = {'u2 < -1'};

Version History

Introduced in R2022a

R2024a: Define assumption type

Use the RowType property to specify how an AssumptionRow object executes. For more information, see Specify Row Type in Requirements Table Blocks.