Index

_

__add__() (pyfcstm.model.expr.Expr method) __all__ (in module pyfcstm.diagnostics) (in module pyfcstm.dsl.grammar.GrammarListener) (in module pyfcstm.dsl.node) (in module pyfcstm.entry) (in module pyfcstm.highlight) (in module pyfcstm.highlight.pygments_lexer) (in module pyfcstm.model) (in module pyfcstm.model.expr) (in module pyfcstm.model.imports) (in module pyfcstm.model.load) (in module pyfcstm.model.model) (in module pyfcstm.model.plantuml) (in module pyfcstm.template) (in module pyfcstm.utils.fixed) (in module pyfcstm.utils.parse) __and__() (pyfcstm.model.expr.Expr method) __AUTHOR__ (in module pyfcstm.config.meta) __AUTHOR_EMAIL__ (in module pyfcstm.config.meta) __call__() (pyfcstm.model.expr.Expr method) __DESCRIPTION__ (in module pyfcstm.config.meta) __ge__() (pyfcstm.model.expr.Expr method) __gt__() (pyfcstm.model.expr.Expr method) __init__() (pyfcstm.diagnostics.sink.DiagnosticSink method) (pyfcstm.dsl.error.AmbiguityError method) (pyfcstm.dsl.error.CollectingErrorListener method) (pyfcstm.dsl.error.ContextSensitivityError method) (pyfcstm.dsl.error.FullContextAttemptError method) (pyfcstm.dsl.error.GrammarParseError method) (pyfcstm.dsl.error.SyntaxFailError method) (pyfcstm.dsl.error.UnfinishedParsingError method) (pyfcstm.dsl.grammar.GrammarLexer.GrammarLexer method) (pyfcstm.dsl.grammar.GrammarParser.GrammarParser method) (pyfcstm.dsl.listener.GrammarParseListener method) (pyfcstm.entry.base.KeyboardInterrupted method) (pyfcstm.entry.simulate.batch.BatchProcessor method) (pyfcstm.entry.simulate.commands.CommandProcessor method) (pyfcstm.entry.simulate.commands.Settings method) (pyfcstm.entry.simulate.completer.SimulationCompleter method) (pyfcstm.entry.simulate.display.StateDisplay method) (pyfcstm.entry.simulate.logging.SimulateCliFormatter method) (pyfcstm.entry.simulate.logging.SimulateLogHighlighter method) (pyfcstm.entry.simulate.logging.SimulatePlainLogHandler method) (pyfcstm.entry.simulate.logging.SimulateRichLogHandler method) (pyfcstm.entry.simulate.repl.AutoSuggestFromCompleter method) (pyfcstm.entry.simulate.repl.SimulationREPL method) (pyfcstm.render.render.StateMachineCodeRenderer method) (pyfcstm.simulate.runtime.SimulationRuntime method) (pyfcstm.utils.validate.ModelValidationError method) __le__() (pyfcstm.model.expr.Expr method) __lshift__() (pyfcstm.model.expr.Expr method) __lt__() (pyfcstm.model.expr.Expr method) __mod__() (pyfcstm.model.expr.Expr method) __mul__() (pyfcstm.model.expr.Expr method) __neg__() (pyfcstm.model.expr.Expr method) __or__() (pyfcstm.model.expr.Expr method) __pos__() (pyfcstm.model.expr.Expr method) __post_init__() (pyfcstm.dsl.node.BinaryOp method) (pyfcstm.dsl.node.Boolean method) (pyfcstm.dsl.node.ImportStatement method) (pyfcstm.dsl.node.StateDefinition method) (pyfcstm.dsl.node.UnaryOp method) (pyfcstm.model.expr.BinaryOp method) (pyfcstm.model.expr.Boolean method) (pyfcstm.model.expr.UnaryOp method) (pyfcstm.model.model.State method) (pyfcstm.model.plantuml.PlantUMLOptions method)

