4b85c80934d30ece9957665db6558e629527b185
[jagi.git] / 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 }