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
Modifier and TypeMethodDescriptionvoidsetOpNameColumn(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, 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
-
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
-
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
-
setOpNameColumn
void setOpNameColumn(int m_opNameColumn) 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
-
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
-
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
-
setOwnerNameLineNumber
void setOwnerNameLineNumber(int m_ownerNameLineNumber) 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
-
R603_is_a_ACT_SMT
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R629_has_target_Value
- 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
- 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
-