Uses of Interface
io.ciera.tool.sql.ooaofooa.instance.BlockInStackFrame
Packages that use BlockInStackFrame
Package
Description
-
Uses of BlockInStackFrame in io.ciera.tool
Methods in io.ciera.tool with parameters of type BlockInStackFrameModifier and TypeMethodDescriptionvoidSql.relate_R2923_BlockInStackFrame_is_executed_within_the_context_of_StackFrame(BlockInStackFrame form, StackFrame part) voidvoidSql.relate_R2941_BlockInStackFrame_is_currently_visiting_ACT_SMT(BlockInStackFrame form, ACT_SMT part) voidSqlSqlLoader.serialize_2923(BlockInStackFrame blockinstackframe_inst, PrintStream out) voidSqlSqlLoader.serialize_2941(BlockInStackFrame blockinstackframe_inst, PrintStream out) voidSqlSqlLoader.serialize_BlockInStackFrame(BlockInStackFrame blockinstackframe_inst, PrintStream out) voidSql.unrelate_R2923_BlockInStackFrame_is_executed_within_the_context_of_StackFrame(BlockInStackFrame form, StackFrame part) voidvoidSql.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 BlockInStackFrameModifier and TypeMethodDescriptiondefault voiddefault voiddefault voiddefault void -
Uses of BlockInStackFrame in io.ciera.tool.sql.ooaofooa.body.impl
Methods in io.ciera.tool.sql.ooaofooa.body.impl with parameters of type BlockInStackFrameModifier and TypeMethodDescriptionvoidvoidACT_SMTImpl.addR2941_is_visited_within_scope_of_BlockInStackFrame(BlockInStackFrame inst) voidvoidACT_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 BlockInStackFrameModifier and TypeMethodDescriptiondefault 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 BlockInStackFrameFields in io.ciera.tool.sql.ooaofooa.instance.impl declared as BlockInStackFrameModifier and TypeFieldDescriptionstatic final BlockInStackFrameBlockInStackFrameImpl.EMPTY_BLOCKINSTACKFRAMEMethods in io.ciera.tool.sql.ooaofooa.instance.impl that return BlockInStackFrameModifier and TypeMethodDescriptionstatic BlockInStackFramestatic BlockInStackFrameBlockInStackFrameImpl.create(Sql context, 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) 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) BlockInStackFrameSetImpl.nullElement()BlockInStackFrameImpl.oneWhere(io.ciera.runtime.summit.types.IWhere<io.ciera.runtime.summit.types.IXtumlType> condition) BlockInStackFrameImpl.self()Methods in io.ciera.tool.sql.ooaofooa.instance.impl that return types with arguments of type BlockInStackFrameMethods in io.ciera.tool.sql.ooaofooa.instance.impl with parameters of type BlockInStackFrameModifier and TypeMethodDescriptionvoidStackFrameImpl.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 BlockInStackFrameModifier and TypeMethodDescriptionBlockInStackFrameSetImpl.emptySet(Comparator<? super BlockInStackFrame> comp) Constructor parameters in io.ciera.tool.sql.ooaofooa.instance.impl with type arguments of type BlockInStackFrameModifierConstructorDescriptionBlockInStackFrameSetImpl(Comparator<? super BlockInStackFrame> comp)