public class OperationInvocationSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<OperationInvocationSet,OperationInvocation> implements OperationInvocationSet
| Constructor and Description |
|---|
OperationInvocationSetImpl() |
OperationInvocationSetImpl(Comparator<? super OperationInvocation> comp) |
| Modifier and Type | Method and Description |
|---|---|
List<OperationInvocation> |
elements() |
OperationInvocationSet |
emptySet() |
OperationInvocationSet |
emptySet(Comparator<? super OperationInvocation> comp) |
OperationInvocation |
nullElement() |
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) |
OperationInvocationSet |
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 OperationInvocationSetImpl()
public OperationInvocationSetImpl(Comparator<? super OperationInvocation> comp)
public void setModelClassKeyLettersLineNumber(int m_modelClassKeyLettersLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
setModelClassKeyLettersLineNumber in interface OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setOperationNameColumn(int m_operationNameColumn)
throws io.ciera.runtime.summit.exceptions.XtumlException
setOperationNameColumn in interface OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setVar_ID(io.ciera.runtime.summit.types.UniqueId ref_Var_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setVar_ID in interface OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setStatement_ID in interface OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setTfr_ID(io.ciera.runtime.summit.types.UniqueId ref_Tfr_ID)
throws io.ciera.runtime.summit.exceptions.XtumlException
setTfr_ID in interface OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setOperationNameLineNumber(int m_operationNameLineNumber)
throws io.ciera.runtime.summit.exceptions.XtumlException
setOperationNameLineNumber in interface OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setModelClassKeyLettersColumn(int m_modelClassKeyLettersColumn)
throws io.ciera.runtime.summit.exceptions.XtumlException
setModelClassKeyLettersColumn in interface OperationInvocationSetio.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 OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic V_PARSet R627_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
R627_takes_V_PAR in interface OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic V_VARSet R667_has_target_V_VAR() throws io.ciera.runtime.summit.exceptions.XtumlException
R667_has_target_V_VAR in interface OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic O_TFRSet R673_is_an_invocation_of_O_TFR() throws io.ciera.runtime.summit.exceptions.XtumlException
R673_is_an_invocation_of_O_TFR in interface OperationInvocationSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic OperationInvocation nullElement()
nullElement in interface io.ciera.runtime.summit.types.ISet<OperationInvocationSet,OperationInvocation>public OperationInvocationSet emptySet()
emptySet in interface io.ciera.runtime.summit.types.ISet<OperationInvocationSet,OperationInvocation>public OperationInvocationSet emptySet(Comparator<? super OperationInvocation> comp)
emptySet in interface io.ciera.runtime.summit.types.ISet<OperationInvocationSet,OperationInvocation>public OperationInvocationSet value()
value in interface io.ciera.runtime.summit.types.IXtumlType<OperationInvocationSet>public List<OperationInvocation> elements()
elements in interface io.ciera.runtime.summit.types.ISet<OperationInvocationSet,OperationInvocation>Copyright © 2019. All rights reserved.