Interface SignalInvocationSet
- All Superinterfaces:
Collection<SignalInvocation>,io.ciera.runtime.summit.classes.IInstanceSet<SignalInvocationSet,,SignalInvocation> io.ciera.runtime.summit.types.ISet<SignalInvocation>,Iterable<SignalInvocation>,io.ciera.runtime.summit.types.IXtumlType,Set<SignalInvocation>
- All Known Implementing Classes:
SignalInvocationSetImpl
public interface SignalInvocationSet
extends io.ciera.runtime.summit.classes.IInstanceSet<SignalInvocationSet,SignalInvocation>
-
Method Summary
Modifier and TypeMethodDescriptionvoidsetOwnerNameColumn(int m_ownerNameColumn) voidsetOwnerNameLineNumber(int m_ownerNameLineNumber) voidsetProvidedSig_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id) voidsetRequiredSig_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id) voidsetSigNameColumn(int m_sigNameColumn) voidsetSigNameLineNumber(int m_sigNameLineNumber) voidsetStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) voidsetValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID) Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArrayMethods inherited from interface io.ciera.runtime.summit.classes.IInstanceSet
getById1, getById2, getById3, getByInstanceIdMethods inherited from interface io.ciera.runtime.summit.types.ISet
any, anyWhere, difference, difference, disunion, disunion, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, whereMethods inherited from interface io.ciera.runtime.summit.types.IXtumlType
equality, inequality, oneWhere, serialize
-
Method Details
-
setValue_ID
void setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setStatement_ID
void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setRequiredSig_Id
void setRequiredSig_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setSigNameColumn
void setSigNameColumn(int m_sigNameColumn) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setSigNameLineNumber
void setSigNameLineNumber(int m_sigNameLineNumber) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setOwnerNameColumn
void setOwnerNameColumn(int m_ownerNameColumn) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setProvidedSig_Id
void setProvidedSig_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_Id) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setOwnerNameLineNumber
void setOwnerNameLineNumber(int m_ownerNameLineNumber) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R603_is_a_ACT_SMT
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R630_has_target_Value
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R660_is_invocation_of_RequiredSignal
RequiredSignalSet R660_is_invocation_of_RequiredSignal() throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R662_takes_V_PAR
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R663_is_invocation_of_ProvidedSignal
ProvidedSignalSet R663_is_invocation_of_ProvidedSignal() throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-