Interface ExpressionSet

All Superinterfaces:
Collection<Expression>, io.ciera.runtime.summit.classes.IInstanceSet<ExpressionSet,Expression>, io.ciera.runtime.summit.types.ISet<Expression>, Iterable<Expression>, io.ciera.runtime.summit.types.IXtumlType, Set<Expression>
All Known Implementing Classes:
ExpressionSetImpl

public interface ExpressionSet extends io.ciera.runtime.summit.classes.IInstanceSet<ExpressionSet,Expression>
  • Method Details

    • setExpression_number

      void setExpression_number(String m_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setType_reference_name

      void setType_reference_name(String ref_type_reference_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setType_name

      void setType_name(String ref_type_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setParent_name

      void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setBlock_number

      void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setBody_name

      void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setParent_package

      void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setType_package

      void setType_package(String ref_type_package) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setStatement_number

      void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R3900_is_root_for_ArrayElementReference

      ArrayElementReferenceSet R3900_is_root_for_ArrayElementReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R3901_is_index_for_ArrayElementReference

      ArrayElementReferenceSet R3901_is_index_for_ArrayElementReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R3902_EventCreation

      EventCreationSet R3902_EventCreation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R3903_EventCreation

      EventCreationSet R3903_EventCreation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R3907_promoted_by_Promotion

      PromotionSet R3907_promoted_by_Promotion() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R3908_is_root_for_ArrayLengthAccess

      ArrayLengthAccessSet R3908_is_root_for_ArrayLengthAccess() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R462_is_deleted_by_DeleteSmt

      DeleteSmtSet R462_is_deleted_by_DeleteSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R471_determines_execution_of_blocks_for_IfSmt

      IfSmtSet R471_determines_execution_of_blocks_for_IfSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R472_determines_execution_of_block_for_WhileSmt

      WhileSmtSet R472_determines_execution_of_block_for_WhileSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R473_defines_return_value_for_ReturnSmt

      ReturnSmtSet R473_defines_return_value_for_ReturnSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R476_executed_by_ExpressionAsStatement

      ExpressionAsStatementSet R476_executed_by_ExpressionAsStatement() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R478_is_iterated_by_ForSmt

      ForSmtSet R478_is_iterated_by_ForSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R482_unrelated_from_formalizer_by_UnrelateSmt

      UnrelateSmtSet R482_unrelated_from_formalizer_by_UnrelateSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R483_unrelated_from_participant_by_UnrelateSmt

      UnrelateSmtSet R483_unrelated_from_participant_by_UnrelateSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R486_Generate

      GenerateSet R486_Generate() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R775_expressed_within_Statement

      StatementSet R775_expressed_within_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_Any

      AnySet R776_is_a_Any() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_ArrayElementReference

      ArrayElementReferenceSet R776_is_a_ArrayElementReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_ArrayLengthAccess

      ArrayLengthAccessSet R776_is_a_ArrayLengthAccess() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_AttributeAccess

      AttributeAccessSet R776_is_a_AttributeAccess() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_BinaryOperation

      BinaryOperationSet R776_is_a_BinaryOperation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_ConstantReference

      ConstantReferenceSet R776_is_a_ConstantReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_Creation

      CreationSet R776_is_a_Creation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_EnumeratorReference

      EnumeratorReferenceSet R776_is_a_EnumeratorReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_EventCreation

      EventCreationSet R776_is_a_EventCreation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_Invocation

      InvocationSet R776_is_a_Invocation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_Literal

      LiteralSet R776_is_a_Literal() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_MemberReference

      MemberReferenceSet R776_is_a_MemberReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_NamedReference

      NamedReferenceSet R776_is_a_NamedReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_ParameterReference

      ParameterReferenceSet R776_is_a_ParameterReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_ParenthesizedExpression

      ParenthesizedExpressionSet R776_is_a_ParenthesizedExpression() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_Promotion

      PromotionSet R776_is_a_Promotion() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_Select

      SelectSet R776_is_a_Select() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_Selected

      SelectedSet R776_is_a_Selected() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_UnaryOperation

      UnaryOperationSet R776_is_a_UnaryOperation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_VariableReference

      VariableReferenceSet R776_is_a_VariableReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R776_is_a_Where

      WhereSet R776_is_a_Where() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R777_is_single_operand_for_UnaryOperation

      UnaryOperationSet R777_is_single_operand_for_UnaryOperation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R778_is_right_operand_for_BinaryOperation

      BinaryOperationSet R778_is_right_operand_for_BinaryOperation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R779_is_left_operand_for_BinaryOperation

      BinaryOperationSet R779_is_left_operand_for_BinaryOperation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R783_is_basis_for_Any

      AnySet R783_is_basis_for_Any() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R784_is_wrapped_in_parentheses_by_ParenthesizedExpression

      ParenthesizedExpressionSet R784_is_wrapped_in_parentheses_by_ParenthesizedExpression() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R785_is_used_as_basis_for_AttributeAccess

      AttributeAccessSet R785_is_used_as_basis_for_AttributeAccess() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R787_is_used_as_basis_for_MemberReference

      MemberReferenceSet R787_is_used_as_basis_for_MemberReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R790_filtered_by_Where

      WhereSet R790_filtered_by_Where() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R791_is_basis_for_SelectRelated

      SelectRelatedSet R791_is_basis_for_SelectRelated() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R794_defines_value_for_ActualParameter

      ActualParameterSet R794_defines_value_for_ActualParameter() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R795_expresses_value_of_TypeReference

      TypeReferenceSet R795_expresses_value_of_TypeReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R796_defines_condtion_for_Where

      WhereSet R796_defines_condtion_for_Where() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R798_is_used_as_basis_for_Invocation

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