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

Class SignalInvocationSetImpl

java.lang.Object

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

io.ciera.runtime.summit.classes.InstanceSet<SignalInvocationSet,SignalInvocation>

io.ciera.tool.sql.ooaofooa.invocation.impl.SignalInvocationSetImpl

All Implemented Interfaces:

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

public class SignalInvocationSetImpl
extends io.ciera.runtime.summit.classes.InstanceSet<SignalInvocationSet,SignalInvocation>
implements SignalInvocationSet

Constructor Summary

Constructors

Constructor	Description
SignalInvocationSetImpl()
SignalInvocationSetImpl(Comparator<? super SignalInvocation> comp)

Method Summary

Modifier and Type	Method	Description
List<SignalInvocation>	elements()
SignalInvocationSet	emptySet()
SignalInvocationSet	emptySet(Comparator<? super SignalInvocation> comp)
SignalInvocation	nullElement()
ACT_SMTSet	R603_is_a_ACT_SMT()
ValueSet	R630_has_target_Value()
RequiredSignalSet	R660_is_invocation_of_RequiredSignal()
V_PARSet	R662_takes_V_PAR()
ProvidedSignalSet	R663_is_invocation_of_ProvidedSignal()
void	setOwnerNameColumn(int m_ownerNameColumn)
void	setOwnerNameLineNumber(int m_ownerNameLineNumber)
void	setProvidedSig_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id)
void	setRequiredSig_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id)
void	setSigNameColumn(int m_sigNameColumn)
void	setSigNameLineNumber(int m_sigNameLineNumber)
void	setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
void	setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_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

SignalInvocationSetImpl

public SignalInvocationSetImpl()

SignalInvocationSetImpl

public SignalInvocationSetImpl(Comparator<? super SignalInvocation> comp)

Method Details

setValue_ID

public void setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setValue_ID in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

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 SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setRequiredSig_Id

public void setRequiredSig_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id)
                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setRequiredSig_Id in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setSigNameColumn

public void setSigNameColumn(int m_sigNameColumn)
                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setSigNameColumn in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setSigNameLineNumber

public void setSigNameLineNumber(int m_sigNameLineNumber)
                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setSigNameLineNumber in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setOwnerNameColumn

public void setOwnerNameColumn(int m_ownerNameColumn)
                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setOwnerNameColumn in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setProvidedSig_Id

public void setProvidedSig_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id)
                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setProvidedSig_Id in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setOwnerNameLineNumber

public void setOwnerNameLineNumber(int m_ownerNameLineNumber)
                            throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setOwnerNameLineNumber in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R603_is_a_ACT_SMT

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

Specified by:

R603_is_a_ACT_SMT in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R630_has_target_Value

public ValueSet R630_has_target_Value()
                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R630_has_target_Value in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R660_is_invocation_of_RequiredSignal

public RequiredSignalSet R660_is_invocation_of_RequiredSignal()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R660_is_invocation_of_RequiredSignal in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R662_takes_V_PAR

public V_PARSet R662_takes_V_PAR()
                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R662_takes_V_PAR in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R663_is_invocation_of_ProvidedSignal

public ProvidedSignalSet R663_is_invocation_of_ProvidedSignal()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R663_is_invocation_of_ProvidedSignal in interface SignalInvocationSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

nullElement

public SignalInvocation nullElement()

Specified by:

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

emptySet

public SignalInvocationSet emptySet()

Specified by:

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

emptySet

public SignalInvocationSet emptySet(Comparator<? super SignalInvocation> comp)

Specified by:

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

elements

public List<SignalInvocation> elements()

Specified by:

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