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 Description voidSql. relate_R2923_BlockInStackFrame_is_executed_within_the_context_of_StackFrame(BlockInStackFrame form, StackFrame part)voidSql. relate_R2923_BlockInStackFrame_supplies_context_for_Block(BlockInStackFrame form, Block part)voidSql. relate_R2941_BlockInStackFrame_is_currently_visiting_ACT_SMT(BlockInStackFrame form, ACT_SMT part)voidSqlSqlLoader. serialize_BlockInStackFrame(BlockInStackFrame blockinstackframe_inst, PrintStream out)voidSql. unrelate_R2923_BlockInStackFrame_is_executed_within_the_context_of_StackFrame(BlockInStackFrame form, StackFrame part)voidSql. unrelate_R2923_BlockInStackFrame_supplies_context_for_Block(BlockInStackFrame form, Block part)voidSql. 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 Description default voidBlock. addR2923_is_executed_within_the_context_of_BlockInStackFrame(BlockInStackFrame inst)default voidACT_SMT. addR2941_is_visited_within_scope_of_BlockInStackFrame(BlockInStackFrame inst)default voidBlock. removeR2923_is_executed_within_the_context_of_BlockInStackFrame(BlockInStackFrame inst)default voidACT_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 Description voidBlockImpl. addR2923_is_executed_within_the_context_of_BlockInStackFrame(BlockInStackFrame inst)voidACT_SMTImpl. addR2941_is_visited_within_scope_of_BlockInStackFrame(BlockInStackFrame inst)voidBlockImpl. removeR2923_is_executed_within_the_context_of_BlockInStackFrame(BlockInStackFrame inst)voidACT_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 Description default voidStackFrame. addR2923_supplies_context_for_BlockInStackFrame(BlockInStackFrame inst)default voidStackFrame. 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 Description classBlockInStackFrameImplFields in io.ciera.tool.sql.ooaofooa.instance.impl declared as BlockInStackFrame Modifier and Type Field Description static BlockInStackFrameBlockInStackFrameImpl. EMPTY_BLOCKINSTACKFRAMEMethods in io.ciera.tool.sql.ooaofooa.instance.impl that return BlockInStackFrame Modifier and Type Method Description static BlockInStackFrameBlockInStackFrameImpl. create(Sql context)static BlockInStackFrameBlockInStackFrameImpl. 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)BlockInStackFrameBlockInStackFrameSetImpl. nullElement()BlockInStackFrameBlockInStackFrameImpl. oneWhere(io.ciera.runtime.summit.types.IWhere<io.ciera.runtime.summit.types.IXtumlType> condition)BlockInStackFrameBlockInStackFrameImpl. self()Methods in io.ciera.tool.sql.ooaofooa.instance.impl that return types with arguments of type BlockInStackFrame Modifier and Type Method Description List<BlockInStackFrame>BlockInStackFrameSetImpl. elements()Methods in io.ciera.tool.sql.ooaofooa.instance.impl with parameters of type BlockInStackFrame Modifier and Type Method Description voidStackFrameImpl. addR2923_supplies_context_for_BlockInStackFrame(BlockInStackFrame inst)voidStackFrameImpl. 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 Description BlockInStackFrameSetBlockInStackFrameSetImpl. emptySet(Comparator<? super BlockInStackFrame> comp)Constructor parameters in io.ciera.tool.sql.ooaofooa.instance.impl with type arguments of type BlockInStackFrame Constructor Description BlockInStackFrameSetImpl(Comparator<? super BlockInStackFrame> comp)
-