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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ACT_SMTSetR603_is_a_ACT_SMT()ValueSetR630_has_target_Value()RequiredSignalSetR660_is_invocation_of_RequiredSignal()V_PARSetR662_takes_V_PAR()ProvidedSignalSetR663_is_invocation_of_ProvidedSignal()voidsetOwnerNameColumn(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, 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, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, where
-
-
-
-
Method Detail
-
setOwnerNameLineNumber
void setOwnerNameLineNumber(int m_ownerNameLineNumber) 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
-
setSigNameLineNumber
void setSigNameLineNumber(int m_sigNameLineNumber) 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
-
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
-
setSigNameColumn
void setSigNameColumn(int m_sigNameColumn) throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
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
-
R603_is_a_ACT_SMT
ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R630_has_target_Value
ValueSet R630_has_target_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
- 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
V_PARSet R662_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
- 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
-
-