Uses of Interface
io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrame

Packages that use BlockInStackFrame

Package	Description
io.ciera.tool
io.ciera.tool.sql.ooaofooa.body
io.ciera.tool.sql.ooaofooa.body.impl
io.ciera.tool.sql.ooaofooa.instance
io.ciera.tool.sql.ooaofooa.instance.impl

Uses of BlockInStackFrame in io.ciera.tool

Methods in io.ciera.tool with parameters of type BlockInStackFrame

Modifier and Type	Method and Description
void	Sql.relate_R2923_BlockInStackFrame_is_executed_within_the_context_of_StackFrame(BlockInStackFrame form, StackFrame part)
void	Sql.relate_R2923_BlockInStackFrame_supplies_context_for_Block(BlockInStackFrame form, Block part)
void	Sql.relate_R2941_BlockInStackFrame_is_currently_visiting_ACT_SMT(BlockInStackFrame form, ACT_SMT part)
void	SqlSqlLoader.serialize_BlockInStackFrame(BlockInStackFrame blockinstackframe_inst, PrintStream out)
void	Sql.unrelate_R2923_BlockInStackFrame_is_executed_within_the_context_of_StackFrame(BlockInStackFrame form, StackFrame part)
void	Sql.unrelate_R2923_BlockInStackFrame_supplies_context_for_Block(BlockInStackFrame form, Block part)
void	Sql.unrelate_R2941_BlockInStackFrame_is_currently_visiting_ACT_SMT(BlockInStackFrame form, ACT_SMT part)

Uses of BlockInStackFrame in io.ciera.tool.sql.ooaofooa.body

Methods in io.ciera.tool.sql.ooaofooa.body with parameters of type BlockInStackFrame

Modifier and Type	Method and Description
default void	Block.addR2923_is_executed_within_the_context_of_BlockInStackFrame(BlockInStackFrame inst)
default void	ACT_SMT.addR2941_is_visited_within_scope_of_BlockInStackFrame(BlockInStackFrame inst)
default void	Block.removeR2923_is_executed_within_the_context_of_BlockInStackFrame(BlockInStackFrame inst)
default void	ACT_SMT.removeR2941_is_visited_within_scope_of_BlockInStackFrame(BlockInStackFrame inst)

Uses of BlockInStackFrame in io.ciera.tool.sql.ooaofooa.body.impl

Methods in io.ciera.tool.sql.ooaofooa.body.impl with parameters of type BlockInStackFrame

Modifier and Type	Method and Description
void	BlockImpl.addR2923_is_executed_within_the_context_of_BlockInStackFrame(BlockInStackFrame inst)
void	ACT_SMTImpl.addR2941_is_visited_within_scope_of_BlockInStackFrame(BlockInStackFrame inst)
void	BlockImpl.removeR2923_is_executed_within_the_context_of_BlockInStackFrame(BlockInStackFrame inst)
void	ACT_SMTImpl.removeR2941_is_visited_within_scope_of_BlockInStackFrame(BlockInStackFrame inst)

Uses of BlockInStackFrame in io.ciera.tool.sql.ooaofooa.instance

Methods in io.ciera.tool.sql.ooaofooa.instance with parameters of type BlockInStackFrame

Modifier and Type	Method and Description
default void	StackFrame.addR2923_supplies_context_for_BlockInStackFrame(BlockInStackFrame inst)
default void	StackFrame.removeR2923_supplies_context_for_BlockInStackFrame(BlockInStackFrame inst)

Uses of BlockInStackFrame in io.ciera.tool.sql.ooaofooa.instance.impl

Classes in io.ciera.tool.sql.ooaofooa.instance.impl that implement BlockInStackFrame

Modifier and Type	Class and Description
class	BlockInStackFrameImpl

Fields in io.ciera.tool.sql.ooaofooa.instance.impl declared as BlockInStackFrame

Modifier and Type	Field and Description
static BlockInStackFrame	BlockInStackFrameImpl.EMPTY_BLOCKINSTACKFRAME

Methods in io.ciera.tool.sql.ooaofooa.instance.impl that return BlockInStackFrame

Modifier and Type	Method and Description
static BlockInStackFrame	BlockInStackFrameImpl.create(Sql context)
static BlockInStackFrame	BlockInStackFrameImpl.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)
BlockInStackFrame	BlockInStackFrameSetImpl.nullElement()
BlockInStackFrame	BlockInStackFrameImpl.oneWhere(io.ciera.runtime.summit.types.IWhere<BlockInStackFrame> condition)
BlockInStackFrame	BlockInStackFrameImpl.self()
BlockInStackFrame	BlockInStackFrameImpl.value()

Methods in io.ciera.tool.sql.ooaofooa.instance.impl that return types with arguments of type BlockInStackFrame

Modifier and Type	Method and Description
List<BlockInStackFrame>	BlockInStackFrameSetImpl.elements()

Methods in io.ciera.tool.sql.ooaofooa.instance.impl with parameters of type BlockInStackFrame

Modifier and Type	Method and Description
void	StackFrameImpl.addR2923_supplies_context_for_BlockInStackFrame(BlockInStackFrame inst)
void	StackFrameImpl.removeR2923_supplies_context_for_BlockInStackFrame(BlockInStackFrame inst)

Method parameters in io.ciera.tool.sql.ooaofooa.instance.impl with type arguments of type BlockInStackFrame

Modifier and Type	Method and Description
BlockInStackFrame	BlockInStackFrameImpl.oneWhere(io.ciera.runtime.summit.types.IWhere<BlockInStackFrame> condition)