Interface RelateSmtSet

All Superinterfaces:
Collection<RelateSmt>, io.ciera.runtime.summit.classes.IInstanceSet<RelateSmtSet,RelateSmt>, io.ciera.runtime.summit.types.ISet<RelateSmt>, Iterable<RelateSmt>, io.ciera.runtime.summit.types.IXtumlType, Set<RelateSmt>
All Known Implementing Classes:
RelateSmtSetImpl

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

    • setComp_package

      void setComp_package(String ref_comp_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
    • setBody_name

      void setBody_name(String ref_body_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setRel_name

      void setRel_name(String ref_rel_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setPart_expression_number

      void setPart_expression_number(String ref_part_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
    • setStatement_number

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

      void setForm_expression_number(String ref_form_expression_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setComp_name

      void setComp_name(String ref_comp_name) 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
    • R451_is_a_Statement

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

      ExpressionSet R479_relates_formalizing_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R480_relates_participating_Expression

      ExpressionSet R480_relates_participating_Expression() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R481_creates_instances_of_ClassRelationship

      ClassRelationshipSet R481_creates_instances_of_ClassRelationship() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException