Interface ForSmtSet

All Superinterfaces:
Collection<ForSmt>, io.ciera.runtime.summit.classes.IInstanceSet<ForSmtSet,ForSmt>, io.ciera.runtime.summit.types.ISet<ForSmt>, Iterable<ForSmt>, io.ciera.runtime.summit.types.IXtumlType, Set<ForSmt>
All Known Implementing Classes:
ForSmtSetImpl

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

    • setParent_package

      void setParent_package(String ref_parent_package) 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
    • setIterator_block_number

      void setIterator_block_number(String ref_iterator_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setControl_block_number

      void setControl_block_number(String ref_control_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setIterator_name

      void setIterator_name(String ref_iterator_name) 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
    • setStatement_number

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

      void setIterable_expression_number(String ref_iterable_expression_number) 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
    • R451_is_a_Statement

      StatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R455_has_control_CodeBlock

      CodeBlockSet R455_has_control_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R459_declares_as_iterator_Variable

      VariableSet R459_declares_as_iterator_Variable() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R478_iterates_over_Expression

      ExpressionSet R478_iterates_over_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException