Class IfStmtSetImpl

    • Constructor Detail

      • IfStmtSetImpl

        public IfStmtSetImpl()
    • Method Detail

      • 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 IfStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setElse_Statement_ID

        public void setElse_Statement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Else_Statement_ID)
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setElse_Statement_ID in interface IfStmtSet
        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 IfStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setElif_Statement_ID

        public void setElif_Statement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Elif_Statement_ID)
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setElif_Statement_ID in interface IfStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • 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 IfStmtSet
        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 IfStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R607_controls_Block

        public BlockSet R607_controls_Block()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R607_controls_Block in interface IfStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R625_test_result_Value

        public ValueSet R625_test_result_Value()
                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R625_test_result_Value in interface IfStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R682_has_ElseIfStmt

        public ElseIfStmtSet R682_has_ElseIfStmt()
                                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R682_has_ElseIfStmt in interface IfStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R683_has_ElseStmt

        public ElseStmtSet R683_has_ElseStmt()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R683_has_ElseStmt in interface IfStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R692_was_executing_when_halted_ElseStmt

        public ElseStmtSet R692_was_executing_when_halted_ElseStmt()
                                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R692_was_executing_when_halted_ElseStmt in interface IfStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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

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