public class VariableSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<VariableSet,Variable> implements VariableSet
| Constructor and Description |
|---|
VariableSetImpl() |
VariableSetImpl(Comparator<? super Variable> comp) |
| Modifier and Type | Method and Description |
|---|---|
List<Variable> |
elements() |
VariableSet |
emptySet() |
VariableSet |
emptySet(Comparator<? super Variable> comp) |
Variable |
nullElement() |
StatementSet |
R457_is_declared_by_Statement() |
VariableInScopeSet |
R458_is_in_scope_for_VariableInScope() |
ForSmtSet |
R459_is_iterator_for_ForSmt() |
TypeReferenceSet |
R461_is_typed_by_TypeReference() |
FinalizationSet |
R485_finalized_by_Finalization() |
VariableReferenceSet |
R782_referenced_through_VariableReference() |
void |
setBlock_number(String ref_block_number) |
void |
setBody_name(String ref_body_name) |
void |
setName(String m_name) |
void |
setParent_name(String ref_parent_name) |
void |
setParent_package(String ref_parent_package) |
void |
setStatement_number(String ref_statement_number) |
void |
setType_name(String ref_type_name) |
void |
setType_package(String ref_type_package) |
void |
setType_reference_name(String ref_type_reference_name) |
VariableSet |
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 VariableSetImpl()
public VariableSetImpl(Comparator<? super Variable> comp)
public void setType_package(String ref_type_package) throws io.ciera.runtime.summit.exceptions.XtumlException
setType_package in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setBlock_number in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setBody_name in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setType_name(String ref_type_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setType_name in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException
setParent_package in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
setStatement_number in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setType_reference_name(String ref_type_reference_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setType_reference_name in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setParent_name in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic void setName(String m_name) throws io.ciera.runtime.summit.exceptions.XtumlException
setName in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic StatementSet R457_is_declared_by_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
R457_is_declared_by_Statement in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic VariableInScopeSet R458_is_in_scope_for_VariableInScope() throws io.ciera.runtime.summit.exceptions.XtumlException
R458_is_in_scope_for_VariableInScope in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic ForSmtSet R459_is_iterator_for_ForSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
R459_is_iterator_for_ForSmt in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic TypeReferenceSet R461_is_typed_by_TypeReference() throws io.ciera.runtime.summit.exceptions.XtumlException
R461_is_typed_by_TypeReference in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic FinalizationSet R485_finalized_by_Finalization() throws io.ciera.runtime.summit.exceptions.XtumlException
R485_finalized_by_Finalization in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic VariableReferenceSet R782_referenced_through_VariableReference() throws io.ciera.runtime.summit.exceptions.XtumlException
R782_referenced_through_VariableReference in interface VariableSetio.ciera.runtime.summit.exceptions.XtumlExceptionpublic Variable nullElement()
nullElement in interface io.ciera.runtime.summit.types.ISet<VariableSet,Variable>public VariableSet emptySet()
emptySet in interface io.ciera.runtime.summit.types.ISet<VariableSet,Variable>public VariableSet emptySet(Comparator<? super Variable> comp)
emptySet in interface io.ciera.runtime.summit.types.ISet<VariableSet,Variable>public VariableSet value()
value in interface io.ciera.runtime.summit.types.IXtumlType<VariableSet>public List<Variable> elements()
elements in interface io.ciera.runtime.summit.types.ISet<VariableSet,Variable>Copyright © 2020. All rights reserved.