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 !!