Class WhileStmtSetImpl

    • Constructor Detail

      • WhileStmtSetImpl

        public WhileStmtSetImpl()
    • Method Detail

      • setStatement_ID

        public void setStatement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStatement_ID in interface WhileStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBlock_ID

        public void setBlock_ID​(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setBlock_ID in interface WhileStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setValue_ID

        public void setValue_ID​(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setValue_ID in interface WhileStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_SMT

        public ACT_SMTSet R603_is_a_ACT_SMT()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R603_is_a_ACT_SMT in interface WhileStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R608_controls_Block

        public BlockSet R608_controls_Block()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R608_controls_Block in interface WhileStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R626_continue_result_Value

        public ValueSet R626_continue_result_Value()
                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R626_continue_result_Value in interface WhileStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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