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
- All Known Implementing Classes:
BlockInStackFrameImpl
public interface BlockInStackFrame
extends io.ciera.runtime.summit.classes.IModelInstance<BlockInStackFrame,Sql>
-
Method Summary
Modifier and TypeMethodDescriptionio.ciera.runtime.summit.types.UniqueIdbooleanio.ciera.runtime.summit.types.UniqueIdio.ciera.runtime.summit.types.UniqueIdvoidsetBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID) voidsetIsExecuting(boolean m_isExecuting) default voiddefault voiddefault voidvoidsetStack_Frame_ID(io.ciera.runtime.summit.types.UniqueId ref_Stack_Frame_ID) voidsetStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) Methods inherited from interface io.ciera.runtime.summit.application.IActionHome
context, getRunContext, warnMethods inherited from interface io.ciera.runtime.summit.statemachine.IEventTarget
accept, getCurrentStateMethods inherited from interface io.ciera.runtime.summit.application.IInstanceActionHome
selfMethods inherited from interface io.ciera.runtime.summit.classes.IModelInstance
checkLiving, compareTo, delete, getId1, getId2, getId3, getInstanceId, getKeyLetters, isEmptyMethods inherited from interface io.ciera.runtime.summit.types.IXtumlType
equality, inequality, oneWhere, serialize
-
Method Details
-
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
-
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
-
getStatement_ID
io.ciera.runtime.summit.types.UniqueId getStatement_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
-
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
-
R2923_supplies_context_for_Block
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setR2941_is_currently_visiting_ACT_SMT
-
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
-