wasCSharpSQLite – Blame information for rev 4
?pathlinks?
Rev | Author | Line No. | Line |
---|---|---|---|
1 | office | 1 | /* |
2 | * EventDeleter.java -- |
||
3 | * |
||
4 | * Interface for deleting events in the notifier's event queue. |
||
5 | * |
||
6 | * Copyright (c) 1997 Sun Microsystems, Inc. |
||
7 | * |
||
8 | * See the file "license.terms" for information on usage and |
||
9 | * redistribution of this file, and for a DISCLAIMER OF ALL |
||
10 | * WARRANTIES. |
||
11 | * |
||
12 | * Included in SQLite3 port to C# for use in testharness only; 2008 Noah B Hart |
||
13 | * |
||
14 | * RCS @(#) $Id: EventDeleter.java,v 1.1.1.1 1998/10/14 21:09:14 cvsadmin Exp $ |
||
15 | * |
||
16 | */ |
||
17 | using System; |
||
18 | namespace tcl.lang |
||
19 | { |
||
20 | |||
21 | /* |
||
22 | * This is the interface for deleting events in the notifier's event |
||
23 | * queue. It's used together with the Notifier.deleteEvents() method. |
||
24 | * |
||
25 | */ |
||
26 | |||
27 | public interface EventDeleter |
||
28 | { |
||
29 | |||
30 | /* |
||
31 | *---------------------------------------------------------------------- |
||
32 | * |
||
33 | * deleteEvent -- |
||
34 | * |
||
35 | * This method is called once for each event in the event |
||
36 | * queue. It returns 1 for all events that should be deleted and |
||
37 | * 0 for events that should remain in the queue. |
||
38 | * |
||
39 | * If this method determines that an event should be removed, it |
||
40 | * should perform appropriate clean up on the event object. |
||
41 | * |
||
42 | * Results: |
||
43 | * 1 means evt should be removed from the event queue. 0 |
||
44 | * otherwise. |
||
45 | * |
||
46 | * Side effects: |
||
47 | * After this method returns 1, the event will be removed from the |
||
48 | * event queue and will not be processed. |
||
49 | * |
||
50 | *---------------------------------------------------------------------- |
||
51 | */ |
||
52 | |||
53 | int deleteEvent( TclEvent evt ); // Check whether this event should be removed. |
||
54 | } // end EventDeleter |
||
55 | } |