Class NullSmtSetImpl

    • Constructor Detail

      • NullSmtSetImpl

        public NullSmtSetImpl()
    • Method Detail

      • setParent_package

        public void setParent_package​(String ref_parent_package)
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setParent_package in interface NullSmtSet
        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 NullSmtSet
        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 NullSmtSet
        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 NullSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setName

        public void setName​(String ref_name)
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setName in interface NullSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_Statement

        public StatementSet R451_is_a_Statement()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R451_is_a_Statement in interface NullSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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