benchmarks/original_interfaces/CameraCallback.java

   1 package iotcode.interfaces;
   2
   3 // RMI Packages
   4 import java.rmi.Remote;
   5 import java.rmi.RemoteException;
   6
   7 // Checker annotations
   8 import iotchecker.qual.NonLocalRemote;
   9
  10 /** Camera Callback for when a camera changes state (new frame available).
  11  *
  12  * @author      Ali Younis <ayounis @ uci.edu>
  13  * @version     1.0
  14  * @since       2016-01-27
  15  */
  16
  17 public interface CameraCallback extends Remote {
  18
  19         /** Callback method for when a new camera frame is available.
  20          *   Called when a new frame is ready by the camera and the camera
  21          *   can be checked for the frame data.
  22          *
  23          *   @param _camera [Camera] .
  24          *
  25          *   @return [void] None.
  26          */
  27         public void newCameraFrameAvailable(@NonLocalRemote Camera _camera) throws RemoteException;
  28 }