add_data_def_assertion(data_def, diagram, name, expr, kind=AK.ASSUME, position=None)

Create an assertion in a scope.

Parameters:

data_defsuite.DataDef

Input scope, which is an operator, state, or action.

diagramsuite.Diagram

Diagram containing the equation. The diagram specified can be either graphical or textual, or it can be None. However, it cannot be None if the scope contains at least one diagram.

namestr

Name of the assertion.

exprEX

Expression of the assertion.

kindAK, default: ASSUME

Kind of the assertion.

positionTuple[float, float], default: None

Position of the assertion, expressed in 1/100th of mm. This value is ignored if the diagram is not a graphical diagram. Otherwise, it must be specified.

Returns:

suite.Assertion