__pow__() (pyfcstm.model.expr.Expr method) __radd__() (pyfcstm.model.expr.Expr method) __rand__() (pyfcstm.model.expr.Expr method) __repr__() (pyfcstm.solver.solve.SolveResult method) __rlshift__() (pyfcstm.model.expr.Expr method) __rmod__() (pyfcstm.model.expr.Expr method) __rmul__() (pyfcstm.model.expr.Expr method) __ror__() (pyfcstm.model.expr.Expr method) __rpow__() (pyfcstm.model.expr.Expr method) __rrshift__() (pyfcstm.model.expr.Expr method) __rshift__() (pyfcstm.model.expr.Expr method) __rsub__() (pyfcstm.model.expr.Expr method) __rtruediv__() (pyfcstm.model.expr.Expr method) __rxor__() (pyfcstm.model.expr.Expr method) __str__() (pyfcstm.dsl.node.BinaryOp method) (pyfcstm.dsl.node.ChainID method) (pyfcstm.dsl.node.Condition method) (pyfcstm.dsl.node.ConditionalOp method) (pyfcstm.dsl.node.Constant method) (pyfcstm.dsl.node.ConstantDefinition method) (pyfcstm.dsl.node.DefAssignment method) (pyfcstm.dsl.node.DuringAbstractFunction method) (pyfcstm.dsl.node.DuringAspectAbstractFunction method) (pyfcstm.dsl.node.DuringAspectOperations method) (pyfcstm.dsl.node.DuringAspectRefFunction method) (pyfcstm.dsl.node.DuringOperations method) (pyfcstm.dsl.node.DuringRefFunction method) (pyfcstm.dsl.node.EnterAbstractFunction method) (pyfcstm.dsl.node.EnterOperations method) (pyfcstm.dsl.node.EnterRefFunction method) (pyfcstm.dsl.node.EventDefinition method) (pyfcstm.dsl.node.ExitAbstractFunction method) (pyfcstm.dsl.node.ExitOperations method) (pyfcstm.dsl.node.ExitRefFunction method) (pyfcstm.dsl.node.Float method) (pyfcstm.dsl.node.ForceTransitionDefinition method) (pyfcstm.dsl.node.HexInt method) (pyfcstm.dsl.node.ImportDefExactSelector method) (pyfcstm.dsl.node.ImportDefFallbackSelector method) (pyfcstm.dsl.node.ImportDefMapping method) (pyfcstm.dsl.node.ImportDefPatternSelector method) (pyfcstm.dsl.node.ImportDefSetSelector method) (pyfcstm.dsl.node.ImportDefTargetTemplate method) (pyfcstm.dsl.node.ImportEventMapping method) (pyfcstm.dsl.node.ImportStatement method) (pyfcstm.dsl.node.InitialAssignment method) (pyfcstm.dsl.node.Literal method) (pyfcstm.dsl.node.Name method) (pyfcstm.dsl.node.Operation method) (pyfcstm.dsl.node.OperationalDeprecatedAssignment method) (pyfcstm.dsl.node.OperationAssignment method) (pyfcstm.dsl.node.OperationIf method) (pyfcstm.dsl.node.Paren method) (pyfcstm.dsl.node.Preamble method) (pyfcstm.dsl.node.StateDefinition method) (pyfcstm.dsl.node.StateMachineDSLProgram method) (pyfcstm.dsl.node.TransitionDefinition method) (pyfcstm.dsl.node.UFunc method) (pyfcstm.dsl.node.UnaryOp method) (pyfcstm.model.expr.Expr method) __sub__() (pyfcstm.model.expr.Expr method) __TITLE__ (in module pyfcstm.config.meta) __truediv__() (pyfcstm.model.expr.Expr method) __VERSION__ (in module pyfcstm.config.meta) __xor__() (pyfcstm.model.expr.Expr method)

A

abstract_handler() (in module pyfcstm.simulate.decorators) abstract_handler_errors (pyfcstm.simulate.runtime.SimulationRuntime property) abstract_on_during_aspects (pyfcstm.model.model.State property) abstract_on_durings (pyfcstm.model.model.State property) abstract_on_enters (pyfcstm.model.model.State property) abstract_on_exits (pyfcstm.model.model.State property) add_builtins_to_env() (in module pyfcstm.utils.jinja2) add_settings_for_env() (in module pyfcstm.utils.jinja2) aliases (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute)

ALL (in module pyfcstm.dsl.node) AmbiguityError (class in pyfcstm.dsl.error) analyse_text() (pyfcstm.highlight.pygments_lexer.FcstmLexer static method) and_() (pyfcstm.model.expr.Expr method) assemble_state_machine_imports() (in module pyfcstm.model.imports) assign_event_colors() (in module pyfcstm.model.plantuml) AstExportable (class in pyfcstm.model.base) ASTNode (class in pyfcstm.dsl.node) auto_decode() (in module pyfcstm.utils.decode) AutoSuggestFromCompleter (class in pyfcstm.entry.simulate.repl)

B

BatchProcessor (class in pyfcstm.entry.simulate.batch) BinaryOp (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr)

Boolean (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) brief_stack (pyfcstm.simulate.runtime.SimulationRuntime property) build_plantuml_output() (in module pyfcstm.entry.plantuml)

C

