Package io.ciera.tool.sql.architecture.expression.impl

Class ExpressionSetImpl

java.lang.Object

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

io.ciera.runtime.summit.classes.InstanceSet<ExpressionSet,Expression>

io.ciera.tool.sql.architecture.expression.impl.ExpressionSetImpl

All Implemented Interfaces:

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

public class ExpressionSetImpl
extends io.ciera.runtime.summit.classes.InstanceSet<ExpressionSet,Expression>
implements ExpressionSet

Constructor Summary

Constructors

Constructor	Description
ExpressionSetImpl()
ExpressionSetImpl(Comparator<? super Expression> comp)

Method Summary

Modifier and Type	Method	Description
List<Expression>	elements()
ExpressionSet	emptySet()
ExpressionSet	emptySet(Comparator<? super Expression> comp)
Expression	nullElement()
ArrayElementReferenceSet	R3900_is_root_for_ArrayElementReference()
ArrayElementReferenceSet	R3901_is_index_for_ArrayElementReference()
EventCreationSet	R3902_EventCreation()
EventCreationSet	R3903_EventCreation()
PromotionSet	R3907_promoted_by_Promotion()
DeleteSmtSet	R462_is_deleted_by_DeleteSmt()
IfSmtSet	R471_determines_execution_of_blocks_for_IfSmt()
WhileSmtSet	R472_determines_execution_of_block_for_WhileSmt()
ReturnSmtSet	R473_defines_return_value_for_ReturnSmt()
ExpressionAsStatementSet	R476_executed_by_ExpressionAsStatement()
ForSmtSet	R478_is_iterated_by_ForSmt()
RelateSmtSet	R479_related_to_participant_by_RelateSmt()
RelateSmtSet	R480_related_to_formalizer_by_RelateSmt()
UnrelateSmtSet	R482_unrelated_from_formalizer_by_UnrelateSmt()
UnrelateSmtSet	R483_unrelated_from_participant_by_UnrelateSmt()
GenerateSet	R486_Generate()
StatementSet	R775_expressed_within_Statement()
AnySet	R776_is_a_Any()
ArrayElementReferenceSet	R776_is_a_ArrayElementReference()
ArrayLengthAccessSet	R776_is_a_ArrayLengthAccess()
AttributeAccessSet	R776_is_a_AttributeAccess()
BinaryOperationSet	R776_is_a_BinaryOperation()
ConstantReferenceSet	R776_is_a_ConstantReference()
CreationSet	R776_is_a_Creation()
EnumeratorReferenceSet	R776_is_a_EnumeratorReference()
EventCreationSet	R776_is_a_EventCreation()
InvocationSet	R776_is_a_Invocation()
LiteralSet	R776_is_a_Literal()
MemberReferenceSet	R776_is_a_MemberReference()
NamedReferenceSet	R776_is_a_NamedReference()
ParameterReferenceSet	R776_is_a_ParameterReference()
ParenthesizedExpressionSet	R776_is_a_ParenthesizedExpression()
PromotionSet	R776_is_a_Promotion()
SelectSet	R776_is_a_Select()
SelectedSet	R776_is_a_Selected()
UnaryOperationSet	R776_is_a_UnaryOperation()
VariableReferenceSet	R776_is_a_VariableReference()
WhereSet	R776_is_a_Where()
UnaryOperationSet	R777_is_single_operand_for_UnaryOperation()
BinaryOperationSet	R778_is_right_operand_for_BinaryOperation()
BinaryOperationSet	R779_is_left_operand_for_BinaryOperation()
AnySet	R783_is_basis_for_Any()
ParenthesizedExpressionSet	R784_is_wrapped_in_parentheses_by_ParenthesizedExpression()
AttributeAccessSet	R785_is_used_as_basis_for_AttributeAccess()
MemberReferenceSet	R787_is_used_as_basis_for_MemberReference()
WhereSet	R790_filtered_by_Where()
SelectRelatedSet	R791_is_basis_for_SelectRelated()
ActualParameterSet	R794_defines_value_for_ActualParameter()
TypeReferenceSet	R795_expresses_value_of_TypeReference()
WhereSet	R796_defines_condtion_for_Where()
InvocationSet	R798_is_used_as_basis_for_Invocation()
void	setBlock_number(String ref_block_number)
void	setBody_name(String ref_body_name)
void	setExpression_number(String m_expression_number)
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)

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

