Class ForSmtSetImpl

    • Constructor Detail

      • ForSmtSetImpl

        public ForSmtSetImpl()
    • Method Detail

      • setIterator_block_number

        public void setIterator_block_number​(String ref_iterator_block_number)
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setIterator_block_number in interface ForSmtSet
        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 ForSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setIterator_name

        public void setIterator_name​(String ref_iterator_name)
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setIterator_name in interface ForSmtSet
        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 ForSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setIterable_expression_number

        public void setIterable_expression_number​(String ref_iterable_expression_number)
                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setIterable_expression_number in interface ForSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setControl_block_number

        public void setControl_block_number​(String ref_control_block_number)
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setControl_block_number in interface ForSmtSet
        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 ForSmtSet
        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 ForSmtSet
        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 ForSmtSet
        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 ForSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R455_has_control_CodeBlock

        public CodeBlockSet R455_has_control_CodeBlock()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R455_has_control_CodeBlock in interface ForSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R459_declares_as_iterator_Variable

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

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

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

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

        public ForSmtSet emptySet​(Comparator<? super ForSmt> comp)
        Specified by:
        emptySet in interface io.ciera.runtime.summit.types.ISet<ForSmt>
      • elements

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