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

Go to download
Show more of this group Show more artifacts with this name
Show all versions of tool-sql Show documentation
There is a newer version: 2.7.3
package io.ciera.tool.sql.ooaofooa.instance;


import io.ciera.runtime.summit.classes.IModelInstance;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.UniqueId;
import io.ciera.tool.Sql;
import io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrame;
import io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrameSet;
import io.ciera.tool.sql.ooaofooa.instance.I_INS;
import io.ciera.tool.sql.ooaofooa.instance.IntercomponentQueueEntry;
import io.ciera.tool.sql.ooaofooa.instance.Stack;
import io.ciera.tool.sql.ooaofooa.instance.StackFrame;
import io.ciera.tool.sql.ooaofooa.instance.ValueInStackFrame;
import io.ciera.tool.sql.ooaofooa.instance.ValueInStackFrameSet;


public interface StackFrame extends IModelInstance {

    // attributes
    public UniqueId getStack_Frame_ID() throws XtumlException;
    public void setStack_Frame_ID( UniqueId m_Stack_Frame_ID ) throws XtumlException;
    public void setCreated_For_Wired_Bridge( boolean m_Created_For_Wired_Bridge ) throws XtumlException;
    public boolean getCreated_For_Wired_Bridge() throws XtumlException;
    public void setReadyForInterrupt( boolean m_readyForInterrupt ) throws XtumlException;
    public boolean getReadyForInterrupt() throws XtumlException;
    public UniqueId getBridge_Caller_Stack_Frame_ID() throws XtumlException;
    public void setBridge_Caller_Stack_Frame_ID( UniqueId m_Bridge_Caller_Stack_Frame_ID ) throws XtumlException;
    public void setChild_Stack_Frame_ID( UniqueId ref_Child_Stack_Frame_ID ) throws XtumlException;
    public UniqueId getChild_Stack_Frame_ID() throws XtumlException;
    public UniqueId getTop_Stack_Frame_Stack_ID() throws XtumlException;
    public void setTop_Stack_Frame_Stack_ID( UniqueId ref_Top_Stack_Frame_Stack_ID ) throws XtumlException;
    public void setStack_ID( UniqueId ref_Stack_ID ) throws XtumlException;
    public UniqueId getStack_ID() throws XtumlException;
    public UniqueId getInst_ID() throws XtumlException;
    public void setInst_ID( UniqueId ref_Inst_ID ) throws XtumlException;
    public UniqueId getValue_Q_Stack_ID() throws XtumlException;
    public void setValue_Q_Stack_ID( UniqueId ref_Value_Q_Stack_ID ) throws XtumlException;
    public UniqueId getBlocking_Stack_Frame_ID() throws XtumlException;
    public void setBlocking_Stack_Frame_ID( UniqueId ref_Blocking_Stack_Frame_ID ) throws XtumlException;


    // operations


    // selections
    default public void addR2923_supplies_context_for_BlockInStackFrame( BlockInStackFrame inst ) {}
    default public void removeR2923_supplies_context_for_BlockInStackFrame( BlockInStackFrame inst ) {}
    public BlockInStackFrameSet R2923_supplies_context_for_BlockInStackFrame() throws XtumlException;
    default public void setR2928_next_context_StackFrame( StackFrame inst ) {}
    public StackFrame R2928_next_context_StackFrame() throws XtumlException;
    default public void setR2928_previous_context_StackFrame( StackFrame inst ) {}
    public StackFrame R2928_previous_context_StackFrame() throws XtumlException;
    default public void setR2929_is_processed_by_Stack( Stack inst ) {}
    public Stack R2929_is_processed_by_Stack() throws XtumlException;
    default public void setR2943_processed_by_Stack( Stack inst ) {}
    public Stack R2943_processed_by_Stack() throws XtumlException;
    default public void addR2951_ValueInStackFrame( ValueInStackFrame inst ) {}
    default public void removeR2951_ValueInStackFrame( ValueInStackFrame inst ) {}
    public ValueInStackFrameSet R2951_ValueInStackFrame() throws XtumlException;
    default public void setR2954_has_context_I_INS( I_INS inst ) {}
    public I_INS R2954_has_context_I_INS() throws XtumlException;
    default public void setR2965_blocked_by_StackFrame( StackFrame inst ) {}
    public StackFrame R2965_blocked_by_StackFrame() throws XtumlException;
    default public void setR2965_blocks_StackFrame( StackFrame inst ) {}
    public StackFrame R2965_blocks_StackFrame() throws XtumlException;
    default public void setR2966_is_enqueued_with_IntercomponentQueueEntry( IntercomponentQueueEntry inst ) {}
    public IntercomponentQueueEntry R2966_is_enqueued_with_IntercomponentQueueEntry() throws XtumlException;
    default public void setR2967_holds_return_value_for_Stack( Stack inst ) {}
    public Stack R2967_holds_return_value_for_Stack() throws XtumlException;


}