src/jagi/event/Watcher.java

   1 package jagi.event;
   2
   3 import java.io.*;
   4 import java.nio.channels.*;
   5
   6 public interface Watcher {
   7     public SelectableChannel channel();
   8     public int events();
   9     public void handle(int events) throws Exception;
  10     public default void close() {}
  11     public default double timeout() {return(Double.POSITIVE_INFINITY);}
  12 }