Interface WhileStmtSet

All Superinterfaces:
Collection<WhileStmt>, io.ciera.runtime.summit.classes.IInstanceSet<WhileStmtSet,WhileStmt>, io.ciera.runtime.summit.types.ISet<WhileStmt>, Iterable<WhileStmt>, io.ciera.runtime.summit.types.IXtumlType, Set<WhileStmt>
All Known Implementing Classes:
WhileStmtSetImpl

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

    • setBlock_ID

      void setBlock_ID(io.ciera.runtime.summit.types.UniqueId ref_Block_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setStatement_ID

      void setStatement_ID(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setValue_ID

      void setValue_ID(io.ciera.runtime.summit.types.UniqueId ref_Value_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R603_is_a_ACT_SMT

      ACT_SMTSet R603_is_a_ACT_SMT() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R608_controls_Block

      BlockSet R608_controls_Block() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R626_continue_result_Value

      ValueSet R626_continue_result_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException