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

Class BlockInStackFrameSetImpl

java.lang.Object

io.ciera.runtime.summit.types.Set<BlockInStackFrame>

io.ciera.runtime.summit.classes.InstanceSet<BlockInStackFrameSet,BlockInStackFrame>

io.ciera.tool.sql.ooaofooa.instance.impl.BlockInStackFrameSetImpl

All Implemented Interfaces:

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

public class BlockInStackFrameSetImpl
extends io.ciera.runtime.summit.classes.InstanceSet<BlockInStackFrameSet,BlockInStackFrame>
implements BlockInStackFrameSet

Constructor Summary

Constructors

Constructor	Description
BlockInStackFrameSetImpl()
BlockInStackFrameSetImpl(Comparator<? super BlockInStackFrame> comp)

Method Summary

Modifier and Type	Method	Description
List<BlockInStackFrame>	elements()
BlockInStackFrameSet	emptySet()
BlockInStackFrameSet	emptySet(Comparator<? super BlockInStackFrame> comp)
BlockInStackFrame	nullElement()
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 class io.ciera.runtime.summit.classes.InstanceSet

add, getById1, getById2, getById3, getByInstanceId, remove

Methods inherited from class io.ciera.runtime.summit.types.Set

addAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, sorted, sorted, toArray, toArray, union, union, where

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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, intersection, intersection, 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

Constructor Details

BlockInStackFrameSetImpl

public BlockInStackFrameSetImpl()

BlockInStackFrameSetImpl

public BlockInStackFrameSetImpl(Comparator<? super BlockInStackFrame> comp)

Method Details

setStatement_ID

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

Specified by:

setStatement_ID in interface BlockInStackFrameSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setIsExecuting

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

Specified by:

setIsExecuting in interface BlockInStackFrameSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStack_Frame_ID

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

Specified by:

setStack_Frame_ID in interface BlockInStackFrameSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setBlock_ID

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

Specified by:

setBlock_ID in interface BlockInStackFrameSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2923_is_executed_within_the_context_of_StackFrame

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

Specified by:

R2923_is_executed_within_the_context_of_StackFrame in interface BlockInStackFrameSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2923_supplies_context_for_Block

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

Specified by:

R2923_supplies_context_for_Block in interface BlockInStackFrameSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2941_is_currently_visiting_ACT_SMT

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

Specified by:

R2941_is_currently_visiting_ACT_SMT in interface BlockInStackFrameSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

nullElement

public BlockInStackFrame nullElement()

Specified by:

nullElement in interface io.ciera.runtime.summit.types.ISet<BlockInStackFrame>

emptySet

public BlockInStackFrameSet emptySet()

Specified by:

emptySet in interface io.ciera.runtime.summit.types.ISet<BlockInStackFrame>

emptySet

public BlockInStackFrameSet emptySet(Comparator<? super BlockInStackFrame> comp)

Specified by:

emptySet in interface io.ciera.runtime.summit.types.ISet<BlockInStackFrame>

elements

public List<BlockInStackFrame> elements()

Specified by:

elements in interface io.ciera.runtime.summit.types.ISet<BlockInStackFrame>