public interface FunctionInvocationSet extends io.ciera.runtime.summit.classes.IInstanceSet<FunctionInvocationSet,FunctionInvocation>
| Modifier and Type | Method and Description |
|---|---|
ACT_SMTSet |
R603_is_a_ACT_SMT() |
V_PARSet |
R669_takes_V_PAR() |
S_SYNCSet |
R675_is_an_invocation_of_S_SYNC() |
void |
setFunctionNameColumn(int m_functionNameColumn) |
void |
setFunctionNameLineNumber(int m_functionNameLineNumber) |
void |
setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) |
void |
setSync_ID(io.ciera.runtime.summit.types.UniqueId ref_Sync_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 setFunctionNameColumn(int m_functionNameColumn)
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 setFunctionNameLineNumber(int m_functionNameLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionvoid setSync_ID(io.ciera.runtime.summit.types.UniqueId ref_Sync_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 R669_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionS_SYNCSet R675_is_an_invocation_of_S_SYNC() throws io.ciera.runtime.summit.exceptions.XtumlException
io.ciera.runtime.summit.exceptions.XtumlExceptionCopyright © 2021. All rights reserved.