Class VariableSetImpl

    • Constructor Detail

      • VariableSetImpl

        public VariableSetImpl()
    • Method Detail

      • setType_package

        public void setType_package​(String ref_type_package)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setType_package in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setParent_name

        public void setParent_name​(String ref_parent_name)
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setParent_name in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setType_name

        public void setType_name​(String ref_type_name)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setType_name in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setParent_package

        public void setParent_package​(String ref_parent_package)
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setParent_package in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setType_reference_name

        public void setType_reference_name​(String ref_type_reference_name)
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setType_reference_name in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setName

        public void setName​(String m_name)
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setName in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStatement_number

        public void setStatement_number​(String ref_statement_number)
                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStatement_number in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBody_name

        public void setBody_name​(String ref_body_name)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setBody_name in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBlock_number

        public void setBlock_number​(String ref_block_number)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setBlock_number in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R457_is_declared_by_Statement

        public StatementSet R457_is_declared_by_Statement()
                                                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R457_is_declared_by_Statement in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R459_is_iterator_for_ForSmt

        public ForSmtSet R459_is_iterator_for_ForSmt()
                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R459_is_iterator_for_ForSmt in interface VariableSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

        public Variable nullElement()
        Specified by:
        nullElement in interface io.ciera.runtime.summit.types.ISet<Variable>
      • emptySet

        public VariableSet emptySet()
        Specified by:
        emptySet in interface io.ciera.runtime.summit.types.ISet<Variable>
      • elements

        public List<Variable> elements()
        Specified by:
        elements in interface io.ciera.runtime.summit.types.ISet<Variable>