Index

_

__version__ (in module apitools)

A

accumulator_count (in module IteratorOp) ACTIVATE (in module Eck) ACTIVATE_NOINIT (in module Eck) ADA (in module Sfk) AND (in module Eck) ansys.scade.apitools module ansys.scade.apitools.auto_scade_env module ansys.scade.apitools.create module ansys.scade.apitools.create.data_def module ansys.scade.apitools.create.data_def.add_data_def_assertion() built-in function ansys.scade.apitools.create.data_def.add_data_def_equation() built-in function ansys.scade.apitools.create.data_def.add_data_def_if_block() built-in function ansys.scade.apitools.create.data_def.add_data_def_locals() built-in function ansys.scade.apitools.create.data_def.add_data_def_net_diagram() built-in function ansys.scade.apitools.create.data_def.add_data_def_probes() built-in function ansys.scade.apitools.create.data_def.add_data_def_signals() built-in function ansys.scade.apitools.create.data_def.add_data_def_state_machine() built-in function ansys.scade.apitools.create.data_def.add_data_def_text_diagram() built-in function ansys.scade.apitools.create.data_def.add_data_def_when_block() built-in function ansys.scade.apitools.create.data_def.add_diagram_edge() built-in function ansys.scade.apitools.create.data_def.add_diagram_equation_set() built-in function ansys.scade.apitools.create.data_def.add_diagram_missing_edges() built-in function ansys.scade.apitools.create.data_def.add_state_machine_state() built-in function ansys.scade.apitools.create.data_def.add_state_transition() built-in function ansys.scade.apitools.create.data_def.add_transition_equation() built-in function ansys.scade.apitools.create.data_def.add_when_block_branches() built-in function ansys.scade.apitools.create.data_def.AK (built-in class) ansys.scade.apitools.create.data_def.create_if_action() built-in function ansys.scade.apitools.create.data_def.create_if_tree() built-in function ansys.scade.apitools.create.data_def.create_transition_fork() built-in function ansys.scade.apitools.create.data_def.create_transition_state() built-in function ansys.scade.apitools.create.data_def.create_when_branch() built-in function ansys.scade.apitools.create.data_def.DK (built-in class) ansys.scade.apitools.create.data_def.IfTree (built-in class) ansys.scade.apitools.create.data_def.set_variable_default() built-in function ansys.scade.apitools.create.data_def.set_variable_last() built-in function ansys.scade.apitools.create.data_def.SK (built-in class) ansys.scade.apitools.create.data_def.TK (built-in class) ansys.scade.apitools.create.data_def.TransitionDestination (built-in class) ansys.scade.apitools.create.data_def.TransitionTree (built-in class) ansys.scade.apitools.create.data_def.WhenBranch (built-in class) ansys.scade.apitools.create.declaration module ansys.scade.apitools.create.declaration.add_enumeration_values() built-in function ansys.scade.apitools.create.declaration.add_operator_hidden() built-in function ansys.scade.apitools.create.declaration.add_operator_inputs() built-in function ansys.scade.apitools.create.declaration.add_operator_outputs() built-in function ansys.scade.apitools.create.declaration.add_operator_parameters() built-in function ansys.scade.apitools.create.declaration.create_constant() built-in function ansys.scade.apitools.create.declaration.create_enumeration() built-in function ansys.scade.apitools.create.declaration.create_graphical_operator() built-in function ansys.scade.apitools.create.declaration.create_imported_constant() built-in function ansys.scade.apitools.create.declaration.create_imported_operator() built-in function ansys.scade.apitools.create.declaration.create_imported_type() built-in function ansys.scade.apitools.create.declaration.create_named_type() built-in function ansys.scade.apitools.create.declaration.create_package() built-in function ansys.scade.apitools.create.declaration.create_sensor() built-in function ansys.scade.apitools.create.declaration.create_textual_operator() built-in function ansys.scade.apitools.create.declaration.IllegalIOError ansys.scade.apitools.create.declaration.ParamImportedError ansys.scade.apitools.create.declaration.set_specialized_operator() built-in function ansys.scade.apitools.create.declaration.set_type_constraint() built-in function ansys.scade.apitools.create.declaration.VK (built-in class) ansys.scade.apitools.create.expression module ansys.scade.apitools.create.expression.create_activate() built-in function ansys.scade.apitools.create.expression.create_activate_no_init() built-in function ansys.scade.apitools.create.expression.create_binary() built-in function ansys.scade.apitools.create.expression.create_call() built-in function ansys.scade.apitools.create.expression.create_case() built-in function ansys.scade.apitools.create.expression.create_change_ith() built-in function ansys.scade.apitools.create.expression.create_concat() built-in function ansys.scade.apitools.create.expression.create_data_array() built-in function ansys.scade.apitools.create.expression.create_data_struct() built-in function ansys.scade.apitools.create.expression.create_fby() built-in function ansys.scade.apitools.create.expression.create_flatten() built-in function ansys.scade.apitools.create.expression.create_fold() built-in function ansys.scade.apitools.create.expression.create_foldi() built-in function ansys.scade.apitools.create.expression.create_foldw() built-in function ansys.scade.apitools.create.expression.create_foldwi() built-in function ansys.scade.apitools.create.expression.create_higher_order_call() built-in function ansys.scade.apitools.create.expression.create_if() built-in function ansys.scade.apitools.create.expression.create_init() built-in function ansys.scade.apitools.create.expression.create_make() built-in function ansys.scade.apitools.create.expression.create_map() built-in function ansys.scade.apitools.create.expression.create_mapfold() built-in function ansys.scade.apitools.create.expression.create_mapfoldi() built-in function ansys.scade.apitools.create.expression.create_mapfoldw() built-in function ansys.scade.apitools.create.expression.create_mapfoldwi() built-in function ansys.scade.apitools.create.expression.create_mapi() built-in function ansys.scade.apitools.create.expression.create_mapw() built-in function ansys.scade.apitools.create.expression.create_mapwi() built-in function ansys.scade.apitools.create.expression.create_nary() built-in function ansys.scade.apitools.create.expression.create_pre() built-in function ansys.scade.apitools.create.expression.create_prj() built-in function

