Interface FunctionInvocationSet
- All Superinterfaces:
Collection<FunctionInvocation>,io.ciera.runtime.summit.classes.IInstanceSet<FunctionInvocationSet,,FunctionInvocation> io.ciera.runtime.summit.types.ISet<FunctionInvocation>,Iterable<FunctionInvocation>,io.ciera.runtime.summit.types.IXtumlType,Set<FunctionInvocation>
- All Known Implementing Classes:
FunctionInvocationSetImpl
public interface FunctionInvocationSet
extends io.ciera.runtime.summit.classes.IInstanceSet<FunctionInvocationSet,FunctionInvocation>
-
Method Summary
Modifier and TypeMethodDescriptionvoidsetFunctionNameColumn(int m_functionNameColumn) voidsetFunctionNameLineNumber(int m_functionNameLineNumber) voidsetStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) voidsetSync_ID(io.ciera.runtime.summit.types.UniqueId ref_Sync_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
-
setFunctionNameLineNumber
void setFunctionNameLineNumber(int m_functionNameLineNumber) 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
-
setFunctionNameColumn
void setFunctionNameColumn(int m_functionNameColumn) throws io.ciera.runtime.summit.exceptions.XtumlException - Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
setSync_ID
void setSync_ID(io.ciera.runtime.summit.types.UniqueId ref_Sync_ID) 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
-
R669_takes_V_PAR
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R675_is_an_invocation_of_S_SYNC
S_SYNCSet R675_is_an_invocation_of_S_SYNC() throws io.ciera.runtime.summit.exceptions.XtumlException- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-