The ``data_def.py`` module
==========================
.. py:module:: ansys.scade.apitools.create.data_def
Summary
-------
.. py:currentmodule:: data_def
.. tab-set::
.. tab-item:: Classes
.. list-table::
:header-rows: 0
:widths: auto
* - :py:obj:`~ansys.scade.apitools.create.data_def.IfTree`
- Provides an intermediate structure for describing the structure of an if block.
* - :py:obj:`~ansys.scade.apitools.create.data_def.TransitionDestination`
- Provides the top-level abstract class for transition destinations.
* - :py:obj:`~ansys.scade.apitools.create.data_def.TransitionTree`
- Provides the intermediate class for transitions.
* - :py:obj:`~ansys.scade.apitools.create.data_def.WhenBranch`
- Provides the intermediate class for when branches.
.. tab-item:: Enums
.. list-table::
:header-rows: 0
:widths: auto
* - :py:obj:`~ansys.scade.apitools.create.data_def.AK`
- Provides an enum of assertion kinds.
* - :py:obj:`~ansys.scade.apitools.create.data_def.DK`
- Provides an enum of display kinds.
* - :py:obj:`~ansys.scade.apitools.create.data_def.SK`
- Provides an enum of state kinds.
* - :py:obj:`~ansys.scade.apitools.create.data_def.TK`
- Provides an enum of transition kinds.
.. tab-item:: Functions
.. list-table::
:header-rows: 0
:widths: auto
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_assertion`
- Create an assertion in a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_equation`
- Create an equation in a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_if_block`
- Create an if block in a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_locals`
- Add local variables to a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_net_diagram`
- Add a graphical diagram to a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_probes`
- Add probes to a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_signals`
- Add signals to a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_state_machine`
- Create a state machine in a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_text_diagram`
- Add a textal diagram to a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_data_def_when_block`
- Add a new when block in a scope.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_diagram_edge`
- Add a graphical edge between two equations in a graphical diagram.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_diagram_equation_set`
- Add a new equation set to a graphical diagram.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_diagram_missing_edges`
- Add the missing edges in a graphical diagram with default positions.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_state_machine_state`
- Create a state in a state machine.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_state_transition`
- Add a new transition starting from a state.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_transition_equation`
- Create an equation in a transition.
* - :py:obj:`~ansys.scade.apitools.create.data_def.add_when_block_branches`
- Add new branches to a when block.
* - :py:obj:`~ansys.scade.apitools.create.data_def.create_if_action`
- Create a leaf action in the intermediate structure if it is a tree structure.
* - :py:obj:`~ansys.scade.apitools.create.data_def.create_if_tree`
- Create a decision in the intermediate structure if it is a tree structure.
* - :py:obj:`~ansys.scade.apitools.create.data_def.create_transition_fork`
- Create an intermediate transition structure with forked transitions.
* - :py:obj:`~ansys.scade.apitools.create.data_def.create_transition_state`
- Create an intermediate transition structure that targets a state.
* - :py:obj:`~ansys.scade.apitools.create.data_def.create_when_branch`
- Create an intermediate structure for a when branch.
* - :py:obj:`~ansys.scade.apitools.create.data_def.set_variable_default`
- Set the default value of a variable.
* - :py:obj:`~ansys.scade.apitools.create.data_def.set_variable_last`
- Set the last value of a variable.
.. tab-item:: Constants
.. list-table::
:header-rows: 0
:widths: auto
* - :py:obj:`~IT`
- Short name for an ``IfTree`` instance to simplify the declarations.
* - :py:obj:`~TD`
- Short name for a ``TransitionDestination`` instance to simplify the declarations.
* - :py:obj:`~TR`
- Short name for a ``TransitionTree`` instance to simplify the declarations.
.. toctree::
:titlesonly:
:maxdepth: 1
:hidden:
IfTree
TransitionDestination
TransitionTree
WhenBranch
.. toctree::
:titlesonly:
:maxdepth: 1
:hidden:
AK
DK
SK
TK
.. toctree::
:titlesonly:
:maxdepth: 1
:hidden:
add_data_def_assertion
add_data_def_equation
add_data_def_if_block
add_data_def_locals
add_data_def_net_diagram
add_data_def_probes
add_data_def_signals
add_data_def_state_machine
add_data_def_text_diagram
add_data_def_when_block
add_diagram_edge
add_diagram_equation_set
add_diagram_missing_edges
add_state_machine_state
add_state_transition
add_transition_equation
add_when_block_branches
create_if_action
create_if_tree
create_transition_fork
create_transition_state
create_when_branch
set_variable_default
set_variable_last
Description
-----------
Provides create functions for Scade operator definitions.
* Interface
* Behavior
..
!! processed by numpydoc !!
Module detail
-------------
.. py:data:: IT
Short name for an ``IfTree`` instance to simplify the declarations.
..
!! processed by numpydoc !!
.. py:data:: TD
Short name for a ``TransitionDestination`` instance to simplify the declarations.
..
!! processed by numpydoc !!
.. py:data:: TR
Short name for a ``TransitionTree`` instance to simplify the declarations.
..
!! processed by numpydoc !!