ansys.scade.apitools.create.expression.create_prj_dyn() built-in function ansys.scade.apitools.create.expression.create_restart() built-in function ansys.scade.apitools.create.expression.create_reverse() built-in function ansys.scade.apitools.create.expression.create_scalar_to_vector() built-in function ansys.scade.apitools.create.expression.create_slice() built-in function ansys.scade.apitools.create.expression.create_times() built-in function ansys.scade.apitools.create.expression.create_transpose() built-in function ansys.scade.apitools.create.expression.create_unary() built-in function ansys.scade.apitools.create.expression.EmptyTreeError ansys.scade.apitools.create.expression.ExpressionTree (built-in class) ansys.scade.apitools.create.expression.ExprSyntaxError ansys.scade.apitools.create.expression.TypeIdentifierError ansys.scade.apitools.create.project module ansys.scade.apitools.create.project.create_configuration() built-in function ansys.scade.apitools.create.project.create_file_ref() built-in function ansys.scade.apitools.create.project.create_folder() built-in function ansys.scade.apitools.create.project.create_prop() built-in function ansys.scade.apitools.create.project.save_project() built-in function ansys.scade.apitools.create.scade module ansys.scade.apitools.create.scade.add_element_to_project() built-in function ansys.scade.apitools.create.scade.add_imported_to_project() built-in function ansys.scade.apitools.create.scade.add_simulation_file_to_project() built-in function ansys.scade.apitools.create.scade.save_all() built-in function ansys.scade.apitools.create.scade.Sfk (built-in class) ansys.scade.apitools.create.type module ansys.scade.apitools.create.type.create_sized() built-in function ansys.scade.apitools.create.type.create_structure() built-in function ansys.scade.apitools.create.type.create_table() built-in function ansys.scade.apitools.create.type.TypeTree (built-in class) ansys.scade.apitools.expr module ansys.scade.apitools.expr.access module ansys.scade.apitools.expr.access.accessor() built-in function ansys.scade.apitools.expr.access.ActivateNoInitOp (built-in class) ansys.scade.apitools.expr.access.ActivateOp (built-in class) ansys.scade.apitools.expr.access.ArrayOp (built-in class) ansys.scade.apitools.expr.access.AryOp (built-in class) ansys.scade.apitools.expr.access.BinaryOp (built-in class) ansys.scade.apitools.expr.access.CallExpression (built-in class) ansys.scade.apitools.expr.access.CaseOp (built-in class) ansys.scade.apitools.expr.access.ChgIthOp (built-in class) ansys.scade.apitools.expr.access.CondactOp (built-in class) ansys.scade.apitools.expr.access.ConditionalOp (built-in class) ansys.scade.apitools.expr.access.ConstValue (built-in class) ansys.scade.apitools.expr.access.DataArrayOp (built-in class) ansys.scade.apitools.expr.access.DataStructOp (built-in class) ansys.scade.apitools.expr.access.Expression (built-in class) ansys.scade.apitools.expr.access.FbyOp (built-in class) ansys.scade.apitools.expr.access.FlattenOp (built-in class) ansys.scade.apitools.expr.access.FlowOp (built-in class) ansys.scade.apitools.expr.access.IdExpression (built-in class) ansys.scade.apitools.expr.access.IfThenElseOp (built-in class) ansys.scade.apitools.expr.access.InitOp (built-in class) ansys.scade.apitools.expr.access.IteratorOp (built-in class) ansys.scade.apitools.expr.access.Label (built-in class) ansys.scade.apitools.expr.access.LabelledExpression (built-in class) ansys.scade.apitools.expr.access.Last (built-in class) ansys.scade.apitools.expr.access.ListExpression (built-in class) ansys.scade.apitools.expr.access.MakeOp (built-in class) ansys.scade.apitools.expr.access.NAryOp (built-in class) ansys.scade.apitools.expr.access.NumericCastOp (built-in class) ansys.scade.apitools.expr.access.OpCall (built-in class) ansys.scade.apitools.expr.access.OpOp (built-in class) ansys.scade.apitools.expr.access.PartialIteratorOp (built-in class) ansys.scade.apitools.expr.access.PreOp (built-in class) ansys.scade.apitools.expr.access.Present (built-in class) ansys.scade.apitools.expr.access.PrjDynOp (built-in class) ansys.scade.apitools.expr.access.PrjOp (built-in class) ansys.scade.apitools.expr.access.ProjectionOp (built-in class) ansys.scade.apitools.expr.access.RestartOp (built-in class) ansys.scade.apitools.expr.access.ScalarToVectorOp (built-in class) ansys.scade.apitools.expr.access.SharpOp (built-in class) ansys.scade.apitools.expr.access.SliceOp (built-in class) ansys.scade.apitools.expr.access.TextExpression (built-in class) ansys.scade.apitools.expr.access.TransposeOp (built-in class) ansys.scade.apitools.expr.access.UnaryOp (built-in class) ansys.scade.apitools.expr.predef module ansys.scade.apitools.expr.predef.Eck (built-in class) ansys.scade.apitools.info module ansys.scade.apitools.info.install module ansys.scade.apitools.info.install.get_scade_home() built-in function ansys.scade.apitools.info.install.get_scade_properties() built-in function ansys.scade.apitools.info.install.get_scade_version() built-in function ansys.scade.apitools.info.runtime module ansys.scade.apitools.info.runtime.ide_print() built-in function ansys.scade.apitools.prop module ansys.scade.apitools.prop.pragma module ansys.scade.apitools.prop.pragma.find_pragma() built-in function ansys.scade.apitools.prop.pragma.find_pragma_tool() built-in function ansys.scade.apitools.prop.pragma.get_pragma_json() built-in function ansys.scade.apitools.prop.pragma.get_pragma_text() built-in function ansys.scade.apitools.prop.pragma.get_pragma_tool_text() built-in function ansys.scade.apitools.prop.pragma.remove_pragma() built-in function ansys.scade.apitools.prop.pragma.remove_pragma_tool() built-in function ansys.scade.apitools.prop.pragma.set_pragma_json() built-in function ansys.scade.apitools.prop.pragma.set_pragma_text() built-in function ansys.scade.apitools.prop.pragma.set_pragma_tool_text() built-in function ansys.scade.apitools.query module ansys.scade.apitools.query.type module ansys.scade.apitools.query.type.get_cell_type() built-in function ansys.scade.apitools.query.type.get_leaf_alias() built-in function ansys.scade.apitools.query.type.get_leaf_type() built-in function ansys.scade.apitools.query.type.get_type_name() built-in function ansys.scade.apitools.query.type.is_array() built-in function ansys.scade.apitools.query.type.is_enum() built-in function ansys.scade.apitools.query.type.is_imported() built-in function ansys.scade.apitools.query.type.is_predefined() built-in function ansys.scade.apitools.query.type.is_scalar() built-in function ansys.scade.apitools.query.type.is_structure() built-in function array (in module ArrayOp) ASSUME (in module AK)

