Class WhileSmtSetImpl

java.lang.Object
io.ciera.runtime.summit.types.Set<WhileSmt>
io.ciera.runtime.summit.classes.InstanceSet<WhileSmtSet,WhileSmt>
io.ciera.tool.sql.architecture.statement.impl.WhileSmtSetImpl
All Implemented Interfaces:
io.ciera.runtime.summit.classes.IInstanceSet<WhileSmtSet,WhileSmt>, io.ciera.runtime.summit.types.ISet<WhileSmt>, io.ciera.runtime.summit.types.IXtumlType, WhileSmtSet, Iterable<WhileSmt>, Collection<WhileSmt>, Set<WhileSmt>

public class WhileSmtSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<WhileSmtSet,WhileSmt> implements WhileSmtSet
  • Constructor Details

    • WhileSmtSetImpl

      public WhileSmtSetImpl()
    • WhileSmtSetImpl

      public WhileSmtSetImpl(Comparator<? super WhileSmt> comp)
  • Method Details

    • setBody_name

      public void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setBody_name in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setControl_block_number

      public void setControl_block_number(String ref_control_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setControl_block_number in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setBlock_number

      public void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setBlock_number in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setStatement_number

      public void setStatement_number(String ref_statement_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setStatement_number in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setCond_expression_number

      public void setCond_expression_number(String ref_cond_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setCond_expression_number in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setParent_name

      public void setParent_name(String ref_parent_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setParent_name in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setParent_package

      public void setParent_package(String ref_parent_package) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setParent_package in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R451_is_a_Statement

      public StatementSet R451_is_a_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R451_is_a_Statement in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R456_has_control_CodeBlock

      public CodeBlockSet R456_has_control_CodeBlock() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R456_has_control_CodeBlock in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R472_executes_block_while_true_Expression

      public ExpressionSet R472_executes_block_while_true_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R472_executes_block_while_true_Expression in interface WhileSmtSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • nullElement

      public WhileSmt nullElement()
      Specified by:
      nullElement in interface io.ciera.runtime.summit.types.ISet<WhileSmt>
    • emptySet

      public WhileSmtSet emptySet()
      Specified by:
      emptySet in interface io.ciera.runtime.summit.types.ISet<WhileSmt>
    • emptySet

      public WhileSmtSet emptySet(Comparator<? super WhileSmt> comp)
      Specified by:
      emptySet in interface io.ciera.runtime.summit.types.ISet<WhileSmt>
    • elements

      public List<WhileSmt> elements()
      Specified by:
      elements in interface io.ciera.runtime.summit.types.ISet<WhileSmt>