public interface SignalInvocationSet extends io.ciera.runtime.summit.classes.IInstanceSet<SignalInvocationSet,SignalInvocation>
| Modifier and Type | Method and Description |
|---|---|
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) |
getById1, getById2, getById3, getByInstanceIdany, anyWhere, difference, difference, disunion, disunion, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, whereadd, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArrayparallelStream, removeIf, streamvoid setSigNameColumn(int m_sigNameColumn)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setRequiredSig_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setSigNameLineNumber(int m_sigNameLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setOwnerNameLineNumber(int m_ownerNameLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setOwnerNameColumn(int m_ownerNameColumn)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setProvidedSig_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionValueSet R630_has_target_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionRequiredSignalSet R660_is_invocation_of_RequiredSignal() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionV_PARSet R662_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionProvidedSignalSet R663_is_invocation_of_ProvidedSignal() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionCopyright © 2019. All rights reserved.