concepts.dsl.expression_visitor.IdentityExpressionVisitor#

class IdentityExpressionVisitor[source]#

Bases: ExpressionVisitor

Methods

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__()#
__new__(**kwargs)#
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)[source]#
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:

FunctionApplicationExpression | ListFunctionApplicationExpression

visit_generalized_quantification_expression(expr)[source]#
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:

ListFunctionApplicationExpression

visit_null_expression(expr)[source]#
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