Interface StatementSet

All Superinterfaces:
Collection<Statement>, io.ciera.runtime.summit.classes.IInstanceSet<StatementSet,Statement>, io.ciera.runtime.summit.types.ISet<Statement>, Iterable<Statement>, io.ciera.runtime.summit.types.IXtumlType, Set<Statement>
All Known Implementing Classes:
StatementSetImpl

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

    • setPrefix

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

      void setStatement_number(String m_statement_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
    • setActions

      void setActions(String m_actions) 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
    • setNext_statement_number

      void setNext_statement_number(String ref_next_statement_number) 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_package

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

      CodeBlockSet R450_is_contained_by_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_BreakSmt

      BreakSmtSet R451_is_a_BreakSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_ContinueSmt

      ContinueSmtSet R451_is_a_ContinueSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_DeleteSmt

      DeleteSmtSet R451_is_a_DeleteSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_ExpressionAsStatement

      ExpressionAsStatementSet R451_is_a_ExpressionAsStatement() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_ForSmt

      ForSmtSet R451_is_a_ForSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_Generate

      GenerateSet R451_is_a_Generate() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_Halt

      HaltSet R451_is_a_Halt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_IfSmt

      IfSmtSet R451_is_a_IfSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_NullSmt

      NullSmtSet R451_is_a_NullSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_RelateSmt

      RelateSmtSet R451_is_a_RelateSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_ReturnSmt

      ReturnSmtSet R451_is_a_ReturnSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_UnrelateSmt

      UnrelateSmtSet R451_is_a_UnrelateSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_WhileSmt

      WhileSmtSet R451_is_a_WhileSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R457_declares_Variable

      VariableSet R457_declares_Variable() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R477_executes_after_Statement

      StatementSet R477_executes_after_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R477_executes_before_Statement

      StatementSet R477_executes_before_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R485_finalizes_Finalization

      FinalizationSet R485_finalizes_Finalization() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R775_may_contain_Expression

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