ExpressionSetImpl

public ExpressionSetImpl()

ExpressionSetImpl

public ExpressionSetImpl(Comparator<? super Expression> comp)

Method Detail

setBody_name

public void setBody_name(String ref_body_name)
                  throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setBody_name in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setBlock_number

public void setBlock_number(String ref_block_number)
                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setBlock_number in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setStatement_number

public void setStatement_number(String ref_statement_number)
                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setStatement_number in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setExpression_number

public void setExpression_number(String m_expression_number)
                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setExpression_number in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setParent_package

public void setParent_package(String ref_parent_package)
                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setParent_package in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setType_reference_name

public void setType_reference_name(String ref_type_reference_name)
                            throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setType_reference_name in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setParent_name

public void setParent_name(String ref_parent_name)
                    throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setParent_name in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setType_package

public void setType_package(String ref_type_package)
                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setType_package in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

setType_name

public void setType_name(String ref_type_name)
                  throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

setType_name in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R3900_is_root_for_ArrayElementReference

public ArrayElementReferenceSet R3900_is_root_for_ArrayElementReference()
                                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R3900_is_root_for_ArrayElementReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R3901_is_index_for_ArrayElementReference

public ArrayElementReferenceSet R3901_is_index_for_ArrayElementReference()
                                                                  throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R3901_is_index_for_ArrayElementReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R3902_EventCreation

public EventCreationSet R3902_EventCreation()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R3902_EventCreation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R3903_EventCreation

public EventCreationSet R3903_EventCreation()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R3903_EventCreation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R3907_promoted_by_Promotion

public PromotionSet R3907_promoted_by_Promotion()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R3907_promoted_by_Promotion in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R462_is_deleted_by_DeleteSmt

public DeleteSmtSet R462_is_deleted_by_DeleteSmt()
                                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R462_is_deleted_by_DeleteSmt in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R471_determines_execution_of_blocks_for_IfSmt

public IfSmtSet R471_determines_execution_of_blocks_for_IfSmt()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R471_determines_execution_of_blocks_for_IfSmt in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R472_determines_execution_of_block_for_WhileSmt

public WhileSmtSet R472_determines_execution_of_block_for_WhileSmt()
                                                            throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R472_determines_execution_of_block_for_WhileSmt in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R473_defines_return_value_for_ReturnSmt

public ReturnSmtSet R473_defines_return_value_for_ReturnSmt()
                                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R473_defines_return_value_for_ReturnSmt in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R476_executed_by_ExpressionAsStatement

public ExpressionAsStatementSet R476_executed_by_ExpressionAsStatement()
                                                                throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R476_executed_by_ExpressionAsStatement in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R478_is_iterated_by_ForSmt

public ForSmtSet R478_is_iterated_by_ForSmt()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R478_is_iterated_by_ForSmt in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R479_related_to_participant_by_RelateSmt

public RelateSmtSet R479_related_to_participant_by_RelateSmt()
                                                      throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R479_related_to_participant_by_RelateSmt in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R480_related_to_formalizer_by_RelateSmt

public RelateSmtSet R480_related_to_formalizer_by_RelateSmt()
                                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R480_related_to_formalizer_by_RelateSmt in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R482_unrelated_from_formalizer_by_UnrelateSmt

public UnrelateSmtSet R482_unrelated_from_formalizer_by_UnrelateSmt()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R482_unrelated_from_formalizer_by_UnrelateSmt in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R483_unrelated_from_participant_by_UnrelateSmt

public UnrelateSmtSet R483_unrelated_from_participant_by_UnrelateSmt()
                                                              throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R483_unrelated_from_participant_by_UnrelateSmt in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R486_Generate

public GenerateSet R486_Generate()
                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R486_Generate in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R775_expressed_within_Statement

public StatementSet R775_expressed_within_Statement()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R775_expressed_within_Statement in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_Any

public AnySet R776_is_a_Any()
                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_Any in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_ArrayElementReference

public ArrayElementReferenceSet R776_is_a_ArrayElementReference()
                                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_ArrayElementReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_ArrayLengthAccess

public ArrayLengthAccessSet R776_is_a_ArrayLengthAccess()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_ArrayLengthAccess in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_AttributeAccess

public AttributeAccessSet R776_is_a_AttributeAccess()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_AttributeAccess in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_BinaryOperation

public BinaryOperationSet R776_is_a_BinaryOperation()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_BinaryOperation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_ConstantReference

public ConstantReferenceSet R776_is_a_ConstantReference()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_ConstantReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_Creation

public CreationSet R776_is_a_Creation()
                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_Creation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_EnumeratorReference

public EnumeratorReferenceSet R776_is_a_EnumeratorReference()
                                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_EnumeratorReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_EventCreation

public EventCreationSet R776_is_a_EventCreation()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_EventCreation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_Invocation

public InvocationSet R776_is_a_Invocation()
                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_Invocation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_Literal

public LiteralSet R776_is_a_Literal()
                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_Literal in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_MemberReference

public MemberReferenceSet R776_is_a_MemberReference()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_MemberReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_NamedReference

public NamedReferenceSet R776_is_a_NamedReference()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_NamedReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_ParameterReference

public ParameterReferenceSet R776_is_a_ParameterReference()
                                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_ParameterReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_ParenthesizedExpression

public ParenthesizedExpressionSet R776_is_a_ParenthesizedExpression()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_ParenthesizedExpression in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_Promotion

public PromotionSet R776_is_a_Promotion()
                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_Promotion in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_Select

public SelectSet R776_is_a_Select()
                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_Select in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_Selected

public SelectedSet R776_is_a_Selected()
                               throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_Selected in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_UnaryOperation

public UnaryOperationSet R776_is_a_UnaryOperation()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_UnaryOperation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_VariableReference

public VariableReferenceSet R776_is_a_VariableReference()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_VariableReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R776_is_a_Where

public WhereSet R776_is_a_Where()
                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R776_is_a_Where in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R777_is_single_operand_for_UnaryOperation

public UnaryOperationSet R777_is_single_operand_for_UnaryOperation()
                                                            throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R777_is_single_operand_for_UnaryOperation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R778_is_right_operand_for_BinaryOperation

public BinaryOperationSet R778_is_right_operand_for_BinaryOperation()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R778_is_right_operand_for_BinaryOperation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R779_is_left_operand_for_BinaryOperation

public BinaryOperationSet R779_is_left_operand_for_BinaryOperation()
                                                            throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R779_is_left_operand_for_BinaryOperation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R783_is_basis_for_Any

public AnySet R783_is_basis_for_Any()
                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R783_is_basis_for_Any in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R784_is_wrapped_in_parentheses_by_ParenthesizedExpression

public ParenthesizedExpressionSet R784_is_wrapped_in_parentheses_by_ParenthesizedExpression()
                                                                                     throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R784_is_wrapped_in_parentheses_by_ParenthesizedExpression in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R785_is_used_as_basis_for_AttributeAccess

public AttributeAccessSet R785_is_used_as_basis_for_AttributeAccess()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R785_is_used_as_basis_for_AttributeAccess in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R787_is_used_as_basis_for_MemberReference

public MemberReferenceSet R787_is_used_as_basis_for_MemberReference()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R787_is_used_as_basis_for_MemberReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R790_filtered_by_Where

public WhereSet R790_filtered_by_Where()
                                throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R790_filtered_by_Where in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R791_is_basis_for_SelectRelated

public SelectRelatedSet R791_is_basis_for_SelectRelated()
                                                 throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R791_is_basis_for_SelectRelated in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R794_defines_value_for_ActualParameter

public ActualParameterSet R794_defines_value_for_ActualParameter()
                                                          throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R794_defines_value_for_ActualParameter in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R795_expresses_value_of_TypeReference

public TypeReferenceSet R795_expresses_value_of_TypeReference()
                                                       throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R795_expresses_value_of_TypeReference in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R796_defines_condtion_for_Where

public WhereSet R796_defines_condtion_for_Where()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R796_defines_condtion_for_Where in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

R798_is_used_as_basis_for_Invocation

public InvocationSet R798_is_used_as_basis_for_Invocation()
                                                   throws io.ciera.runtime.summit.exceptions.XtumlException

Specified by:

R798_is_used_as_basis_for_Invocation in interface ExpressionSet

Throws:

io.ciera.runtime.summit.exceptions.XtumlException

nullElement

public Expression nullElement()

Specified by:

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

emptySet

public ExpressionSet emptySet()

Specified by:

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

emptySet

public ExpressionSet emptySet(Comparator<? super Expression> comp)

Specified by:

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

elements

public List<Expression> elements()

Specified by:

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