io.ciera.tool.sql.ooaofooa.instance.StackFrameSet Maven / Gradle / Ivy

Go to download
package io.ciera.tool.sql.ooaofooa.instance;


import io.ciera.runtime.summit.classes.IInstanceSet;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrameSet;
import io.ciera.tool.sql.ooaofooa.instance.I_INSSet;
import io.ciera.tool.sql.ooaofooa.instance.IntercomponentQueueEntrySet;
import io.ciera.tool.sql.ooaofooa.instance.StackFrameSet;
import io.ciera.tool.sql.ooaofooa.instance.StackSet;
import io.ciera.tool.sql.ooaofooa.instance.ValueInStackFrameSet;


public interface StackFrameSet extends IInstanceSet {

    // attributes
    public void setChild_Stack_Frame_ID( UniqueId ref_Child_Stack_Frame_ID ) throws XtumlException;
    public void setStack_ID( UniqueId ref_Stack_ID ) throws XtumlException;
    public void setBlocking_Stack_Frame_ID( UniqueId ref_Blocking_Stack_Frame_ID ) throws XtumlException;
    public void setStack_Frame_ID( UniqueId m_Stack_Frame_ID ) throws XtumlException;
    public void setReadyForInterrupt( boolean m_readyForInterrupt ) throws XtumlException;
    public void setCreated_For_Wired_Bridge( boolean m_Created_For_Wired_Bridge ) throws XtumlException;
    public void setInst_ID( UniqueId ref_Inst_ID ) throws XtumlException;
    public void setBridge_Caller_Stack_Frame_ID( UniqueId m_Bridge_Caller_Stack_Frame_ID ) throws XtumlException;
    public void setValue_Q_Stack_ID( UniqueId ref_Value_Q_Stack_ID ) throws XtumlException;
    public void setTop_Stack_Frame_Stack_ID( UniqueId ref_Top_Stack_Frame_Stack_ID ) throws XtumlException;


    // selections
    public BlockInStackFrameSet R2923_supplies_context_for_BlockInStackFrame() throws XtumlException;
    public StackFrameSet R2928_next_context_StackFrame() throws XtumlException;
    public StackFrameSet R2928_previous_context_StackFrame() throws XtumlException;
    public StackSet R2929_is_processed_by_Stack() throws XtumlException;
    public StackSet R2943_processed_by_Stack() throws XtumlException;
    public ValueInStackFrameSet R2951_ValueInStackFrame() throws XtumlException;
    public I_INSSet R2954_has_context_I_INS() throws XtumlException;
    public StackFrameSet R2965_blocked_by_StackFrame() throws XtumlException;
    public StackFrameSet R2965_blocks_StackFrame() throws XtumlException;
    public IntercomponentQueueEntrySet R2966_is_enqueued_with_IntercomponentQueueEntry() throws XtumlException;
    public StackSet R2967_holds_return_value_for_Stack() throws XtumlException;


}