Class ForStmtSetImpl

    • Constructor Detail

      • ForStmtSetImpl

        public ForStmtSetImpl()
    • 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 ForStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setLoop_Var_ID

        public void setLoop_Var_ID​(io.ciera.runtime.summit.types.UniqueId ref_Loop_Var_ID)
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setLoop_Var_ID in interface ForStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSet_Var_ID

        public void setSet_Var_ID​(io.ciera.runtime.summit.types.UniqueId ref_Set_Var_ID)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setSet_Var_ID in interface ForStmtSet
        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 ForStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setIs_implicit

        public void setIs_implicit​(boolean m_is_implicit)
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setIs_implicit in interface ForStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setObj_ID

        public void setObj_ID​(io.ciera.runtime.summit.types.UniqueId ref_Obj_ID)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setObj_ID in interface ForStmtSet
        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 ForStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R605_controls_Block

        public BlockSet R605_controls_Block()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R605_controls_Block in interface ForStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R614_loop_V_VAR

        public V_VARSet R614_loop_V_VAR()
                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R614_loop_V_VAR in interface ForStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R652_set_V_VAR

        public V_VARSet R652_set_V_VAR()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R652_set_V_VAR in interface ForStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R670_iterates_a_set_of_ModelClass

        public ModelClassSet R670_iterates_a_set_of_ModelClass()
                                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R670_iterates_a_set_of_ModelClass in interface ForStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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