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

Class ACT_SMTSetImpl

java.lang.Object

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

io.ciera.runtime.summit.classes.InstanceSet<ACT_SMTSet,ACT_SMT>

io.ciera.tool.sql.ooaofooa.body.impl.ACT_SMTSetImpl

All Implemented Interfaces:

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

public class ACT_SMTSetImpl
extends io.ciera.runtime.summit.classes.InstanceSet<ACT_SMTSet,ACT_SMT>
implements ACT_SMTSet

Constructor Summary

Constructors

Constructor	Description
ACT_SMTSetImpl()
ACT_SMTSetImpl(Comparator<? super ACT_SMT> comp)

Method Summary

Modifier and Type	Method	Description
List<ACT_SMT>	elements()
ACT_SMTSet	emptySet()
ACT_SMTSet	emptySet(Comparator<? super ACT_SMT> comp)
ACT_SMT	nullElement()
BlockInStackFrameSet	R2941_is_visited_within_scope_of_BlockInStackFrame()
BlockSet	R602_contains_Block()
ACT_BRKSet	R603_is_a_ACT_BRK()
ACT_CONSet	R603_is_a_ACT_CON()
ACT_FIOSet	R603_is_a_ACT_FIO()
ACT_SELSet	R603_is_a_ACT_SEL()
AssignToMemberSet	R603_is_a_AssignToMember()
BridgeInvocationSet	R603_is_a_BridgeInvocation()
ControlSet	R603_is_a_Control()
CreateSet	R603_is_a_Create()
CreateNoVariableSet	R603_is_a_CreateNoVariable()
DeleteSet	R603_is_a_Delete()
ElseIfStmtSet	R603_is_a_ElseIfStmt()
ElseStmtSet	R603_is_a_ElseStmt()
EventSpecificationStatementSet	R603_is_a_EventSpecificationStatement()
ForStmtSet	R603_is_a_ForStmt()
FunctionInvocationSet	R603_is_a_FunctionInvocation()
GeneratePreexistingEventSet	R603_is_a_GeneratePreexistingEvent()
IfStmtSet	R603_is_a_IfStmt()
InterfaceOperationInvocationSet	R603_is_a_InterfaceOperationInvocation()
OperationInvocationSet	R603_is_a_OperationInvocation()
RelateSet	R603_is_a_Relate()
RelateUsingSet	R603_is_a_RelateUsing()
ReturnStmtSet	R603_is_a_ReturnStmt()
SelectFromInstancesWhereSet	R603_is_a_SelectFromInstancesWhere()
SignalInvocationSet	R603_is_a_SignalInvocation()
UnrelateSet	R603_is_a_Unrelate()
UnrelateUsingSet	R603_is_a_UnrelateUsing()
WhileStmtSet	R603_is_a_WhileStmt()
ACT_SMTSet	R661_precedes_ACT_SMT()
ACT_SMTSet	R661_succeeds_ACT_SMT()
void	setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
void	setLabel(String m_Label)
void	setLineNumber(int m_LineNumber)
void	setPrevious_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Previous_Statement_ID)
void	setStartPosition(int m_StartPosition)
void	setStatement_ID(io.ciera.runtime.summit.types.UniqueId m_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

ACT_SMTSetImpl

public ACT_SMTSetImpl()

ACT_SMTSetImpl

public ACT_SMTSetImpl(Comparator<? super ACT_SMT> comp)

Method Details

setPrevious_Statement_ID

public void setPrevious_Statement_ID(io.ciera.runtime.summit.types.UniqueId ref_Previous_Statement_ID)
                              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setPrevious_Statement_ID in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStatement_ID

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

Specified by:

setStatement_ID in interface ACT_SMTSet

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 ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setLabel

public void setLabel(String m_Label)
              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setLabel in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setLineNumber

public void setLineNumber(int m_LineNumber)
                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setLineNumber in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStartPosition

public void setStartPosition(int m_StartPosition)
                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setStartPosition in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2941_is_visited_within_scope_of_BlockInStackFrame

public BlockInStackFrameSet R2941_is_visited_within_scope_of_BlockInStackFrame()
                                                                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2941_is_visited_within_scope_of_BlockInStackFrame in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R602_contains_Block

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

Specified by:

R602_contains_Block in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_ACT_BRK

public ACT_BRKSet R603_is_a_ACT_BRK()
                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_ACT_BRK in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_ACT_CON

public ACT_CONSet R603_is_a_ACT_CON()
                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_ACT_CON in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_ACT_FIO

public ACT_FIOSet R603_is_a_ACT_FIO()
                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_ACT_FIO in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_ACT_SEL

public ACT_SELSet R603_is_a_ACT_SEL()
                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_ACT_SEL in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_AssignToMember

public AssignToMemberSet R603_is_a_AssignToMember()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_AssignToMember in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_BridgeInvocation

public BridgeInvocationSet R603_is_a_BridgeInvocation()
                                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_BridgeInvocation in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_Control

public ControlSet R603_is_a_Control()
                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_Control in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_Create

public CreateSet R603_is_a_Create()
                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_Create in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_CreateNoVariable

public CreateNoVariableSet R603_is_a_CreateNoVariable()
                                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_CreateNoVariable in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_Delete

public DeleteSet R603_is_a_Delete()
                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_Delete in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_ElseIfStmt

public ElseIfStmtSet R603_is_a_ElseIfStmt()
                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_ElseIfStmt in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_ElseStmt

public ElseStmtSet R603_is_a_ElseStmt()
                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_ElseStmt in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_EventSpecificationStatement

public EventSpecificationStatementSet R603_is_a_EventSpecificationStatement()
                                                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_EventSpecificationStatement in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_ForStmt

public ForStmtSet R603_is_a_ForStmt()
                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_ForStmt in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_FunctionInvocation

public FunctionInvocationSet R603_is_a_FunctionInvocation()
                                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_FunctionInvocation in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_GeneratePreexistingEvent

public GeneratePreexistingEventSet R603_is_a_GeneratePreexistingEvent()
                                                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_GeneratePreexistingEvent in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_IfStmt

public IfStmtSet R603_is_a_IfStmt()
                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_IfStmt in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_InterfaceOperationInvocation

public InterfaceOperationInvocationSet R603_is_a_InterfaceOperationInvocation()
                                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_InterfaceOperationInvocation in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_OperationInvocation

public OperationInvocationSet R603_is_a_OperationInvocation()
                                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_OperationInvocation in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_Relate

public RelateSet R603_is_a_Relate()
                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_Relate in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_RelateUsing

public RelateUsingSet R603_is_a_RelateUsing()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_RelateUsing in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_ReturnStmt

public ReturnStmtSet R603_is_a_ReturnStmt()
                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_ReturnStmt in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_SelectFromInstancesWhere

public SelectFromInstancesWhereSet R603_is_a_SelectFromInstancesWhere()
                                                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_SelectFromInstancesWhere in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_SignalInvocation

public SignalInvocationSet R603_is_a_SignalInvocation()
                                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_SignalInvocation in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_Unrelate

public UnrelateSet R603_is_a_Unrelate()
                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_Unrelate in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_UnrelateUsing

public UnrelateUsingSet R603_is_a_UnrelateUsing()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_UnrelateUsing in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_WhileStmt

public WhileStmtSet R603_is_a_WhileStmt()
                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R603_is_a_WhileStmt in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R661_precedes_ACT_SMT

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

Specified by:

R661_precedes_ACT_SMT in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R661_succeeds_ACT_SMT

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

Specified by:

R661_succeeds_ACT_SMT in interface ACT_SMTSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

nullElement

public ACT_SMT nullElement()

Specified by:

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

emptySet

public ACT_SMTSet emptySet()

Specified by:

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

emptySet

public ACT_SMTSet emptySet(Comparator<? super ACT_SMT> comp)

Specified by:

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

elements

public List<ACT_SMT> elements()

Specified by:

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