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

Packages that use BlockInStackFrameSet

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 BlockInStackFrameSet in io.ciera.tool

Methods in io.ciera.tool that return BlockInStackFrameSet

Modifier and Type	Method	Description
BlockInStackFrameSet	Sql.BlockInStackFrame_instances()

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

Methods in io.ciera.tool.sql.ooaofooa.body that return BlockInStackFrameSet

Modifier and Type	Method	Description
BlockInStackFrameSet	Block.R2923_is_executed_within_the_context_of_BlockInStackFrame()
BlockInStackFrameSet	BlockSet.R2923_is_executed_within_the_context_of_BlockInStackFrame()
BlockInStackFrameSet	ACT_SMT.R2941_is_visited_within_scope_of_BlockInStackFrame()
BlockInStackFrameSet	ACT_SMTSet.R2941_is_visited_within_scope_of_BlockInStackFrame()

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

Methods in io.ciera.tool.sql.ooaofooa.body.impl that return BlockInStackFrameSet

Modifier and Type	Method	Description
BlockInStackFrameSet	BlockImpl.R2923_is_executed_within_the_context_of_BlockInStackFrame()
BlockInStackFrameSet	BlockSetImpl.R2923_is_executed_within_the_context_of_BlockInStackFrame()
BlockInStackFrameSet	ACT_SMTImpl.R2941_is_visited_within_scope_of_BlockInStackFrame()
BlockInStackFrameSet	ACT_SMTSetImpl.R2941_is_visited_within_scope_of_BlockInStackFrame()

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

Methods in io.ciera.tool.sql.ooaofooa.instance that return BlockInStackFrameSet

Modifier and Type	Method	Description
BlockInStackFrameSet	StackFrame.R2923_supplies_context_for_BlockInStackFrame()
BlockInStackFrameSet	StackFrameSet.R2923_supplies_context_for_BlockInStackFrame()

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

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

Modifier and Type	Class	Description
class	BlockInStackFrameSetImpl

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

Modifier and Type	Method	Description
BlockInStackFrameSet	BlockInStackFrameSetImpl.emptySet()
BlockInStackFrameSet	BlockInStackFrameSetImpl.emptySet(Comparator<? super BlockInStackFrame> comp)
BlockInStackFrameSet	StackFrameImpl.R2923_supplies_context_for_BlockInStackFrame()
BlockInStackFrameSet	StackFrameSetImpl.R2923_supplies_context_for_BlockInStackFrame()