B

BINARY_OPS (in module access) BLD_STRUCT (in module Eck) BLD_VECTOR (in module Eck) built-in function ansys.scade.apitools.create.data_def.add_data_def_assertion() ansys.scade.apitools.create.data_def.add_data_def_equation() ansys.scade.apitools.create.data_def.add_data_def_if_block() ansys.scade.apitools.create.data_def.add_data_def_locals() ansys.scade.apitools.create.data_def.add_data_def_net_diagram() ansys.scade.apitools.create.data_def.add_data_def_probes() ansys.scade.apitools.create.data_def.add_data_def_signals() ansys.scade.apitools.create.data_def.add_data_def_state_machine() ansys.scade.apitools.create.data_def.add_data_def_text_diagram() ansys.scade.apitools.create.data_def.add_data_def_when_block() ansys.scade.apitools.create.data_def.add_diagram_edge() ansys.scade.apitools.create.data_def.add_diagram_equation_set() ansys.scade.apitools.create.data_def.add_diagram_missing_edges() ansys.scade.apitools.create.data_def.add_state_machine_state() ansys.scade.apitools.create.data_def.add_state_transition() ansys.scade.apitools.create.data_def.add_transition_equation() ansys.scade.apitools.create.data_def.add_when_block_branches() ansys.scade.apitools.create.data_def.create_if_action() ansys.scade.apitools.create.data_def.create_if_tree() ansys.scade.apitools.create.data_def.create_transition_fork() ansys.scade.apitools.create.data_def.create_transition_state() ansys.scade.apitools.create.data_def.create_when_branch() ansys.scade.apitools.create.data_def.set_variable_default() ansys.scade.apitools.create.data_def.set_variable_last() ansys.scade.apitools.create.declaration.add_enumeration_values() ansys.scade.apitools.create.declaration.add_operator_hidden() ansys.scade.apitools.create.declaration.add_operator_inputs() ansys.scade.apitools.create.declaration.add_operator_outputs() ansys.scade.apitools.create.declaration.add_operator_parameters() ansys.scade.apitools.create.declaration.create_constant() ansys.scade.apitools.create.declaration.create_enumeration() ansys.scade.apitools.create.declaration.create_graphical_operator() ansys.scade.apitools.create.declaration.create_imported_constant() ansys.scade.apitools.create.declaration.create_imported_operator() ansys.scade.apitools.create.declaration.create_imported_type() ansys.scade.apitools.create.declaration.create_named_type() ansys.scade.apitools.create.declaration.create_package() ansys.scade.apitools.create.declaration.create_sensor() ansys.scade.apitools.create.declaration.create_textual_operator() ansys.scade.apitools.create.declaration.set_specialized_operator() ansys.scade.apitools.create.declaration.set_type_constraint() ansys.scade.apitools.create.expression.create_activate() ansys.scade.apitools.create.expression.create_activate_no_init() ansys.scade.apitools.create.expression.create_binary() ansys.scade.apitools.create.expression.create_call() ansys.scade.apitools.create.expression.create_case() ansys.scade.apitools.create.expression.create_change_ith() ansys.scade.apitools.create.expression.create_concat() ansys.scade.apitools.create.expression.create_data_array() ansys.scade.apitools.create.expression.create_data_struct() ansys.scade.apitools.create.expression.create_fby() ansys.scade.apitools.create.expression.create_flatten() ansys.scade.apitools.create.expression.create_fold() ansys.scade.apitools.create.expression.create_foldi() ansys.scade.apitools.create.expression.create_foldw() ansys.scade.apitools.create.expression.create_foldwi() ansys.scade.apitools.create.expression.create_higher_order_call() ansys.scade.apitools.create.expression.create_if() ansys.scade.apitools.create.expression.create_init() ansys.scade.apitools.create.expression.create_make() ansys.scade.apitools.create.expression.create_map() ansys.scade.apitools.create.expression.create_mapfold() ansys.scade.apitools.create.expression.create_mapfoldi() ansys.scade.apitools.create.expression.create_mapfoldw() ansys.scade.apitools.create.expression.create_mapfoldwi() ansys.scade.apitools.create.expression.create_mapi() ansys.scade.apitools.create.expression.create_mapw() ansys.scade.apitools.create.expression.create_mapwi() ansys.scade.apitools.create.expression.create_nary() ansys.scade.apitools.create.expression.create_pre() ansys.scade.apitools.create.expression.create_prj() ansys.scade.apitools.create.expression.create_prj_dyn() ansys.scade.apitools.create.expression.create_restart() ansys.scade.apitools.create.expression.create_reverse() ansys.scade.apitools.create.expression.create_scalar_to_vector() ansys.scade.apitools.create.expression.create_slice() ansys.scade.apitools.create.expression.create_times() ansys.scade.apitools.create.expression.create_transpose() ansys.scade.apitools.create.expression.create_unary() ansys.scade.apitools.create.project.create_configuration() ansys.scade.apitools.create.project.create_file_ref() ansys.scade.apitools.create.project.create_folder() ansys.scade.apitools.create.project.create_prop() ansys.scade.apitools.create.project.save_project() ansys.scade.apitools.create.scade.add_element_to_project() ansys.scade.apitools.create.scade.add_imported_to_project() ansys.scade.apitools.create.scade.add_simulation_file_to_project() ansys.scade.apitools.create.scade.save_all() ansys.scade.apitools.create.type.create_sized() ansys.scade.apitools.create.type.create_structure() ansys.scade.apitools.create.type.create_table() ansys.scade.apitools.expr.access.accessor() ansys.scade.apitools.info.install.get_scade_home() ansys.scade.apitools.info.install.get_scade_properties() ansys.scade.apitools.info.install.get_scade_version() ansys.scade.apitools.info.runtime.ide_print() ansys.scade.apitools.prop.pragma.find_pragma() ansys.scade.apitools.prop.pragma.find_pragma_tool() ansys.scade.apitools.prop.pragma.get_pragma_json() ansys.scade.apitools.prop.pragma.get_pragma_text() ansys.scade.apitools.prop.pragma.get_pragma_tool_text() ansys.scade.apitools.prop.pragma.remove_pragma() ansys.scade.apitools.prop.pragma.remove_pragma_tool() ansys.scade.apitools.prop.pragma.set_pragma_json() ansys.scade.apitools.prop.pragma.set_pragma_text() ansys.scade.apitools.prop.pragma.set_pragma_tool_text() ansys.scade.apitools.query.type.get_cell_type() ansys.scade.apitools.query.type.get_leaf_alias() ansys.scade.apitools.query.type.get_leaf_type() ansys.scade.apitools.query.type.get_type_name() ansys.scade.apitools.query.type.is_array() ansys.scade.apitools.query.type.is_enum() ansys.scade.apitools.query.type.is_imported() ansys.scade.apitools.query.type.is_predefined() ansys.scade.apitools.query.type.is_scalar() ansys.scade.apitools.query.type.is_structure()

