The data_def.py module

Summary

Classes

IfTree	Provides an intermediate structure for describing the structure of an if block.
TransitionDestination	Provides the top-level abstract class for transition destinations.
TransitionTree	Provides the intermediate class for transitions.
WhenBranch	Provides the intermediate class for when branches.

Enums

AK	Provides an enum of assertion kinds.
DK	Provides an enum of display kinds.
SK	Provides an enum of state kinds.
TK	Provides an enum of transition kinds.

Functions

add_data_def_assertion	Create an assertion in a scope.
add_data_def_equation	Create an equation in a scope.
add_data_def_if_block	Create an if block in a scope.
add_data_def_locals	Add local variables to a scope.
add_data_def_net_diagram	Add a graphical diagram to a scope.
add_data_def_probes	Add probes to a scope.
add_data_def_signals	Add signals to a scope.
add_data_def_state_machine	Create a state machine in a scope.
add_data_def_text_diagram	Add a textal diagram to a scope.
add_data_def_when_block	Add a new when block in a scope.
add_diagram_edge	Add a graphical edge between two equations in a graphical diagram.
add_diagram_equation_set	Add a new equation set to a graphical diagram.
add_diagram_missing_edges	Add the missing edges in a graphical diagram with default positions.
add_state_machine_state	Create a state in a state machine.
add_state_transition	Add a new transition starting from a state.
add_transition_equation	Create an equation in a transition.
add_when_block_branches	Add new branches to a when block.
create_if_action	Create a leaf action in the intermediate structure if it is a tree structure.
create_if_tree	Create a decision in the intermediate structure if it is a tree structure.
create_transition_fork	Create an intermediate transition structure with forked transitions.
create_transition_state	Create an intermediate transition structure that targets a state.
create_when_branch	Create an intermediate structure for a when branch.
set_variable_default	Set the default value of a variable.
set_variable_last	Set the last value of a variable.

Constants

IT	Short name for an IfTree instance to simplify the declarations.
TD	Short name for a TransitionDestination instance to simplify the declarations.
TR	Short name for a TransitionTree instance to simplify the declarations.

Description

Provides create functions for Scade operator definitions.

• Interface

• Behavior

Module detail

IT

Short name for an IfTree instance to simplify the declarations.

TD

Short name for a TransitionDestination instance to simplify the declarations.

TR

Short name for a TransitionTree instance to simplify the declarations.