Interface IfStmtSet

    • Method Detail

      • setValue_ID

        void setValue_ID​(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setElse_Statement_ID

        void setElse_Statement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Else_Statement_ID)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBlock_ID

        void setBlock_ID​(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setElif_Statement_ID

        void setElif_Statement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Elif_Statement_ID)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStatement_ID

        void setStatement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_SMT

        ACT_SMTSet R603_is_a_ACT_SMT()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R607_controls_Block

        BlockSet R607_controls_Block()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R625_test_result_Value

        ValueSet R625_test_result_Value()
                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R682_has_ElseIfStmt

        ElseIfStmtSet R682_has_ElseIfStmt()
                                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R683_has_ElseStmt

        ElseStmtSet R683_has_ElseStmt()
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R690_was_executing_when_halted_ElseIfStmt

        ElseIfStmtSet R690_was_executing_when_halted_ElseIfStmt()
                                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R692_was_executing_when_halted_ElseStmt

        ElseStmtSet R692_was_executing_when_halted_ElseStmt()
                                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException