Package io.ciera.tool.sql.ooaofooa.value.impl

Class ValueSetImpl

java.lang.Object

io.ciera.runtime.summit.types.Set<E>

io.ciera.runtime.summit.classes.InstanceSet<ValueSet,Value>

io.ciera.tool.sql.ooaofooa.value.impl.ValueSetImpl

All Implemented Interfaces:

io.ciera.runtime.summit.classes.IInstanceSet<ValueSet,Value>, io.ciera.runtime.summit.types.ISet<Value>, io.ciera.runtime.summit.types.IXtumlType, ValueSet, Iterable<Value>, Collection<Value>, Set<Value>

public class ValueSetImpl
extends io.ciera.runtime.summit.classes.InstanceSet<ValueSet,Value>
implements ValueSet

Constructor Summary

Constructors

Constructor	Description
ValueSetImpl()
ValueSetImpl(Comparator<? super Value> comp)

Method Summary

Modifier and Type	Method	Description
List<Value>	elements()
ValueSet	emptySet()
ValueSet	emptySet(Comparator<? super Value> comp)
Value	nullElement()
ValueInStackFrameSet	R2978_ValueInStackFrame()
AssignToMemberSet	R609_AssignToMember()
SelectFromInstancesWhereSet	R610_SelectFromInstancesWhere()
SelectRelatedWhereSet	R611_SelectRelatedWhere()
ACT_SELSet	R613_ACT_SEL()
IfStmtSet	R625_IfStmt()
WhileStmtSet	R626_WhileStmt()
InterfaceOperationInvocationSet	R629_is_target_of_InterfaceOperationInvocation()
SignalInvocationSet	R630_is_target_of_SignalInvocation()
ElseIfStmtSet	R659_ElseIfStmt()
ReturnStmtSet	R668_returned_by_ReturnStmt()
AssignToMemberSet	R689_AssignToMember()
GeneratePreexistingEventSet	R714_holds_event_to_be_generated_by_GeneratePreexistingEvent()
V_PARSet	R800_is_value_of_V_PAR()
ArrayLengthValueSet	R801_is_a_ArrayLengthValue()
AttributeValueReferenceSet	R801_is_a_AttributeValueReference()
BridgeValueSet	R801_is_a_BridgeValue()
EventDatumValueSet	R801_is_a_EventDatumValue()
FunctionValueSet	R801_is_a_FunctionValue()
InstanceReferenceSet	R801_is_a_InstanceReference()
InstanceSetReferenceSet	R801_is_a_InstanceSetReference()
LiteralBooleanSet	R801_is_a_LiteralBoolean()
LiteralEnumeratorSet	R801_is_a_LiteralEnumerator()
LiteralIntegerSet	R801_is_a_LiteralInteger()
LiteralRealSet	R801_is_a_LiteralReal()
LiteralStringSet	R801_is_a_LiteralString()
MemberValueReferenceSet	R801_is_a_MemberValueReference()
MessageValueSet	R801_is_a_MessageValue()
OperationValueSet	R801_is_a_OperationValue()
ParameterValueSet	R801_is_a_ParameterValue()
SelectedReferenceSet	R801_is_a_SelectedReference()
SymbolicConstantValueSet	R801_is_a_SymbolicConstantValue()
TransientValueReferenceSet	R801_is_a_TransientValueReference()
V_AERSet	R801_is_a_V_AER()
V_BINSet	R801_is_a_V_BIN()
V_UNYSet	R801_is_a_V_UNY()
V_BINSet	R802_is_left_operand_to_V_BIN()
V_BINSet	R803_is_right_operand_to_V_BIN()
V_UNYSet	R804_is_operand_to_V_UNY()
AttributeValueReferenceSet	R807_is_root_for_AttributeValueReference()
DataTypeSet	R820_has_type_DataType()
BlockSet	R826_has_scope_Block()
MemberValueReferenceSet	R837_is_root_for_MemberValueReference()
V_AERSet	R838_is_root_for_V_AER()
V_AERSet	R839_provides_index_of_V_AER()
ArrayLengthValueSet	R840_has_length_returned_by_ArrayLengthValue()
MessageValueSet	R851_is_target_of_MessageValue()
void	setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
void	setCurrentLaterParameterLabelColumn(int m_currentLaterParameterLabelColumn)
void	setCurrentLaterParameterLabelLineNumber(int m_currentLaterParameterLabelLineNumber)
void	setDT_ID(io.ciera.runtime.summit.types.UniqueId ref_DT_ID)
void	setEndPosition(int m_EndPosition)
void	setFirstParameterLabelColumn(int m_firstParameterLabelColumn)
void	setFirstParameterLabelLineNumber(int m_firstParameterLabelLineNumber)
void	setIsImplicit(boolean m_isImplicit)
void	setIsLValue(boolean m_isLValue)
void	setLineNumber(int m_LineNumber)
void	setStartPosition(int m_StartPosition)
void	setText(String m_Text)
void	setValue_ID(io.ciera.runtime.summit.types.UniqueId m_Value_ID)

Methods inherited from class io.ciera.runtime.summit.classes.InstanceSet

add, getById1, getById2, getById3, getByInstanceId, remove

Methods inherited from class io.ciera.runtime.summit.types.Set

addAll, any, anyWhere, clear, contains, containsAll, difference, difference, disunion, disunion, equality, intersection, intersection, isEmpty, iterator, removeAll, retainAll, size, sorted, sorted, toArray, toArray, union, union, where

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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, intersection, intersection, sorted, sorted, union, union, where

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface io.ciera.runtime.summit.types.IXtumlType

equality, inequality, oneWhere, serialize

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, toArray, toArray

Constructor Detail

ValueSetImpl

public ValueSetImpl()

ValueSetImpl

public ValueSetImpl(Comparator<? super Value> comp)

Method Detail

setIsLValue

public void setIsLValue(boolean m_isLValue)
                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setIsLValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setCurrentLaterParameterLabelLineNumber

public void setCurrentLaterParameterLabelLineNumber(int m_currentLaterParameterLabelLineNumber)
                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setCurrentLaterParameterLabelLineNumber in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setFirstParameterLabelColumn

public void setFirstParameterLabelColumn(int m_firstParameterLabelColumn)
                                  throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setFirstParameterLabelColumn in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setDT_ID

public void setDT_ID(io.ciera.runtime.summit.types.UniqueId ref_DT_ID)
              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setDT_ID in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setBlock_ID

public void setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setBlock_ID in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStartPosition

public void setStartPosition(int m_StartPosition)
                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setStartPosition in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setIsImplicit

public void setIsImplicit(boolean m_isImplicit)
                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setIsImplicit in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setLineNumber

public void setLineNumber(int m_LineNumber)
                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setLineNumber in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setValue_ID

public void setValue_ID(io.ciera.runtime.summit.types.UniqueId m_Value_ID)
                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setValue_ID in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setEndPosition

public void setEndPosition(int m_EndPosition)
                    throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setEndPosition in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setText

public void setText(String m_Text)
             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setText in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setFirstParameterLabelLineNumber

public void setFirstParameterLabelLineNumber(int m_firstParameterLabelLineNumber)
                                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setFirstParameterLabelLineNumber in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setCurrentLaterParameterLabelColumn

public void setCurrentLaterParameterLabelColumn(int m_currentLaterParameterLabelColumn)
                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setCurrentLaterParameterLabelColumn in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R2978_ValueInStackFrame

public ValueInStackFrameSet R2978_ValueInStackFrame()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R2978_ValueInStackFrame in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R609_AssignToMember

public AssignToMemberSet R609_AssignToMember()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R609_AssignToMember in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R610_SelectFromInstancesWhere

public SelectFromInstancesWhereSet R610_SelectFromInstancesWhere()
                                                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R610_SelectFromInstancesWhere in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R611_SelectRelatedWhere

public SelectRelatedWhereSet R611_SelectRelatedWhere()
                                              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R611_SelectRelatedWhere in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R613_ACT_SEL

public ACT_SELSet R613_ACT_SEL()
                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R613_ACT_SEL in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R625_IfStmt

public IfStmtSet R625_IfStmt()
                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R625_IfStmt in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R626_WhileStmt

public WhileStmtSet R626_WhileStmt()
                            throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R626_WhileStmt in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R629_is_target_of_InterfaceOperationInvocation

public InterfaceOperationInvocationSet R629_is_target_of_InterfaceOperationInvocation()
                                                                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R629_is_target_of_InterfaceOperationInvocation in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R630_is_target_of_SignalInvocation

public SignalInvocationSet R630_is_target_of_SignalInvocation()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R630_is_target_of_SignalInvocation in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R659_ElseIfStmt

public ElseIfStmtSet R659_ElseIfStmt()
                              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R659_ElseIfStmt in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R668_returned_by_ReturnStmt

public ReturnStmtSet R668_returned_by_ReturnStmt()
                                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R668_returned_by_ReturnStmt in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R689_AssignToMember

public AssignToMemberSet R689_AssignToMember()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R689_AssignToMember in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R714_holds_event_to_be_generated_by_GeneratePreexistingEvent

public GeneratePreexistingEventSet R714_holds_event_to_be_generated_by_GeneratePreexistingEvent()
                                                                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R714_holds_event_to_be_generated_by_GeneratePreexistingEvent in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R800_is_value_of_V_PAR

public V_PARSet R800_is_value_of_V_PAR()
                                throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R800_is_value_of_V_PAR in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_ArrayLengthValue

