io.ciera.tool.sql.ooaofooa.instance

Interface BlockInStackFrame

All Superinterfaces:

io.ciera.runtime.summit.application.IActionHome<Sql>, io.ciera.runtime.summit.statemachine.IEventTarget, io.ciera.runtime.summit.application.IInstanceActionHome<BlockInStackFrame,Sql>, io.ciera.runtime.summit.classes.IModelInstance<BlockInStackFrame,Sql>, io.ciera.runtime.summit.types.IXtumlType<BlockInStackFrame>

All Known Implementing Classes:

BlockInStackFrameImpl

public interface BlockInStackFrame
extends io.ciera.runtime.summit.classes.IModelInstance<BlockInStackFrame,Sql>

Method Summary

Modifier and Type	Method and Description
io.ciera.runtime.summit.types.UniqueId	getBlock_ID()
boolean	getIsExecuting()
io.ciera.runtime.summit.types.UniqueId	getStack_Frame_ID()
io.ciera.runtime.summit.types.UniqueId	getStatement_ID()
StackFrame	R2923_is_executed_within_the_context_of_StackFrame()
Block	R2923_supplies_context_for_Block()
ACT_SMT	R2941_is_currently_visiting_ACT_SMT()
void	setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
void	setIsExecuting(boolean m_isExecuting)
default void	setR2923_is_executed_within_the_context_of_StackFrame(StackFrame inst)
default void	setR2923_supplies_context_for_Block(Block inst)
default void	setR2941_is_currently_visiting_ACT_SMT(ACT_SMT inst)
void	setStack_Frame_ID(io.ciera.runtime.summit.types.UniqueId ref_Stack_Frame_ID)
void	setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)

Methods inherited from interface io.ciera.runtime.summit.classes.IModelInstance

checkLiving, compareTo, delete, getId1, getId2, getId3, getInstanceId, getKeyLetters, isEmpty

Methods inherited from interface io.ciera.runtime.summit.application.IInstanceActionHome

self

Methods inherited from interface io.ciera.runtime.summit.application.IActionHome

context, getRunContext, warn

Methods inherited from interface io.ciera.runtime.summit.types.IXtumlType

equality, inequality, oneWhere, serialize, value

Methods inherited from interface io.ciera.runtime.summit.statemachine.IEventTarget

accept, getCurrentState

Method Detail

getBlock_ID

io.ciera.runtime.summit.types.UniqueId getBlock_ID()
                                            throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setBlock_ID

void setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
          throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStack_Frame_ID

void setStack_Frame_ID(io.ciera.runtime.summit.types.UniqueId ref_Stack_Frame_ID)
                throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getStack_Frame_ID

io.ciera.runtime.summit.types.UniqueId getStack_Frame_ID()
                                                  throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getStatement_ID

io.ciera.runtime.summit.types.UniqueId getStatement_ID()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStatement_ID

void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
              throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getIsExecuting

boolean getIsExecuting()
                throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setIsExecuting

void setIsExecuting(boolean m_isExecuting)
             throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setR2923_is_executed_within_the_context_of_StackFrame

default void setR2923_is_executed_within_the_context_of_StackFrame(StackFrame inst)

R2923_is_executed_within_the_context_of_StackFrame

StackFrame R2923_is_executed_within_the_context_of_StackFrame()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setR2923_supplies_context_for_Block

default void setR2923_supplies_context_for_Block(Block inst)

R2923_supplies_context_for_Block

Block R2923_supplies_context_for_Block()
                                throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setR2941_is_currently_visiting_ACT_SMT

default void setR2941_is_currently_visiting_ACT_SMT(ACT_SMT inst)

R2941_is_currently_visiting_ACT_SMT

ACT_SMT R2941_is_currently_visiting_ACT_SMT()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException