public class FunctionInvocationSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<FunctionInvocationSet,FunctionInvocation> implements FunctionInvocationSet
| Constructor and Description |
|---|
FunctionInvocationSetImpl() |
FunctionInvocationSetImpl(Comparator<? super FunctionInvocation> comp) |
| Modifier and Type | Method and Description |
|---|---|
List<FunctionInvocation> |
elements() |
FunctionInvocationSet |
emptySet() |
FunctionInvocationSet |
emptySet(Comparator<? super FunctionInvocation> comp) |
FunctionInvocation |
nullElement() |
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) |
FunctionInvocationSet |
value() |
add, getById1, getById2, getById3, getByInstanceId, removeaddAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, sorted, sorted, toArray, toArray, union, union, whereclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetById1, getById2, getById3, getByInstanceIdany, anyWhere, difference, difference, disunion, disunion, intersection, intersection, sorted, sorted, union, union, whereadd, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArrayparallelStream, removeIf, streampublic FunctionInvocationSetImpl()
public FunctionInvocationSetImpl(Comparator<? super FunctionInvocation> comp)
public void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setStatement_ID in interface FunctionInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setFunctionNameLineNumber(int m_functionNameLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
setFunctionNameLineNumber in interface FunctionInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setSync_ID(io.ciera.runtime.summit.types.UniqueId ref_Sync_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setSync_ID in interface FunctionInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setFunctionNameColumn(int m_functionNameColumn)
throws io.ciera.runtime.summit.exceptions.XtumlException
setFunctionNameColumn in interface FunctionInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
R603_is_a_ACT_SMT in interface FunctionInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic V_PARSet R669_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
R669_takes_V_PAR in interface FunctionInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic S_SYNCSet R675_is_an_invocation_of_S_SYNC() throws io.ciera.runtime.summit.exceptions.XtumlException
R675_is_an_invocation_of_S_SYNC in interface FunctionInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic FunctionInvocation nullElement()
nullElement in interface io.ciera.runtime.summit.types.ISet<FunctionInvocationSet,FunctionInvocation>public FunctionInvocationSet emptySet()
emptySet in interface io.ciera.runtime.summit.types.ISet<FunctionInvocationSet,FunctionInvocation>public FunctionInvocationSet emptySet(Comparator<? super FunctionInvocation> comp)
emptySet in interface io.ciera.runtime.summit.types.ISet<FunctionInvocationSet,FunctionInvocation>public FunctionInvocationSet value()
value in interface io.ciera.runtime.summit.types.IXtumlType<FunctionInvocationSet>public List<FunctionInvocation> elements()
elements in interface io.ciera.runtime.summit.types.ISet<FunctionInvocationSet,FunctionInvocation>Copyright © 2020. All rights reserved.