C

C (in module Sfk) call_parameters (in module OpCall) CASE (in module Eck) cases (in module CaseOp)

CHANGE_ITH (in module Eck) CLOCKED_ACTIVATE (in module Eck) CLOCKED_NOT (in module Eck) code (in module CallExpression) CONCAT (in module Eck)

D

data (in module DataArrayOp) (in module DataStructOp) declare_project (in module auto_scade_env) default (in module CaseOp) (in module PrjDynOp)

defaults (in module CondactOp) (in module PartialIteratorOp) delay (in module FbyOp) dimensions (in module TransposeOp) display (in module WhenBranch) DIV (in module Eck)

E

else_ (in module IfThenElseOp) EQUAL (in module Eck) ET (in module expression)

every (in module ConditionalOp) EX (in module expression) expression (in module Expression)

F

FBY (in module Eck) FINAL (in module SK) FLATTEN (in module Eck) flow (in module FlattenOp) (in module FlowOp) (in module LabelledExpression) flows (in module FbyOp) (in module InitOp) (in module MakeOp) (in module PreOp) (in module ScalarToVectorOp) (in module SharpOp)

FOLD (in module Eck) FOLDI (in module Eck) FOLDW (in module Eck) FOLDWI (in module Eck) FOLLOW (in module Eck) from_index (in module SliceOp)

