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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ACT_SMTSetR603_is_a_ACT_SMT()V_PARSetR669_takes_V_PAR()S_SYNCSetR675_is_an_invocation_of_S_SYNC()voidsetFunctionNameColumn(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, 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
-
setFunctionNameColumn
void setFunctionNameColumn(int m_functionNameColumn) 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
-
setFunctionNameLineNumber
void setFunctionNameLineNumber(int m_functionNameLineNumber) 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
ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
- Throws:
io.ciera.runtime.summit.exceptions.XtumlException
-
R669_takes_V_PAR
V_PARSet R669_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
- 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
-
-