ChainID (class in pyfcstm.dsl.node) check_errors() (pyfcstm.dsl.error.CollectingErrorListener method) check_unfinished_parsing_error() (pyfcstm.dsl.error.CollectingErrorListener method) clear_all_abstract_handlers() (pyfcstm.simulate.runtime.SimulationRuntime method) cli (in module pyfcstm.entry.cli), [1] ClickErrorException (class in pyfcstm.entry.base) ClickWarningException (class in pyfcstm.entry.base) CODE_REGISTRY (in module pyfcstm.diagnostics.codes) CodeFieldSpec (class in pyfcstm.diagnostics.codes) CodeSpec (class in pyfcstm.diagnostics.codes) CodesSchemaError (class in pyfcstm.diagnostics.codes) collect (pyfcstm.diagnostics.sink.DiagnosticSink property) collect_event_transitions() (in module pyfcstm.model.plantuml) CollectingErrorListener (class in pyfcstm.dsl.error) command_wrap() (in module pyfcstm.entry.base) CommandProcessor (class in pyfcstm.entry.simulate.commands) CommandResult (class in pyfcstm.entry.simulate.commands) Condition (class in pyfcstm.dsl.node)

ConditionalOp (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) configure_simulate_cli_logger() (in module pyfcstm.entry.simulate.logging) Constant (class in pyfcstm.dsl.node) ConstantDefinition (class in pyfcstm.dsl.node) CONTEXT_SETTINGS (in module pyfcstm.entry.base) ContextSensitivityError (class in pyfcstm.dsl.error) copy_one_file() (pyfcstm.render.render.StateMachineCodeRenderer method) create_cross_platform_output_func() (in module pyfcstm.entry.simulate.batch) create_env() (in module pyfcstm.render.env) create_expr_render_template() (in module pyfcstm.render.expr) create_local_plantuml_backend() (in module pyfcstm.entry.visualize) create_remote_plantuml_backend() (in module pyfcstm.entry.visualize) create_simulate_log_handler() (in module pyfcstm.entry.simulate.logging) create_stmt_render_template() (in module pyfcstm.render.statement) create_z3_vars_from_models() (in module pyfcstm.solver.expr) current_state (pyfcstm.simulate.runtime.SimulationRuntime property) cycle() (pyfcstm.simulate.runtime.SimulationRuntime method)

D

DefAssignment (class in pyfcstm.dsl.node) DetailLevelLiteral (in module pyfcstm.model.plantuml) detect_headless_environment() (in module pyfcstm.entry.visualize) diagnostics (pyfcstm.diagnostics.sink.DiagnosticSink property) DiagnosticSink (class in pyfcstm.diagnostics.sink) DuringAbstractFunction (class in pyfcstm.dsl.node)

DuringAspectAbstractFunction (class in pyfcstm.dsl.node) DuringAspectOperations (class in pyfcstm.dsl.node) DuringAspectRefFunction (class in pyfcstm.dsl.node) DuringAspectStatement (class in pyfcstm.dsl.node) DuringOperations (class in pyfcstm.dsl.node) DuringRefFunction (class in pyfcstm.dsl.node) DuringStatement (class in pyfcstm.dsl.node)

E

emit() (pyfcstm.diagnostics.sink.DiagnosticSink method) EnterAbstractFunction (class in pyfcstm.dsl.node) EnterOperations (class in pyfcstm.dsl.node) EnterRefFunction (class in pyfcstm.dsl.node) EnterStatement (class in pyfcstm.dsl.node) eq() (pyfcstm.model.expr.Expr method) error_info (pyfcstm.simulate.runtime.SimulationRuntime property) escape_plantuml_table_cell() (in module pyfcstm.model.plantuml) Event (class in pyfcstm.model.model) EventDefinition (class in pyfcstm.dsl.node) EventInfo (class in pyfcstm.diagnostics.inspect) execute_commands() (pyfcstm.entry.simulate.batch.BatchProcessor method) execute_operations() (in module pyfcstm.solver.operation) exit_code (pyfcstm.entry.base.KeyboardInterrupted attribute) EXIT_STATE (in module pyfcstm.dsl.node) ExitAbstractFunction (class in pyfcstm.dsl.node) exitBinaryExprCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitBinaryExprFromCondCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitBinaryExprFromNumCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitBinaryExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitBinaryExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitBool_literal() (pyfcstm.dsl.listener.GrammarParseListener method) exitChain_id() (pyfcstm.dsl.listener.GrammarParseListener method) exitCompositeStateDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitCondition() (pyfcstm.dsl.listener.GrammarParseListener method) exitConditionalCStyleCondNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitConditionalCStyleExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitConstant_definition() (pyfcstm.dsl.listener.GrammarParseListener method) exitDef_assignment() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringAbstractFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringAspectAbstractFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringAspectOperations() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringAspectRefFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringOperations() (pyfcstm.dsl.listener.GrammarParseListener method) exitDuringRefFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitEnterAbstractFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitEnterOperations() (pyfcstm.dsl.listener.GrammarParseListener method) exitEnterRefFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitEntryTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitEvent_definition() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitAbstractFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitAllForceTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitForceTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitOperations() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitRefFunc() (pyfcstm.dsl.listener.GrammarParseListener method) exitExitTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitFuncExprInit() (pyfcstm.dsl.listener.GrammarParseListener method)

exitFuncExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitGeneric_expression() (pyfcstm.dsl.listener.GrammarParseListener method) exitIdExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitIf_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitImport_def_mapping() (pyfcstm.dsl.listener.GrammarParseListener method) exitImport_event_mapping() (pyfcstm.dsl.listener.GrammarParseListener method) exitImport_mapping_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitImport_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitImportDefExactSelector() (pyfcstm.dsl.listener.GrammarParseListener method) exitImportDefFallbackSelector() (pyfcstm.dsl.listener.GrammarParseListener method) exitImportDefPatternSelector() (pyfcstm.dsl.listener.GrammarParseListener method) exitImportDefSetSelector() (pyfcstm.dsl.listener.GrammarParseListener method) exitInitial_assignment() (pyfcstm.dsl.listener.GrammarParseListener method) exitLeafStateDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitLiteralExprCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitLiteralExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitLiteralExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitMath_const() (pyfcstm.dsl.listener.GrammarParseListener method) exitMathConstExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitMathConstExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitNormalAllForceTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitNormalForceTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitNormalTransitionDefinition() (pyfcstm.dsl.listener.GrammarParseListener method) exitNum_literal() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperation_assignment() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperation_block() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperation_program() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperational_assignment() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperational_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitOperational_statement_set() (pyfcstm.dsl.listener.GrammarParseListener method) ExitOperations (class in pyfcstm.dsl.node) exitParenExprCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitParenExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitParenExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) exitPreamble_program() (pyfcstm.dsl.listener.GrammarParseListener method) exitPreamble_statement() (pyfcstm.dsl.listener.GrammarParseListener method) ExitRefFunction (class in pyfcstm.dsl.node) exitState_inner_statement() (pyfcstm.dsl.listener.GrammarParseListener method) exitState_machine_dsl() (pyfcstm.dsl.listener.GrammarParseListener method) ExitStatement (class in pyfcstm.dsl.node) exitUnaryExprCond() (pyfcstm.dsl.listener.GrammarParseListener method) exitUnaryExprInit() (pyfcstm.dsl.listener.GrammarParseListener method) exitUnaryExprNum() (pyfcstm.dsl.listener.GrammarParseListener method) Expr (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) expr_to_z3() (in module pyfcstm.solver.expr) extract_template() (in module pyfcstm.template)

F

FcstmLexer (class in pyfcstm.highlight.pygments_lexer) filenames (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute) finalize_or_raise() (pyfcstm.diagnostics.sink.DiagnosticSink method) Float (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) fn_expr_render() (in module pyfcstm.render.expr) fn_stmt_render() (in module pyfcstm.render.statement) fn_stmts_render() (in module pyfcstm.render.statement) ForceTransitionDefinition (class in pyfcstm.dsl.node) ForLlmSpec (class in pyfcstm.diagnostics.codes) format_action_text() (in module pyfcstm.model.plantuml)

format_current_state() (pyfcstm.entry.simulate.display.StateDisplay method) format_event_name() (in module pyfcstm.model.plantuml) format_events() (pyfcstm.entry.simulate.display.StateDisplay method) format_line() (pyfcstm.utils.validate.ModelDiagnostic method) format_multiline_comment() (in module pyfcstm.utils.doc) format_state_name() (in module pyfcstm.model.plantuml) format_table() (pyfcstm.entry.simulate.display.StateDisplay method) from_json() (pyfcstm.utils.json.IJsonOp class method) from_value() (pyfcstm.model.plantuml.PlantUMLOptions class method) FullContextAttemptError (class in pyfcstm.dsl.error) func_name (pyfcstm.model.model.OnAspect property) (pyfcstm.model.model.OnStage property)

G

get() (pyfcstm.entry.simulate.commands.Settings method) get_abstract_handlers() (pyfcstm.simulate.runtime.SimulationRuntime method) get_completions() (pyfcstm.entry.simulate.completer.SimulationCompleter method) get_full_state_path() (pyfcstm.simulate.context.ReadOnlyExecutionContext method) get_handler_metadata() (in module pyfcstm.simulate.decorators) get_logger() (in module pyfcstm.utils.logging) get_state_name() (pyfcstm.simulate.context.ReadOnlyExecutionContext method) get_suggestion() (pyfcstm.entry.simulate.repl.AutoSuggestFromCompleter method)

get_template_info() (in module pyfcstm.template) get_var() (pyfcstm.simulate.context.ReadOnlyExecutionContext method) get_visualize_cache_dir() (in module pyfcstm.entry.visualize) GrammarItemError (class in pyfcstm.dsl.error) GrammarLexer (class in pyfcstm.dsl.grammar.GrammarLexer) GrammarParseError (class in pyfcstm.dsl.error) GrammarParseListener (class in pyfcstm.dsl.listener) GrammarParser (class in pyfcstm.dsl.grammar.GrammarParser) GrammarParserListener (class in pyfcstm.dsl.grammar.GrammarParserListener)