G

GEQUAL (in module Eck) GRAPHICAL (in module DK)

GREAT (in module Eck) GUARANTEE (in module AK)

I

ide (in module runtime) IF (in module Eck) if_ (in module IfThenElseOp) (in module PartialIteratorOp) indexes (in module PrjDynOp) INITIAL (in module SK)

inits (in module FbyOp) (in module InitOp) instance_parameters (in module OpCall) INT2REAL (in module Eck) IT (in module data_def) items (in module ListExpression)

L

label (in module ExpressionTree) (in module LabelledExpression) label_position (in module TransitionTree) label_size (in module TransitionTree) label_width (in module WhenBranch) LAND (in module Eck) LEQUAL (in module Eck)

LESS (in module Eck) LNOT (in module Eck) LOR (in module Eck) LSL (in module Eck) LSR (in module Eck) LX (in module expression) LXOR (in module Eck)

M

MACRO (in module Sfk) MAKE (in module Eck) MAP (in module Eck) MAP_HIGHER_ORDER (in module access) MAP_OPERATORS (in module access) map_operators (in module access) MAPFOLD (in module Eck) MAPFOLDI (in module Eck) MAPFOLDW (in module Eck) MAPFOLDWI (in module Eck) MAPI (in module Eck) MAPW (in module Eck) MAPWI (in module Eck) MATCH (in module Eck) MERGE (in module Eck) MOD (in module Eck) module ansys.scade.apitools ansys.scade.apitools.auto_scade_env ansys.scade.apitools.create ansys.scade.apitools.create.data_def ansys.scade.apitools.create.declaration ansys.scade.apitools.create.expression ansys.scade.apitools.create.project ansys.scade.apitools.create.scade ansys.scade.apitools.create.type ansys.scade.apitools.expr ansys.scade.apitools.expr.access ansys.scade.apitools.expr.predef ansys.scade.apitools.info ansys.scade.apitools.info.install ansys.scade.apitools.info.runtime ansys.scade.apitools.prop ansys.scade.apitools.prop.pragma ansys.scade.apitools.query ansys.scade.apitools.query.type

