Interface VariableSet

All Superinterfaces:
Collection<Variable>, io.ciera.runtime.summit.classes.IInstanceSet<VariableSet,Variable>, io.ciera.runtime.summit.types.ISet<Variable>, Iterable<Variable>, io.ciera.runtime.summit.types.IXtumlType, Set<Variable>
All Known Implementing Classes:
VariableSetImpl

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

    • setReadonly

      void setReadonly(boolean m_readonly) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setType_reference_name

      void setType_reference_name(String ref_type_reference_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setType_package

      void setType_package(String ref_type_package) 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
    • setBody_name

      void setBody_name(String ref_body_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
    • setName

      void setName(String m_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setType_name

      void setType_name(String ref_type_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
    • setBlock_number

      void setBlock_number(String ref_block_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R457_is_declared_by_Statement

      StatementSet R457_is_declared_by_Statement() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R458_is_in_scope_for_VariableInScope

      VariableInScopeSet R458_is_in_scope_for_VariableInScope() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R459_is_iterator_for_ForSmt

      ForSmtSet R459_is_iterator_for_ForSmt() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R461_is_typed_by_TypeReference

      TypeReferenceSet R461_is_typed_by_TypeReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R485_finalized_by_Finalization

      FinalizationSet R485_finalized_by_Finalization() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R782_referenced_through_VariableReference

      VariableReferenceSet R782_referenced_through_VariableReference() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException