public class SignalInvocationSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<SignalInvocationSet,SignalInvocation> implements SignalInvocationSet
| Constructor and Description |
|---|
SignalInvocationSetImpl() |
| Modifier and Type | Method and Description |
|---|---|
List<SignalInvocation> |
elements() |
SignalInvocationSet |
emptySet() |
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) |
SignalInvocationSet |
value() |
add, getById1, getById2, getById3, getByInstanceId, removeaddAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, toArray, toArray, union, union, whereclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetById1, getById2, getById3, getByInstanceIdany, anyWhere, difference, difference, disunion, disunion, intersection, intersection, union, union, whereadd, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArrayparallelStream, removeIf, streampublic void setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setValue_ID in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setProvidedSig_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id)
throws io.ciera.runtime.summit.exceptions.XtumlException
setProvidedSig_Id in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setRequiredSig_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id)
throws io.ciera.runtime.summit.exceptions.XtumlException
setRequiredSig_Id in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setSigNameColumn(int m_sigNameColumn)
throws io.ciera.runtime.summit.exceptions.XtumlException
setSigNameColumn in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setStatement_ID in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setSigNameLineNumber(int m_sigNameLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
setSigNameLineNumber in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setOwnerNameColumn(int m_ownerNameColumn)
throws io.ciera.runtime.summit.exceptions.XtumlException
setOwnerNameColumn in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setOwnerNameLineNumber(int m_ownerNameLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
setOwnerNameLineNumber in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
R603_is_a_ACT_SMT in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ValueSet R630_has_target_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
R630_has_target_Value in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic RequiredSignalSet R660_is_invocation_of_RequiredSignal() throws io.ciera.runtime.summit.exceptions.XtumlException
R660_is_invocation_of_RequiredSignal in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic V_PARSet R662_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
R662_takes_V_PAR in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ProvidedSignalSet R663_is_invocation_of_ProvidedSignal() throws io.ciera.runtime.summit.exceptions.XtumlException
R663_is_invocation_of_ProvidedSignal in interface SignalInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic SignalInvocation nullElement()
nullElement in interface io.ciera.runtime.summit.types.ISet<SignalInvocationSet,SignalInvocation>public SignalInvocationSet emptySet()
emptySet in interface io.ciera.runtime.summit.types.ISet<SignalInvocationSet,SignalInvocation>public SignalInvocationSet value()
value in interface io.ciera.runtime.summit.types.IXtumlType<SignalInvocationSet>public List<SignalInvocation> elements()
elements in interface io.ciera.runtime.summit.types.ISet<SignalInvocationSet,SignalInvocation>Copyright © 2019. All rights reserved.