H

has_abstract_handlers() (pyfcstm.simulate.runtime.SimulationRuntime method) has_errors() (pyfcstm.diagnostics.sink.DiagnosticSink method) has_template() (in module pyfcstm.template)

has_var() (pyfcstm.simulate.context.ReadOnlyExecutionContext method) HexInt (class in pyfcstm.dsl.node) highlight() (pyfcstm.entry.simulate.logging.SimulateLogHighlighter method)

I

Identifier (class in pyfcstm.dsl.node) IdentifierKeywordLanguage (in module pyfcstm.utils.text) if_then_else() (pyfcstm.model.expr.Expr method) IfBlock (class in pyfcstm.model.model) IfBlockBranch (class in pyfcstm.model.model) IJsonOp (class in pyfcstm.utils.json) ImportDefExactSelector (class in pyfcstm.dsl.node) ImportDefFallbackSelector (class in pyfcstm.dsl.node) ImportDefMapping (class in pyfcstm.dsl.node) ImportDefPatternSelector (class in pyfcstm.dsl.node) ImportDefSelector (class in pyfcstm.dsl.node) ImportDefSetSelector (class in pyfcstm.dsl.node) ImportDefTargetTemplate (class in pyfcstm.dsl.node) ImportEventMapping (class in pyfcstm.dsl.node) ImportMappingStatement (class in pyfcstm.dsl.node) ImportStatement (class in pyfcstm.dsl.node) INIT_STATE (in module pyfcstm.dsl.node) init_transitions (pyfcstm.model.model.State property) InitialAssignment (class in pyfcstm.dsl.node) inspect_model() (in module pyfcstm.diagnostics.inspect) Int16 (class in pyfcstm.utils.fixed)

Int32 (class in pyfcstm.utils.fixed) Int64 (class in pyfcstm.utils.fixed) Int8 (class in pyfcstm.utils.fixed) Integer (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) is_abstract_handler() (in module pyfcstm.simulate.decorators) is_aspect (pyfcstm.model.model.OnAspect property) (pyfcstm.model.model.OnStage property) is_binary_file() (in module pyfcstm.utils.binary) is_ended (pyfcstm.simulate.runtime.SimulationRuntime property) is_error() (pyfcstm.utils.validate.ModelDiagnostic method) is_error_state (pyfcstm.simulate.runtime.SimulationRuntime property) is_leaf_state (pyfcstm.model.model.State property) is_ref (pyfcstm.model.model.OnAspect property) (pyfcstm.model.model.OnStage property) is_root_state (pyfcstm.model.model.State property) is_state_resolve_event_path() (in module pyfcstm.simulate.utils) is_stoppable (pyfcstm.model.model.State property) iter_on_during_after_aspect_recursively() (pyfcstm.model.model.State method) iter_on_during_aspect_recursively() (pyfcstm.model.model.State method) iter_on_during_before_aspect_recursively() (pyfcstm.model.model.State method) IValidatable (class in pyfcstm.utils.validate)

J

json (pyfcstm.utils.json.IJsonOp property)

K

KeyboardInterrupted (class in pyfcstm.entry.base)

L

list_all() (pyfcstm.entry.simulate.commands.Settings method) list_on_during_aspect_recursively() (pyfcstm.model.model.State method) list_on_during_aspects() (pyfcstm.model.model.State method) list_on_durings() (pyfcstm.model.model.State method) list_on_enters() (pyfcstm.model.model.State method) list_on_exits() (pyfcstm.model.model.State method) list_templates() (in module pyfcstm.template)

list_variables() (pyfcstm.model.expr.Expr method) Literal (class in pyfcstm.dsl.node) load_codes() (in module pyfcstm.diagnostics.codes) load_plantumlcli_classes() (in module pyfcstm.entry.visualize) load_state_machine_from_file() (in module pyfcstm.model.load) load_state_machine_from_text() (in module pyfcstm.model.load) log() (pyfcstm.entry.simulate.display.StateDisplay method) LogLevel (class in pyfcstm.entry.simulate.commands)

M

