Interface ExpressionSet

    • Method Detail

      • setBody_name

        void setBody_name​(String ref_body_name)
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBlock_number

        void setBlock_number​(String ref_block_number)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStatement_number

        void setStatement_number​(String ref_statement_number)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setExpression_number

        void setExpression_number​(String m_expression_number)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setParent_package

        void setParent_package​(String ref_parent_package)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setType_reference_name

        void setType_reference_name​(String ref_type_reference_name)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setParent_name

        void setParent_name​(String ref_parent_name)
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setType_package

        void setType_package​(String ref_type_package)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setType_name

        void setType_name​(String ref_type_name)
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R3900_is_root_for_ArrayElementReference

        ArrayElementReferenceSet R3900_is_root_for_ArrayElementReference()
                                                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R3901_is_index_for_ArrayElementReference

        ArrayElementReferenceSet R3901_is_index_for_ArrayElementReference()
                                                                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R3902_EventCreation

        EventCreationSet R3902_EventCreation()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R3903_EventCreation

        EventCreationSet R3903_EventCreation()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R3907_promoted_by_Promotion

        PromotionSet R3907_promoted_by_Promotion()
                                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R462_is_deleted_by_DeleteSmt

        DeleteSmtSet R462_is_deleted_by_DeleteSmt()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R471_determines_execution_of_blocks_for_IfSmt

        IfSmtSet R471_determines_execution_of_blocks_for_IfSmt()
                                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R472_determines_execution_of_block_for_WhileSmt

        WhileSmtSet R472_determines_execution_of_block_for_WhileSmt()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R473_defines_return_value_for_ReturnSmt

        ReturnSmtSet R473_defines_return_value_for_ReturnSmt()
                                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R476_executed_by_ExpressionAsStatement

        ExpressionAsStatementSet R476_executed_by_ExpressionAsStatement()
                                                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R478_is_iterated_by_ForSmt

        ForSmtSet R478_is_iterated_by_ForSmt()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R479_related_to_participant_by_RelateSmt

        RelateSmtSet R479_related_to_participant_by_RelateSmt()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R480_related_to_formalizer_by_RelateSmt

        RelateSmtSet R480_related_to_formalizer_by_RelateSmt()
                                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R482_unrelated_from_formalizer_by_UnrelateSmt

        UnrelateSmtSet R482_unrelated_from_formalizer_by_UnrelateSmt()
                                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R483_unrelated_from_participant_by_UnrelateSmt

        UnrelateSmtSet R483_unrelated_from_participant_by_UnrelateSmt()
                                                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R486_Generate

        GenerateSet R486_Generate()
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R775_expressed_within_Statement

        StatementSet R775_expressed_within_Statement()
                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_Any

        AnySet R776_is_a_Any()
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_ArrayElementReference

        ArrayElementReferenceSet R776_is_a_ArrayElementReference()
                                                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_ArrayLengthAccess

        ArrayLengthAccessSet R776_is_a_ArrayLengthAccess()
                                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_AttributeAccess

        AttributeAccessSet R776_is_a_AttributeAccess()
                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_BinaryOperation

        BinaryOperationSet R776_is_a_BinaryOperation()
                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_ConstantReference

        ConstantReferenceSet R776_is_a_ConstantReference()
                                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_Creation

        CreationSet R776_is_a_Creation()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_EnumeratorReference

        EnumeratorReferenceSet R776_is_a_EnumeratorReference()
                                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_EventCreation

        EventCreationSet R776_is_a_EventCreation()
                                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_Invocation

        InvocationSet R776_is_a_Invocation()
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_Literal

        LiteralSet R776_is_a_Literal()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_MemberReference

        MemberReferenceSet R776_is_a_MemberReference()
                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_NamedReference

        NamedReferenceSet R776_is_a_NamedReference()
                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_ParameterReference

        ParameterReferenceSet R776_is_a_ParameterReference()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_ParenthesizedExpression

        ParenthesizedExpressionSet R776_is_a_ParenthesizedExpression()
                                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_Promotion

        PromotionSet R776_is_a_Promotion()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_Select

        SelectSet R776_is_a_Select()
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_Selected

        SelectedSet R776_is_a_Selected()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_UnaryOperation

        UnaryOperationSet R776_is_a_UnaryOperation()
                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_VariableReference

        VariableReferenceSet R776_is_a_VariableReference()
                                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R776_is_a_Where

        WhereSet R776_is_a_Where()
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R777_is_single_operand_for_UnaryOperation

        UnaryOperationSet R777_is_single_operand_for_UnaryOperation()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R778_is_right_operand_for_BinaryOperation

        BinaryOperationSet R778_is_right_operand_for_BinaryOperation()
                                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R779_is_left_operand_for_BinaryOperation

        BinaryOperationSet R779_is_left_operand_for_BinaryOperation()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R783_is_basis_for_Any

        AnySet R783_is_basis_for_Any()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R784_is_wrapped_in_parentheses_by_ParenthesizedExpression

        ParenthesizedExpressionSet R784_is_wrapped_in_parentheses_by_ParenthesizedExpression()
                                                                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R785_is_used_as_basis_for_AttributeAccess

        AttributeAccessSet R785_is_used_as_basis_for_AttributeAccess()
                                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R787_is_used_as_basis_for_MemberReference

        MemberReferenceSet R787_is_used_as_basis_for_MemberReference()
                                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R790_filtered_by_Where

        WhereSet R790_filtered_by_Where()
                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R791_is_basis_for_SelectRelated

        SelectRelatedSet R791_is_basis_for_SelectRelated()
                                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R794_defines_value_for_ActualParameter

        ActualParameterSet R794_defines_value_for_ActualParameter()
                                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R795_expresses_value_of_TypeReference

        TypeReferenceSet R795_expresses_value_of_TypeReference()
                                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R796_defines_condtion_for_Where

        WhereSet R796_defines_condtion_for_Where()
                                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R798_is_used_as_basis_for_Invocation

        InvocationSet R798_is_used_as_basis_for_Invocation()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException