Interface InterfaceOperationInvocationSet

All Superinterfaces:
Collection<InterfaceOperationInvocation>, io.ciera.runtime.summit.classes.IInstanceSet<InterfaceOperationInvocationSet,InterfaceOperationInvocation>, io.ciera.runtime.summit.types.ISet<InterfaceOperationInvocation>, Iterable<InterfaceOperationInvocation>, io.ciera.runtime.summit.types.IXtumlType, Set<InterfaceOperationInvocation>
All Known Implementing Classes:
InterfaceOperationInvocationSetImpl

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

    • 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
    • setOpNameColumn

      void setOpNameColumn(int m_opNameColumn) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setOwnerNameColumn

      void setOwnerNameColumn(int m_ownerNameColumn) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setRequiredOp_Id

      void setRequiredOp_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredOp_Id) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setProvidedOp_Id

      void setProvidedOp_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedOp_Id) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setOwnerNameLineNumber

      void setOwnerNameLineNumber(int m_ownerNameLineNumber) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setOpNameLineNumber

      void setOpNameLineNumber(int m_opNameLineNumber) 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
    • R629_has_target_Value

      ValueSet R629_has_target_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R657_is_invocation_of_RequiredOperation

      RequiredOperationSet R657_is_invocation_of_RequiredOperation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R679_takes_V_PAR

      V_PARSet R679_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R680_is_invocation_of_ProvidedOperation

      ProvidedOperationSet R680_is_invocation_of_ProvidedOperation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException