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

Go to download
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.ComponentInstance;
import io.ciera.tool.sql.ooaofooa.instance.IntercomponentQueueEntry;
import io.ciera.tool.sql.ooaofooa.instance.IntercomponentQueueEntrySet;
import io.ciera.tool.sql.ooaofooa.instance.StackFrame;
import io.ciera.tool.sql.ooaofooa.instance.StackFrameSet;

import ooaofooa.datatypes.RunStateType;


public interface Stack extends IModelInstance {

    // attributes
    public UniqueId getStack_ID() throws XtumlException;
    public void setStack_ID( UniqueId m_Stack_ID ) throws XtumlException;
    public void setExecution_Engine_ID( UniqueId ref_Execution_Engine_ID ) throws XtumlException;
    public UniqueId getExecution_Engine_ID() throws XtumlException;
    public RunStateType getRunState() throws XtumlException;
    public void setRunState( RunStateType m_runState ) throws XtumlException;
    public void setSuspendReason( String m_suspendReason ) throws XtumlException;
    public String getSuspendReason() throws XtumlException;


    // operations


    // selections
    default public void setR2929_has_a_top_StackFrame( StackFrame inst ) {}
    public StackFrame R2929_has_a_top_StackFrame() throws XtumlException;
    default public void setR2930_is_controlled_by_ComponentInstance( ComponentInstance inst ) {}
    public ComponentInstance R2930_is_controlled_by_ComponentInstance() throws XtumlException;
    default public void addR2943_executes_StackFrame( StackFrame inst ) {}
    default public void removeR2943_executes_StackFrame( StackFrame inst ) {}
    public StackFrameSet R2943_executes_StackFrame() throws XtumlException;
    default public void addR2966_has_queued_IntercomponentQueueEntry( IntercomponentQueueEntry inst ) {}
    default public void removeR2966_has_queued_IntercomponentQueueEntry( IntercomponentQueueEntry inst ) {}
    public IntercomponentQueueEntrySet R2966_has_queued_IntercomponentQueueEntry() throws XtumlException;
    default public void addR2967_has_return_values_on_StackFrame( StackFrame inst ) {}
    default public void removeR2967_has_return_values_on_StackFrame( StackFrame inst ) {}
    public StackFrameSet R2967_has_return_values_on_StackFrame() throws XtumlException;


}