Interface IPassiveResourceSensor


  • public interface IPassiveResourceSensor
    Observer of a passive resource.
    • Method Detail

      • request

        void request​(ISchedulableProcess process,
                     long num)
        The given process has requested num instances of the passive resource but not yet acquired them.
      • acquire

        void acquire​(ISchedulableProcess process,
                     long num)
        The given process has successfully acquired num instances of the passive resource.
      • release

        void release​(ISchedulableProcess process,
                     long num)
        The given process has released num instances of the passive resource.