public ArrayLengthValueSet R801_is_a_ArrayLengthValue()
                                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_ArrayLengthValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_AttributeValueReference

public AttributeValueReferenceSet R801_is_a_AttributeValueReference()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_AttributeValueReference in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_BridgeValue

public BridgeValueSet R801_is_a_BridgeValue()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_BridgeValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_EventDatumValue

public EventDatumValueSet R801_is_a_EventDatumValue()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_EventDatumValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_FunctionValue

public FunctionValueSet R801_is_a_FunctionValue()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_FunctionValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_InstanceReference

public InstanceReferenceSet R801_is_a_InstanceReference()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_InstanceReference in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_InstanceSetReference

public InstanceSetReferenceSet R801_is_a_InstanceSetReference()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_InstanceSetReference in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_LiteralBoolean

public LiteralBooleanSet R801_is_a_LiteralBoolean()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_LiteralBoolean in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_LiteralEnumerator

public LiteralEnumeratorSet R801_is_a_LiteralEnumerator()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_LiteralEnumerator in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_LiteralInteger

public LiteralIntegerSet R801_is_a_LiteralInteger()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_LiteralInteger in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_LiteralReal

public LiteralRealSet R801_is_a_LiteralReal()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_LiteralReal in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_LiteralString

public LiteralStringSet R801_is_a_LiteralString()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_LiteralString in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_MemberValueReference

public MemberValueReferenceSet R801_is_a_MemberValueReference()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_MemberValueReference in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_MessageValue

public MessageValueSet R801_is_a_MessageValue()
                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_MessageValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_OperationValue

public OperationValueSet R801_is_a_OperationValue()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_OperationValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_ParameterValue

public ParameterValueSet R801_is_a_ParameterValue()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_ParameterValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_SelectedReference

public SelectedReferenceSet R801_is_a_SelectedReference()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_SelectedReference in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_SymbolicConstantValue

public SymbolicConstantValueSet R801_is_a_SymbolicConstantValue()
                                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_SymbolicConstantValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_TransientValueReference

public TransientValueReferenceSet R801_is_a_TransientValueReference()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_TransientValueReference in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_V_AER

public V_AERSet R801_is_a_V_AER()
                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_V_AER in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_V_BIN

public V_BINSet R801_is_a_V_BIN()
                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_V_BIN in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R801_is_a_V_UNY

public V_UNYSet R801_is_a_V_UNY()
                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R801_is_a_V_UNY in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R802_is_left_operand_to_V_BIN

public V_BINSet R802_is_left_operand_to_V_BIN()
                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R802_is_left_operand_to_V_BIN in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R803_is_right_operand_to_V_BIN

public V_BINSet R803_is_right_operand_to_V_BIN()
                                        throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R803_is_right_operand_to_V_BIN in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R804_is_operand_to_V_UNY

public V_UNYSet R804_is_operand_to_V_UNY()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R804_is_operand_to_V_UNY in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R807_is_root_for_AttributeValueReference

public AttributeValueReferenceSet R807_is_root_for_AttributeValueReference()
                                                                    throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R807_is_root_for_AttributeValueReference in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R820_has_type_DataType

public DataTypeSet R820_has_type_DataType()
                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R820_has_type_DataType in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R826_has_scope_Block

public BlockSet R826_has_scope_Block()
                              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R826_has_scope_Block in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R837_is_root_for_MemberValueReference

public MemberValueReferenceSet R837_is_root_for_MemberValueReference()
                                                              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R837_is_root_for_MemberValueReference in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R838_is_root_for_V_AER

public V_AERSet R838_is_root_for_V_AER()
                                throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R838_is_root_for_V_AER in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R839_provides_index_of_V_AER

public V_AERSet R839_provides_index_of_V_AER()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R839_provides_index_of_V_AER in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R840_has_length_returned_by_ArrayLengthValue

public ArrayLengthValueSet R840_has_length_returned_by_ArrayLengthValue()
                                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R840_has_length_returned_by_ArrayLengthValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R851_is_target_of_MessageValue

public MessageValueSet R851_is_target_of_MessageValue()
                                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R851_is_target_of_MessageValue in interface ValueSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

nullElement

public Value nullElement()

Specified by:

nullElement in interface io.ciera.runtime.summit.types.ISet<Value>

emptySet

public ValueSet emptySet()

Specified by:

emptySet in interface io.ciera.runtime.summit.types.ISet<Value>

emptySet

public ValueSet emptySet(Comparator<? super Value> comp)

Specified by:

emptySet in interface io.ciera.runtime.summit.types.ISet<Value>

elements

public List<Value> elements()

Specified by:

elements in interface io.ciera.runtime.summit.types.ISet<Value>