mimetypes (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute) ModelDiagnostic (class in pyfcstm.utils.validate) ModelInspect (class in pyfcstm.diagnostics.inspect) ModelLookupError (class in pyfcstm.utils.validate) ModelMetrics (class in pyfcstm.diagnostics.inspect) ModelValidationError (class in pyfcstm.utils.validate) ModelValueError (class in pyfcstm.utils.validate) module pyfcstm pyfcstm.config pyfcstm.config.meta pyfcstm.diagnostics pyfcstm.diagnostics.codes pyfcstm.diagnostics.inspect pyfcstm.diagnostics.sink pyfcstm.dsl pyfcstm.dsl.error pyfcstm.dsl.grammar pyfcstm.dsl.grammar.GrammarLexer pyfcstm.dsl.grammar.GrammarListener pyfcstm.dsl.grammar.GrammarParser pyfcstm.dsl.grammar.GrammarParserListener pyfcstm.dsl.listener pyfcstm.dsl.node pyfcstm.dsl.parse pyfcstm.entry pyfcstm.entry.base pyfcstm.entry.cli pyfcstm.entry.dispatch pyfcstm.entry.generate pyfcstm.entry.plantuml pyfcstm.entry.simulate pyfcstm.entry.simulate.batch pyfcstm.entry.simulate.commands pyfcstm.entry.simulate.completer pyfcstm.entry.simulate.display pyfcstm.entry.simulate.logging pyfcstm.entry.simulate.repl pyfcstm.entry.visualize pyfcstm.highlight pyfcstm.highlight.pygments_lexer pyfcstm.model pyfcstm.model.base pyfcstm.model.expr pyfcstm.model.imports pyfcstm.model.load pyfcstm.model.model pyfcstm.model.plantuml pyfcstm.render pyfcstm.render.env pyfcstm.render.expr pyfcstm.render.func pyfcstm.render.render pyfcstm.render.statement pyfcstm.simulate pyfcstm.simulate.context pyfcstm.simulate.decorators pyfcstm.simulate.runtime pyfcstm.simulate.utils pyfcstm.solver pyfcstm.solver.expr pyfcstm.solver.operation pyfcstm.solver.solve pyfcstm.template pyfcstm.utils pyfcstm.utils.binary pyfcstm.utils.decode pyfcstm.utils.doc pyfcstm.utils.fixed pyfcstm.utils.jinja2 pyfcstm.utils.json pyfcstm.utils.logging pyfcstm.utils.parse pyfcstm.utils.safe pyfcstm.utils.text pyfcstm.utils.validate

N

Name (class in pyfcstm.dsl.node) name (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute) name_ast_node() (pyfcstm.model.model.VarDefine method) ne() (pyfcstm.model.expr.Expr method) non_abstract_on_during_aspects (pyfcstm.model.model.State property)

non_abstract_on_durings (pyfcstm.model.model.State property) non_abstract_on_enters (pyfcstm.model.model.State property) non_abstract_on_exits (pyfcstm.model.model.State property) normalize() (in module pyfcstm.utils.text) not_() (pyfcstm.model.expr.Expr method)

O

OnAspect (class in pyfcstm.model.model) OnStage (class in pyfcstm.model.model) Op (class in pyfcstm.model.expr) op_mark (pyfcstm.model.expr.BinaryOp property) (pyfcstm.model.expr.ConditionalOp property) (pyfcstm.model.expr.Op property) (pyfcstm.model.expr.UnaryOp property) open_diagram_with_default_app() (in module pyfcstm.entry.visualize)

Operation (class in pyfcstm.dsl.node) (class in pyfcstm.model.model) OperationalDeprecatedAssignment (class in pyfcstm.dsl.node) OperationalStatement (class in pyfcstm.dsl.node) OperationAssignment (class in pyfcstm.dsl.node) OperationIf (class in pyfcstm.dsl.node) OperationIfBranch (class in pyfcstm.dsl.node) OperationStatement (class in pyfcstm.model.model) or_() (pyfcstm.model.expr.Expr method)

P

P (in module pyfcstm.entry.base) Paren (class in pyfcstm.dsl.node) parent (pyfcstm.model.model.OnAspect property), [1] (pyfcstm.model.model.OnStage property), [1] (pyfcstm.model.model.State property), [1] (pyfcstm.model.model.Transition property), [1] parse_condition() (in module pyfcstm.dsl.parse) parse_dsl_node_to_state_machine() (in module pyfcstm.model.model) parse_expr() (in module pyfcstm.model.expr) parse_expr_from_string() (in module pyfcstm.model.expr) parse_expr_node_to_expr() (in module pyfcstm.model.expr) parse_key_value_pairs() (in module pyfcstm.utils.parse) parse_operation() (in module pyfcstm.dsl.parse) parse_operations() (in module pyfcstm.solver.operation) parse_preamble() (in module pyfcstm.dsl.parse) parse_state_machine_dsl() (in module pyfcstm.dsl.parse) parse_value() (in module pyfcstm.utils.parse) parse_with_grammar_entry() (in module pyfcstm.dsl.parse) path (pyfcstm.model.model.Event property) path_name (pyfcstm.model.model.Event property) PLANTUML_OPTION_TYPES (in module pyfcstm.entry.plantuml) PlantUMLExportable (class in pyfcstm.model.base) PlantUMLOptions (class in pyfcstm.model.plantuml) PlantUMLOptionsInput (in module pyfcstm.model.plantuml) Preamble (class in pyfcstm.dsl.node) print_exception() (in module pyfcstm.entry.base) print_version() (in module pyfcstm.entry.dispatch) process() (pyfcstm.entry.simulate.commands.CommandProcessor method) process_item_to_object() (in module pyfcstm.render.func) pyfcstm module pyfcstm.config module pyfcstm.config.meta module pyfcstm.diagnostics module pyfcstm.diagnostics.codes module pyfcstm.diagnostics.inspect module pyfcstm.diagnostics.sink module pyfcstm.dsl module pyfcstm.dsl.error module pyfcstm.dsl.grammar module pyfcstm.dsl.grammar.GrammarLexer module pyfcstm.dsl.grammar.GrammarListener module pyfcstm.dsl.grammar.GrammarParser module pyfcstm.dsl.grammar.GrammarParserListener module pyfcstm.dsl.listener module pyfcstm.dsl.node module pyfcstm.dsl.parse module pyfcstm.entry module pyfcstm.entry.base module pyfcstm.entry.cli module pyfcstm.entry.dispatch module pyfcstm.entry.generate module pyfcstm.entry.plantuml module pyfcstm.entry.simulate module pyfcstm.entry.simulate.batch module pyfcstm.entry.simulate.commands module pyfcstm.entry.simulate.completer module

pyfcstm.entry.simulate.display module pyfcstm.entry.simulate.logging module pyfcstm.entry.simulate.repl module pyfcstm.entry.visualize module pyfcstm.highlight module pyfcstm.highlight.pygments_lexer module pyfcstm.model module pyfcstm.model.base module pyfcstm.model.expr module pyfcstm.model.imports module pyfcstm.model.load module pyfcstm.model.model module pyfcstm.model.plantuml module pyfcstm.render module pyfcstm.render.env module pyfcstm.render.expr module pyfcstm.render.func module pyfcstm.render.render module pyfcstm.render.statement module pyfcstm.simulate module pyfcstm.simulate.context module pyfcstm.simulate.decorators module pyfcstm.simulate.runtime module pyfcstm.simulate.utils module pyfcstm.solver module pyfcstm.solver.expr module pyfcstm.solver.operation module pyfcstm.solver.solve module pyfcstm.template module pyfcstm.utils module pyfcstm.utils.binary module pyfcstm.utils.decode module pyfcstm.utils.doc module pyfcstm.utils.fixed module pyfcstm.utils.jinja2 module pyfcstm.utils.json module pyfcstm.utils.logging module pyfcstm.utils.parse module pyfcstm.utils.safe module pyfcstm.utils.text module pyfcstm.utils.validate module pyfcstmcli() (in module pyfcstm.entry.dispatch)

R

R (in module pyfcstm.entry.base) read_json() (pyfcstm.utils.json.IJsonOp class method) read_yaml() (pyfcstm.utils.json.IJsonOp class method) ReadOnlyExecutionContext (class in pyfcstm.simulate.context) register_abstract_handler() (pyfcstm.simulate.runtime.SimulationRuntime method) register_handlers_from_object() (pyfcstm.simulate.runtime.SimulationRuntime method) render() (pyfcstm.render.render.StateMachineCodeRenderer method) render_expr_node() (in module pyfcstm.render.expr) render_one_file() (pyfcstm.render.render.StateMachineCodeRenderer method) render_plantuml_diagram() (in module pyfcstm.entry.visualize) render_stmt_node() (in module pyfcstm.render.statement)

render_stmt_nodes() (in module pyfcstm.render.statement) reportAmbiguity() (pyfcstm.dsl.error.CollectingErrorListener method) reportAttemptingFullContext() (pyfcstm.dsl.error.CollectingErrorListener method) reportContextSensitivity() (pyfcstm.dsl.error.CollectingErrorListener method) required_fields() (pyfcstm.diagnostics.codes.CodeSpec method) resolve_event() (pyfcstm.model.model.State method) (pyfcstm.model.model.StateMachine method) resolve_renderer_backend() (in module pyfcstm.entry.visualize) resolve_visualize_output_path() (in module pyfcstm.entry.visualize) run() (pyfcstm.entry.simulate.repl.SimulationREPL method) run_plantumlcli_builtin_check() (in module pyfcstm.entry.visualize)

S

select() (pyfcstm.model.expr.Expr method) sequence_safe() (in module pyfcstm.utils.safe) serializedATN() (in module pyfcstm.dsl.grammar.GrammarLexer) (in module pyfcstm.dsl.grammar.GrammarParser) set() (pyfcstm.entry.simulate.commands.Settings method) Settings (class in pyfcstm.entry.simulate.commands) should_show_action() (in module pyfcstm.model.plantuml) show() (pyfcstm.entry.base.ClickErrorException method) (pyfcstm.entry.base.ClickWarningException method) SimulateCliFormatter (class in pyfcstm.entry.simulate.logging) SimulateLogHighlighter (class in pyfcstm.entry.simulate.logging) SimulatePlainLogHandler (class in pyfcstm.entry.simulate.logging) SimulateRichLogHandler (class in pyfcstm.entry.simulate.logging) SimulationCompleter (class in pyfcstm.entry.simulate.completer) SimulationREPL (class in pyfcstm.entry.simulate.repl)