MUL (in module Eck)

N

name (in module CallExpression) (in module IfTree) (in module Label) NARY_OPS (in module access) NEG (in module Eck)

NEQUAL (in module Eck) NONE (in module Eck) NORMAL (in module SK) NOT (in module Eck) NUMERIC_CAST (in module Eck)

O

OBJECT (in module Sfk) operand (in module UnaryOp) operands (in module NAryOp)

operator (in module OpCall) (in module OpOp) OR (in module Eck)

P

path (in module IdExpression) pattern (in module WhenBranch) PLUS (in module Eck) points (in module TransitionTree) polyline (in module TransitionTree) POS (in module Eck) position (in module IfTree) (in module WhenBranch)

PRE (in module Eck) print (in module runtime) priority (in module TransitionTree) PRIVATE (in module VK) PRJ (in module Eck) PRJ_DYN (in module Eck) PUBLIC (in module VK)

R

REAL2INT (in module Eck)

RESTART (in module Eck) REVERSE (in module Eck)

S

SCALAR_TO_VECTOR (in module Eck) SEQ_EXPR (in module Eck) SHARP (in module Eck) signal (in module Present) size (in module IteratorOp) (in module ScalarToVectorOp) (in module WhenBranch)

SLASH (in module Eck) slash_position (in module TransitionTree) SLICE (in module Eck) SPLIT (in module DK) STRONG (in module TK) SUB (in module Eck) switch (in module CaseOp) SYNCHRO (in module TK)

T

target (in module TransitionTree) TD (in module data_def) text (in module TextExpression) TEXTUAL (in module DK) then (in module IfThenElseOp) TIMES (in module Eck) to_index (in module SliceOp) TR (in module data_def)

TRANSPOSE (in module Eck) trigger (in module TransitionTree) TT (in module type) TX (in module type) TYPE (in module Sfk) type_ (in module FlattenOp) (in module MakeOp) (in module NumericCastOp)

U

UNARY_OPS (in module access)

V

value (in module ChgIthOp) (in module ConstValue)

variable (in module Last)

W

WEAK (in module TK)

WHEN (in module Eck) with_ (in module ProjectionOp)

X

XOR (in module Eck)