Class StackSetImpl

    • Constructor Detail

      • StackSetImpl

        public StackSetImpl()
    • Method Detail

      • setRunState

        public void setRunState​(RunStateType m_runState)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setRunState in interface StackSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setExecution_Engine_ID

        public void setExecution_Engine_ID​(io.ciera.runtime.summit.types.UniqueId ref_Execution_Engine_ID)
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setExecution_Engine_ID in interface StackSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStack_ID

        public void setStack_ID​(io.ciera.runtime.summit.types.UniqueId m_Stack_ID)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStack_ID in interface StackSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setSuspendReason

        public void setSuspendReason​(String m_suspendReason)
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setSuspendReason in interface StackSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2929_has_a_top_StackFrame

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

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

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

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

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

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

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