Class StackFrameSetImpl

    • Constructor Detail

      • StackFrameSetImpl

        public StackFrameSetImpl()
    • Method Detail

      • setStack_ID

        public void setStack_ID​(io.ciera.runtime.summit.types.UniqueId ref_Stack_ID)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStack_ID in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBlocking_Stack_Frame_ID

        public void setBlocking_Stack_Frame_ID​(io.ciera.runtime.summit.types.UniqueId ref_Blocking_Stack_Frame_ID)
                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setBlocking_Stack_Frame_ID in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setChild_Stack_Frame_ID

        public void setChild_Stack_Frame_ID​(io.ciera.runtime.summit.types.UniqueId ref_Child_Stack_Frame_ID)
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setChild_Stack_Frame_ID in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStack_Frame_ID

        public void setStack_Frame_ID​(io.ciera.runtime.summit.types.UniqueId m_Stack_Frame_ID)
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStack_Frame_ID in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setReadyForInterrupt

        public void setReadyForInterrupt​(boolean m_readyForInterrupt)
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setReadyForInterrupt in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setInst_ID

        public void setInst_ID​(io.ciera.runtime.summit.types.UniqueId ref_Inst_ID)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setInst_ID in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setTop_Stack_Frame_Stack_ID

        public void setTop_Stack_Frame_Stack_ID​(io.ciera.runtime.summit.types.UniqueId ref_Top_Stack_Frame_Stack_ID)
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setTop_Stack_Frame_Stack_ID in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBridge_Caller_Stack_Frame_ID

        public void setBridge_Caller_Stack_Frame_ID​(io.ciera.runtime.summit.types.UniqueId m_Bridge_Caller_Stack_Frame_ID)
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setBridge_Caller_Stack_Frame_ID in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setValue_Q_Stack_ID

        public void setValue_Q_Stack_ID​(io.ciera.runtime.summit.types.UniqueId ref_Value_Q_Stack_ID)
                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setValue_Q_Stack_ID in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setCreated_For_Wired_Bridge

        public void setCreated_For_Wired_Bridge​(boolean m_Created_For_Wired_Bridge)
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setCreated_For_Wired_Bridge in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2929_is_processed_by_Stack

        public StackSet R2929_is_processed_by_Stack()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R2929_is_processed_by_Stack in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2943_processed_by_Stack

        public StackSet R2943_processed_by_Stack()
                                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R2943_processed_by_Stack in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2954_has_context_I_INS

        public I_INSSet R2954_has_context_I_INS()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R2954_has_context_I_INS in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2965_blocked_by_StackFrame

        public StackFrameSet R2965_blocked_by_StackFrame()
                                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R2965_blocked_by_StackFrame in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2965_blocks_StackFrame

        public StackFrameSet R2965_blocks_StackFrame()
                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R2965_blocks_StackFrame in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2967_holds_return_value_for_Stack

        public StackSet R2967_holds_return_value_for_Stack()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R2967_holds_return_value_for_Stack in interface StackFrameSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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