Interface IfSmtSet

All Superinterfaces:
Collection<IfSmt>, io.ciera.runtime.summit.classes.IInstanceSet<IfSmtSet,IfSmt>, io.ciera.runtime.summit.types.ISet<IfSmt>, Iterable<IfSmt>, io.ciera.runtime.summit.types.IXtumlType, Set<IfSmt>
All Known Implementing Classes:
IfSmtSetImpl

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

    • setCond_expression_number

      void setCond_expression_number(String ref_cond_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setThen_block_number

      void setThen_block_number(String ref_then_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
    • setElse_block_number

      void setElse_block_number(String ref_else_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setIs_else_if

      void setIs_else_if(boolean m_is_else_if) 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
    • setBlock_number

      void setBlock_number(String ref_block_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
    • setStatement_number

      void setStatement_number(String ref_statement_number) 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
    • R453_has_then_CodeBlock

      CodeBlockSet R453_has_then_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R454_has_else_CodeBlock

      CodeBlockSet R454_has_else_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R471_executes_then_block_if_true_Expression

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