Interface OperationInvocationSet
-
- All Superinterfaces:
Collection<OperationInvocation>,io.ciera.runtime.summit.classes.IInstanceSet<OperationInvocationSet,OperationInvocation>,io.ciera.runtime.summit.types.ISet<OperationInvocation>,Iterable<OperationInvocation>,io.ciera.runtime.summit.types.IXtumlType,Set<OperationInvocation>
- All Known Implementing Classes:
OperationInvocationSetImpl
public interface OperationInvocationSet extends io.ciera.runtime.summit.classes.IInstanceSet<OperationInvocationSet,OperationInvocation>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ACT_SMTSetR603_is_a_ACT_SMT()V_PARSetR627_takes_V_PAR()V_VARSetR667_has_target_V_VAR()O_TFRSetR673_is_an_invocation_of_O_TFR()voidsetModelClassKeyLettersColumn(int m_modelClassKeyLettersColumn)voidsetModelClassKeyLettersLineNumber(int m_modelClassKeyLettersLineNumber)voidsetOperationNameColumn(int m_operationNameColumn)voidsetOperationNameLineNumber(int m_operationNameLineNumber)voidsetStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)voidsetTfr_ID(io.ciera.runtime.summit.types.UniqueId ref_Tfr_ID)voidsetVar_ID(io.ciera.runtime.summit.types.UniqueId ref_Var_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
-
setOperationNameColumn
void setOperationNameColumn(int m_operationNameColumn) 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
-
setModelClassKeyLettersColumn
void setModelClassKeyLettersColumn(int m_modelClassKeyLettersColumn) throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setOperationNameLineNumber
void setOperationNameLineNumber(int m_operationNameLineNumber) throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setModelClassKeyLettersLineNumber
void setModelClassKeyLettersLineNumber(int m_modelClassKeyLettersLineNumber) throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setTfr_ID
void setTfr_ID(io.ciera.runtime.summit.types.UniqueId ref_Tfr_ID) throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setVar_ID
void setVar_ID(io.ciera.runtime.summit.types.UniqueId ref_Var_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
-
R627_takes_V_PAR
V_PARSet R627_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R667_has_target_V_VAR
V_VARSet R667_has_target_V_VAR() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R673_is_an_invocation_of_O_TFR
O_TFRSet R673_is_an_invocation_of_O_TFR() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
-