io.ciera.tool.sql.ooaofooa.instance.impl

Class BlockInStackFrameImpl

java.lang.Object

io.ciera.runtime.summit.classes.ModelInstance<BlockInStackFrame,Sql>

io.ciera.tool.sql.ooaofooa.instance.impl.BlockInStackFrameImpl

All Implemented Interfaces:

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

public class BlockInStackFrameImpl
extends io.ciera.runtime.summit.classes.ModelInstance<BlockInStackFrame,Sql>
implements BlockInStackFrame

Field Summary

Fields

Modifier and Type	Field and Description
static BlockInStackFrame	EMPTY_BLOCKINSTACKFRAME
static String	KEY_LETTERS

Method Summary

Modifier and Type	Method and Description
Sql	context()
static BlockInStackFrame	create(Sql context)
static BlockInStackFrame	create(Sql context, io.ciera.runtime.summit.types.UniqueId instanceId, io.ciera.runtime.summit.types.UniqueId ref_Block_ID, io.ciera.runtime.summit.types.UniqueId ref_Stack_Frame_ID, io.ciera.runtime.summit.types.UniqueId ref_Statement_ID, boolean m_isExecuting)
io.ciera.runtime.summit.types.UniqueId	getBlock_ID()
io.ciera.runtime.summit.classes.IInstanceIdentifier	getId1()
boolean	getIsExecuting()
String	getKeyLetters()
io.ciera.runtime.summit.application.IRunContext	getRunContext()
io.ciera.runtime.summit.types.UniqueId	getStack_Frame_ID()
io.ciera.runtime.summit.types.UniqueId	getStatement_ID()
BlockInStackFrame	oneWhere(io.ciera.runtime.summit.types.IWhere<BlockInStackFrame> condition)
StackFrame	R2923_is_executed_within_the_context_of_StackFrame()
Block	R2923_supplies_context_for_Block()
ACT_SMT	R2941_is_currently_visiting_ACT_SMT()
BlockInStackFrame	self()
void	setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
void	setIsExecuting(boolean m_isExecuting)
void	setR2923_is_executed_within_the_context_of_StackFrame(StackFrame inst)
void	setR2923_supplies_context_for_Block(Block inst)
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)
BlockInStackFrame	value()

Methods inherited from class io.ciera.runtime.summit.classes.ModelInstance

accept, checkLiving, compareTo, delete, equality, equals, getCurrentState, getId2, getId3, getInstanceId, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

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

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

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

warn

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

equality, inequality, serialize

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

accept, getCurrentState

Field Detail

KEY_LETTERS

public static final String KEY_LETTERS

See Also:

Constant Field Values

EMPTY_BLOCKINSTACKFRAME

public static final BlockInStackFrame EMPTY_BLOCKINSTACKFRAME

Method Detail

create

public static BlockInStackFrame create(Sql context)
                                throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

create

public static BlockInStackFrame create(Sql context,
                                       io.ciera.runtime.summit.types.UniqueId instanceId,
                                       io.ciera.runtime.summit.types.UniqueId ref_Block_ID,
                                       io.ciera.runtime.summit.types.UniqueId ref_Stack_Frame_ID,
                                       io.ciera.runtime.summit.types.UniqueId ref_Statement_ID,
                                       boolean m_isExecuting)
                                throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getBlock_ID

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

Specified by:

getBlock_ID in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setBlock_ID

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

Specified by:

setBlock_ID in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStack_Frame_ID

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

Specified by:

setStack_Frame_ID in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getStack_Frame_ID

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

Specified by:

getStack_Frame_ID in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getStatement_ID

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

Specified by:

getStatement_ID in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStatement_ID

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

Specified by:

setStatement_ID in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getIsExecuting

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

Specified by:

getIsExecuting in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setIsExecuting

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

Specified by:

setIsExecuting in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getId1

public io.ciera.runtime.summit.classes.IInstanceIdentifier getId1()

Specified by:

getId1 in interface io.ciera.runtime.summit.classes.IModelInstance<BlockInStackFrame,Sql>

Overrides:

getId1 in class io.ciera.runtime.summit.classes.ModelInstance<BlockInStackFrame,Sql>

setR2923_is_executed_within_the_context_of_StackFrame

public void setR2923_is_executed_within_the_context_of_StackFrame(StackFrame inst)

Specified by:

setR2923_is_executed_within_the_context_of_StackFrame in interface BlockInStackFrame

R2923_is_executed_within_the_context_of_StackFrame

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

Specified by:

R2923_is_executed_within_the_context_of_StackFrame in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setR2923_supplies_context_for_Block

public void setR2923_supplies_context_for_Block(Block inst)

Specified by:

setR2923_supplies_context_for_Block in interface BlockInStackFrame

R2923_supplies_context_for_Block

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

Specified by:

R2923_supplies_context_for_Block in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setR2941_is_currently_visiting_ACT_SMT

public void setR2941_is_currently_visiting_ACT_SMT(ACT_SMT inst)

Specified by:

setR2941_is_currently_visiting_ACT_SMT in interface BlockInStackFrame

R2941_is_currently_visiting_ACT_SMT

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

Specified by:

R2941_is_currently_visiting_ACT_SMT in interface BlockInStackFrame

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

getRunContext

public io.ciera.runtime.summit.application.IRunContext getRunContext()

Specified by:

getRunContext in interface io.ciera.runtime.summit.application.IActionHome<Sql>

Overrides:

getRunContext in class io.ciera.runtime.summit.classes.ModelInstance<BlockInStackFrame,Sql>

context

public Sql context()

Specified by:

context in interface io.ciera.runtime.summit.application.IActionHome<Sql>

Overrides:

context in class io.ciera.runtime.summit.classes.ModelInstance<BlockInStackFrame,Sql>

getKeyLetters

public String getKeyLetters()

Specified by:

getKeyLetters in interface io.ciera.runtime.summit.classes.IModelInstance<BlockInStackFrame,Sql>

Specified by:

getKeyLetters in interface io.ciera.runtime.summit.statemachine.IEventTarget

value

public BlockInStackFrame value()

Specified by:

value in interface io.ciera.runtime.summit.types.IXtumlType<BlockInStackFrame>

self

public BlockInStackFrame self()

Specified by:

self in interface io.ciera.runtime.summit.application.IInstanceActionHome<BlockInStackFrame,Sql>

oneWhere

public BlockInStackFrame oneWhere(io.ciera.runtime.summit.types.IWhere<BlockInStackFrame> condition)
                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

oneWhere in interface io.ciera.runtime.summit.types.IXtumlType<BlockInStackFrame>

Throws:

io.ciera.runtime.summit.exceptions.XtumlException