concepts.dsl.expression_utils.FlattenExpressionVisitor#

class FlattenExpressionVisitor[source]#

Bases: IdentityExpressionVisitor

Methods

`make_dummy_variable`(variable)
`visit`(expr)	The main entry point of the visitor.
`visit_assign_expression`(expr)
`visit_bool_expression`(expr)
`visit_condition_expression`(expr)
`visit_conditional_assign_expression`(expr)
`visit_conditional_select_expression`(expr)
`visit_constant_expression`(expr)
`visit_deictic_assign_expression`(expr)
`visit_deictic_select_expression`(expr)
`visit_find_all_expression`(expr)
`visit_find_one_expression`(expr)
`visit_function_application_expression`(expr)
`visit_generalized_quantification_expression`(expr)
`visit_list_creation_expression`(expr)
`visit_list_expansion_expression`(expr)
`visit_list_function_application_expression`(expr)
`visit_null_expression`(expr)
`visit_object_compare_expression`(expr)
`visit_object_constant_expression`(expr)
`visit_predicate_equal_expression`(expr)
`visit_quantification_expression`(expr)
`visit_value_compare_expression`(expr)
`visit_variable_expression`(expr)

__init__(ctx, mappings, deep=True)[source]#

Parameters:

ctx (ExpressionDefinitionContext)
mappings (Dict[FunctionApplicationExpression | VariableExpression, Variable | ValueOutputExpression])
deep (bool)

__new__(**kwargs)#

make_dummy_variable(variable)[source]#

Parameters:: variable (Variable)

visit(expr)#

The main entry point of the visitor. It will call the corresponding method for the given expression type.

Parameters:: expr (Expression) – the expression to visit.
Returns:: the result of the visit.
Return type:: Any

visit_assign_expression(expr)[source]#

Parameters:: expr (AssignExpression)
Return type:: AssignExpression

visit_bool_expression(expr)[source]#

Parameters:: expr (BoolExpression)
Return type:: BoolExpression

visit_condition_expression(expr)#

Parameters:: expr (ConditionExpression)
Return type:: Any

visit_conditional_assign_expression(expr)[source]#

Parameters:: expr (ConditionalAssignExpression)
Return type:: ConditionalAssignExpression

visit_conditional_select_expression(expr)[source]#

Parameters:: expr (ConditionalSelectExpression)
Return type:: ConditionalSelectExpression

visit_constant_expression(expr)[source]#

Parameters:: expr (Expression)
Return type:: Expression

visit_deictic_assign_expression(expr)[source]#

Parameters:: expr (DeicticAssignExpression)
Return type:: DeicticAssignExpression

visit_deictic_select_expression(expr)[source]#

Parameters:: expr (DeicticSelectExpression)
Return type:: DeicticSelectExpression

visit_find_all_expression(expr)[source]#

Parameters:: expr (FindAllExpression)
Return type:: FindAllExpression

visit_find_one_expression(expr)[source]#

Parameters:: expr (FindOneExpression)
Return type:: FindOneExpression

visit_function_application_expression(expr)[source]#

Parameters:: expr (FunctionApplicationExpression | ListFunctionApplicationExpression)
Return type:: VariableExpression | ValueOutputExpression

visit_generalized_quantification_expression(expr)#

Parameters:: expr (GeneralizedQuantificationExpression)
Return type:: GeneralizedQuantificationExpression

visit_list_creation_expression(expr)[source]#

Parameters:: expr (ListCreationExpression)
Return type:: ListCreationExpression

visit_list_expansion_expression(expr)[source]#

Parameters:: expr (ListExpansionExpression)
Return type:: ListExpansionExpression

visit_list_function_application_expression(expr)[source]#

Parameters:: expr (ListFunctionApplicationExpression)
Return type:: VariableExpression | ValueOutputExpression

visit_null_expression(expr)#

Parameters:: expr (NullExpression)
Return type:: NullExpression

visit_object_compare_expression(expr)[source]#

Parameters:: expr (ObjectCompareExpression)
Return type:: ObjectCompareExpression

visit_object_constant_expression(expr)[source]#

Parameters:: expr (Expression)
Return type:: Expression

visit_predicate_equal_expression(expr)[source]#

Parameters:: expr (PredicateEqualExpression)
Return type:: PredicateEqualExpression

visit_quantification_expression(expr)[source]#

Parameters:: expr (QuantificationExpression)
Return type:: QuantificationExpression

visit_value_compare_expression(expr)[source]#

Parameters:: expr (ValueCompareExpression)
Return type:: ValueCompareExpression

visit_variable_expression(expr)[source]#

Parameters:: expr (VariableExpression)
Return type:: VariableExpression | ValueOutputExpression