Package io.ciera.tool.sql.ooaofooa.instance

Interface BlockInStackFrameSet

All Superinterfaces:

Collection<BlockInStackFrame>, io.ciera.runtime.summit.classes.IInstanceSet<BlockInStackFrameSet,BlockInStackFrame>, io.ciera.runtime.summit.types.ISet<BlockInStackFrame>, Iterable<BlockInStackFrame>, io.ciera.runtime.summit.types.IXtumlType, Set<BlockInStackFrame>

All Known Implementing Classes:

BlockInStackFrameSetImpl

public interface BlockInStackFrameSet
extends io.ciera.runtime.summit.classes.IInstanceSet<BlockInStackFrameSet,BlockInStackFrame>

Method Summary

Modifier and Type	Method	Description
StackFrameSet	R2923_is_executed_within_the_context_of_StackFrame()
BlockSet	R2923_supplies_context_for_Block()
ACT_SMTSet	R2941_is_currently_visiting_ACT_SMT()
void	setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
void	setIsExecuting(boolean m_isExecuting)
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)

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

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

getById1, getById2, getById3, getByInstanceId

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

any, anyWhere, difference, difference, disunion, disunion, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, where

Methods inherited from interface java.lang.Iterable

forEach

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

equality, inequality, oneWhere, serialize

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArray

Method Detail

setStack_Frame_ID

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

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setIsExecuting

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

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStatement_ID

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

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setBlock_ID

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

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2923_is_executed_within_the_context_of_StackFrame

StackFrameSet R2923_is_executed_within_the_context_of_StackFrame()
                                                          throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2923_supplies_context_for_Block

BlockSet R2923_supplies_context_for_Block()
                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2941_is_currently_visiting_ACT_SMT

ACT_SMTSet R2941_is_currently_visiting_ACT_SMT()
                                        throws io.ciera.runtime.summit.exceptions.XtumlException

Throws:

io.ciera.runtime.summit.exceptions.XtumlException