Interface InterfaceOperationInvocationSet
-
- All Superinterfaces:
Collection<InterfaceOperationInvocation>,io.ciera.runtime.summit.classes.IInstanceSet<InterfaceOperationInvocationSet,InterfaceOperationInvocation>,io.ciera.runtime.summit.types.ISet<InterfaceOperationInvocation>,Iterable<InterfaceOperationInvocation>,io.ciera.runtime.summit.types.IXtumlType,Set<InterfaceOperationInvocation>
- All Known Implementing Classes:
InterfaceOperationInvocationSetImpl
public interface InterfaceOperationInvocationSet extends io.ciera.runtime.summit.classes.IInstanceSet<InterfaceOperationInvocationSet,InterfaceOperationInvocation>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ACT_SMTSetR603_is_a_ACT_SMT()ValueSetR629_has_target_Value()RequiredOperationSetR657_is_invocation_of_RequiredOperation()V_PARSetR679_takes_V_PAR()ProvidedOperationSetR680_is_invocation_of_ProvidedOperation()voidsetOpNameColumn(int m_opNameColumn)voidsetOpNameLineNumber(int m_opNameLineNumber)voidsetOwnerNameColumn(int m_ownerNameColumn)voidsetOwnerNameLineNumber(int m_ownerNameLineNumber)voidsetProvidedOp_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedOp_Id)voidsetRequiredOp_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredOp_Id)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
-
setProvidedOp_Id
void setProvidedOp_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedOp_Id) 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
-
setRequiredOp_Id
void setRequiredOp_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredOp_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
-
setOpNameLineNumber
void setOpNameLineNumber(int m_opNameLineNumber) 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
-
setOpNameColumn
void setOpNameColumn(int m_opNameColumn) 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
-
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
-
R629_has_target_Value
ValueSet R629_has_target_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R657_is_invocation_of_RequiredOperation
RequiredOperationSet R657_is_invocation_of_RequiredOperation() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R679_takes_V_PAR
V_PARSet R679_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R680_is_invocation_of_ProvidedOperation
ProvidedOperationSet R680_is_invocation_of_ProvidedOperation() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
-