public interface OperationInvocationSet extends io.ciera.runtime.summit.classes.IInstanceSet<OperationInvocationSet,OperationInvocation>
| Modifier and Type | Method and Description |
|---|---|
ACT_SMTSet |
R603_is_a_ACT_SMT() |
V_PARSet |
R627_takes_V_PAR() |
V_VARSet |
R667_has_target_V_VAR() |
O_TFRSet |
R673_is_an_invocation_of_O_TFR() |
void |
setModelClassKeyLettersColumn(int m_modelClassKeyLettersColumn) |
void |
setModelClassKeyLettersLineNumber(int m_modelClassKeyLettersLineNumber) |
void |
setOperationNameColumn(int m_operationNameColumn) |
void |
setOperationNameLineNumber(int m_operationNameLineNumber) |
void |
setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) |
void |
setTfr_ID(io.ciera.runtime.summit.types.UniqueId ref_Tfr_ID) |
void |
setVar_ID(io.ciera.runtime.summit.types.UniqueId ref_Var_ID) |
getById1, getById2, getById3, getByInstanceIdany, anyWhere, difference, difference, disunion, disunion, elements, emptySet, emptySet, intersection, intersection, nullElement, sorted, sorted, union, union, whereadd, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArrayparallelStream, removeIf, streamvoid setModelClassKeyLettersLineNumber(int m_modelClassKeyLettersLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setOperationNameLineNumber(int m_operationNameLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setOperationNameColumn(int m_operationNameColumn)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setModelClassKeyLettersColumn(int m_modelClassKeyLettersColumn)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setTfr_ID(io.ciera.runtime.summit.types.UniqueId ref_Tfr_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setVar_ID(io.ciera.runtime.summit.types.UniqueId ref_Var_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionV_PARSet R627_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionV_VARSet R667_has_target_V_VAR() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionO_TFRSet R673_is_an_invocation_of_O_TFR() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionCopyright © 2021. All rights reserved.