Interface VariableSet

    • Method Detail

      • setParent_name

        void setParent_name​(String ref_parent_name)
                     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_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
      • setBlock_number

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

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

        void setName​(String m_name)
              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
      • setStatement_number

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

        StatementSet R457_is_declared_by_Statement()
                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R458_is_in_scope_for_VariableInScope

        VariableInScopeSet R458_is_in_scope_for_VariableInScope()
                                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R459_is_iterator_for_ForSmt

        ForSmtSet R459_is_iterator_for_ForSmt()
                                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R461_is_typed_by_TypeReference

        TypeReferenceSet R461_is_typed_by_TypeReference()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R485_finalized_by_Finalization

        FinalizationSet R485_finalized_by_Finalization()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R782_referenced_through_VariableReference

        VariableReferenceSet R782_referenced_through_VariableReference()
                                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException