Interface SignalInvocationSet

All Superinterfaces:
Collection<SignalInvocation>, io.ciera.runtime.summit.classes.IInstanceSet<SignalInvocationSet,SignalInvocation>, io.ciera.runtime.summit.types.ISet<SignalInvocation>, Iterable<SignalInvocation>, io.ciera.runtime.summit.types.IXtumlType, Set<SignalInvocation>
All Known Implementing Classes:
SignalInvocationSetImpl

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

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

      void setRequiredSig_Id(io.ciera.runtime.summit.types.UniqueId ref_RequiredSig_Id) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSigNameColumn

      void setSigNameColumn(int m_sigNameColumn) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSigNameLineNumber

      void setSigNameLineNumber(int m_sigNameLineNumber) 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
    • setProvidedSig_Id

      void setProvidedSig_Id(io.ciera.runtime.summit.types.UniqueId ref_ProvidedSig_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
    • 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
    • R630_has_target_Value

      ValueSet R630_has_target_Value() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R660_is_invocation_of_RequiredSignal

      RequiredSignalSet R660_is_invocation_of_RequiredSignal() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R662_takes_V_PAR

      V_PARSet R662_takes_V_PAR() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R663_is_invocation_of_ProvidedSignal

      ProvidedSignalSet R663_is_invocation_of_ProvidedSignal() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException