pyfcstm.diagnostics.analyzers

Inspect analyzer package map.

This package groups the small, composable analyzers used by pyfcstm.diagnostics.inspect.inspect_model(). Each analyzer owns one well-bounded diagnostic concern and returns structured pyfcstm.utils.validate.ModelDiagnostic objects for the design-health pipeline.

Analyzer modules

Module	Responsibility
pyfcstm.diagnostics.analyzers.combo	Combo-trigger provenance diagnostics.
pyfcstm.diagnostics.analyzers.const_fold	Literal-only constant-folding diagnostics.
pyfcstm.diagnostics.analyzers.numeric	C/C++ deployment-profile numeric diagnostics.
pyfcstm.diagnostics.analyzers.design_health	Aggregates analyzer outputs into the default inspect warning set.
pyfcstm.diagnostics.analyzers.data_flow	Variable read/write and guard-affect data-flow diagnostics.
pyfcstm.diagnostics.analyzers.structural	State and transition topology diagnostics.

Example:

>>> from pyfcstm.diagnostics.analyzers import collect_numeric_warnings
>>> collect_numeric_warnings(None)
[]

• pyfcstm.diagnostics.analyzers.combo
  • collect_combo_warnings
    • collect_combo_warnings()
• pyfcstm.diagnostics.analyzers.const_fold
  • ConstValue
    • ConstValue
  • fold_numeric_expression
    • fold_numeric_expression()
  • fold_condition_expression
    • fold_condition_expression()
  • collect_const_fold_warnings
    • collect_const_fold_warnings()
• pyfcstm.diagnostics.analyzers.data_flow
  • collect_data_flow_warnings
    • collect_data_flow_warnings()
• pyfcstm.diagnostics.analyzers.design_health
  • collect_design_health_warnings
    • collect_design_health_warnings()
• pyfcstm.diagnostics.analyzers.naming
  • collect_naming_warnings
    • collect_naming_warnings()
• pyfcstm.diagnostics.analyzers.numeric
  • collect_numeric_warnings
    • collect_numeric_warnings()
• pyfcstm.diagnostics.analyzers.redundancy
  • collect_redundancy_warnings
    • collect_redundancy_warnings()
• pyfcstm.diagnostics.analyzers.structural
  • collect_structural_warnings
    • collect_structural_warnings()
• pyfcstm.diagnostics.analyzers.thresholds
  • collect_threshold_warnings
    • collect_threshold_warnings()
• pyfcstm.diagnostics.analyzers.transition_info
  • collect_transition_infos
    • collect_transition_infos()
• pyfcstm.diagnostics.analyzers.type_shape
  • collect_type_warnings
    • collect_type_warnings()
• pyfcstm.diagnostics.analyzers.use_def
  • UseDefGraph
    • UseDefGraph
  • build_use_def_graph
    • build_use_def_graph()
  • collect_expr_variables
    • collect_expr_variables()

__all__

pyfcstm.diagnostics.analyzers.__all__ = ['collect_combo_warnings', 'collect_const_fold_warnings', 'collect_design_health_warnings', 'fold_condition_expression', 'fold_numeric_expression', 'collect_naming_warnings', 'collect_numeric_warnings', 'collect_threshold_warnings', 'collect_transition_infos', 'collect_type_warnings', 'UseDefGraph', 'build_use_def_graph', 'collect_expr_variables']

Built-in mutable sequence.

If no argument is given, the constructor creates a new empty list. The argument must be an iterable if specified.