SimulationRuntime (class in pyfcstm.simulate.runtime) SimulationRuntimeDfsError (class in pyfcstm.simulate.runtime) solve() (in module pyfcstm.solver.solve) SolveResult (class in pyfcstm.solver.solve) Span (class in pyfcstm.utils.validate) State (class in pyfcstm.model.model) StateDefinition (class in pyfcstm.dsl.node) StateDisplay (class in pyfcstm.entry.simulate.display) StateInfo (class in pyfcstm.diagnostics.inspect) StateMachine (class in pyfcstm.model.model) StateMachineCodeRenderer (class in pyfcstm.render.render) StateMachineDSLProgram (class in pyfcstm.dsl.node) Statement (class in pyfcstm.dsl.node) syntaxError() (pyfcstm.dsl.error.CollectingErrorListener method) SyntaxFailError (class in pyfcstm.dsl.error)

T

T (in module pyfcstm.utils.json) to_ast_node() (pyfcstm.model.base.AstExportable method) (pyfcstm.model.expr.BinaryOp method) (pyfcstm.model.expr.Boolean method) (pyfcstm.model.expr.ConditionalOp method) (pyfcstm.model.expr.Expr method) (pyfcstm.model.expr.Float method) (pyfcstm.model.expr.Integer method) (pyfcstm.model.expr.UFunc method) (pyfcstm.model.expr.UnaryOp method) (pyfcstm.model.expr.Variable method) (pyfcstm.model.model.Event method) (pyfcstm.model.model.IfBlock method) (pyfcstm.model.model.IfBlockBranch method) (pyfcstm.model.model.OnAspect method) (pyfcstm.model.model.OnStage method) (pyfcstm.model.model.Operation method) (pyfcstm.model.model.State method) (pyfcstm.model.model.StateMachine method) (pyfcstm.model.model.Transition method) (pyfcstm.model.model.VarDefine method) to_c_identifier() (in module pyfcstm.utils.text) to_config() (pyfcstm.model.plantuml.PlantUMLOptions method) to_cpp_identifier() (in module pyfcstm.utils.text)

to_go_identifier() (in module pyfcstm.utils.text) to_identifier() (in module pyfcstm.utils.text) to_java_identifier() (in module pyfcstm.utils.text) to_js_identifier() (in module pyfcstm.utils.text) to_json() (pyfcstm.diagnostics.inspect.ModelInspect method) (pyfcstm.utils.json.IJsonOp method) to_plantuml() (pyfcstm.model.base.PlantUMLExportable method) (pyfcstm.model.model.State method) (pyfcstm.model.model.StateMachine method) to_python_identifier() (in module pyfcstm.utils.text) to_ruby_identifier() (in module pyfcstm.utils.text) to_rust_identifier() (in module pyfcstm.utils.text) to_transition_ast_node() (pyfcstm.model.model.State method) to_ts_identifier() (in module pyfcstm.utils.text) to_yaml() (pyfcstm.utils.json.IJsonOp method) tokens (pyfcstm.highlight.pygments_lexer.FcstmLexer attribute) Transition (class in pyfcstm.model.model) transition_to_ast_node() (pyfcstm.model.model.State class method) TransitionDefinition (class in pyfcstm.dsl.node) TransitionInfo (class in pyfcstm.diagnostics.inspect) transitions_entering_children (pyfcstm.model.model.State property) transitions_entering_children_simplified (pyfcstm.model.model.State property) transitions_from (pyfcstm.model.model.State property) transitions_to (pyfcstm.model.model.State property)

U

UFunc (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) UInt16 (class in pyfcstm.utils.fixed) UInt32 (class in pyfcstm.utils.fixed) UInt64 (class in pyfcstm.utils.fixed)

UInt8 (class in pyfcstm.utils.fixed) UnaryOp (class in pyfcstm.dsl.node) (class in pyfcstm.model.expr) UnfinishedParsingError (class in pyfcstm.dsl.error) unregister_abstract_handler() (pyfcstm.simulate.runtime.SimulationRuntime method)

V

validate() (pyfcstm.utils.validate.IValidatable method) ValidationError (class in pyfcstm.utils.validate) value (pyfcstm.dsl.node.Literal property)

var_name_to_ast_node() (pyfcstm.model.model.Operation method) VarDefine (class in pyfcstm.model.model) Variable (class in pyfcstm.model.expr) VariableInfo (class in pyfcstm.diagnostics.inspect)

W

walk_states() (pyfcstm.model.model.State method) (pyfcstm.model.model.StateMachine method)

windows_chinese_encodings (in module pyfcstm.utils.decode)