1 //<Script type="text/javascript">
2 //var Gio = imports.gi.Gio;
3 //var GLib = imports.gi.GLib;
5 //var XObject = imports.XObject.XObject;
6 //var File = imports.File.File;
8 /// # valac --pkg gio-2.0 --pkg posix Monitor.vala -o /tmp/Monitor
11 //using Gee; // for array list?
13 static int main (string[] args) {
14 // A reference to our file
15 //var file = File.new_for_path ("data.txt");
16 MainLoop loop = new MainLoop ();
18 var m = new Monitor();
20 m.add("/home/alan/gitlive");
29 public class MonitorNamePathDir {
35 public MonitorNamePathDir(string name, string path, string dir)
47 public delegate void onEventHander (FileMonitor fm, File f_orig, File of_orig, FileMonitorEvent event_type);
51 * Monitor class - handles monitor managment for a large tree...
58 change : function () {
63 * x.stop() // stops all scanning.
64 * x.play(); // starts the scanning
71 public class Monitor : Object
80 this.monitors = new Array<FileMonitor> ();
81 this.top = new Array<string> ();
85 public Array<FileMonitor> monitors;// Array of MonitorNamePathDirileMonitors
86 public Array<string> top; // list of top level directories..
89 * add a directory or file to monitor
91 public void add (string add)
94 print("Monitor.add: " + add);
95 this.top.append_val(add);
102 for(int i = 0; i < this.top.length ; i++) {
103 this.monitor(this.top.index(i));
107 * stop / pause monitoring
113 for(int i = 0; i < this.monitors.length ; i++) {
114 this.monitors.index(i).cancel();
116 this.monitors = new Array<FileMonitor>(); // clean /destroy/ kill old?
119 * pause monitoring - without changing what's monitored
126 * resume monitoring - without changing what's monitored
133 * monitor a file or directory (privatish)
135 * initially called with ~/gitlive null 0 (effectvely)
139 public void monitor(string path, int depth = 0)
142 //GLib.debug("ADD: (%d): %s\n", depth, path);
144 //depth = typeof(depth) == 'number' ? depth *1 : 0;
145 depth = depth > 0 ? depth *1 : 0;
148 //fn = fn || function (fm, f, of, event_type, uh) {
149 // _this.onEvent(fm, f, of, event_type, uh);
152 var f = File.new_for_path(path);
153 //var cancel = new Gio.Cancellable ();
157 var fm = f.monitor(FileMonitorFlags.SEND_MOVED + FileMonitorFlags.WATCH_MOVES,null);
158 //var fm = f.monitor(FileMonitorFlags.WATCH_MOVES,null);
160 fm.changed.connect( this.onEvent );
161 this.monitors.append_val(fm);
164 GLib.debug("Error adding monitor: %s", e.message);
165 // FIXME -- show error? do nothing..
167 // print("ADD path " + depth + ' ' + path);
170 // - this is not used.
171 //if (GLib.file_test(path + '/.git' , GLib.FileTest.IS_DIR) && this.initRepo) {
173 // this.initRepo(path);
175 FileEnumerator file_enum;
176 var cancellable = new Cancellable ();
178 file_enum = f.enumerate_children(
179 FileAttribute.STANDARD_DISPLAY_NAME + "," + FileAttribute.STANDARD_TYPE,
180 FileQueryInfoFlags.NOFOLLOW_SYMLINKS, // FileQueryInfoFlags.NONE,
183 // FIXME - show error..
188 while (cancellable.is_cancelled () == false ) {
190 next_file = file_enum .next_file (cancellable);
196 if (next_file == null) {
200 //print("got a file " + next_file.sudo () + '?=' + Gio.FileType.DIRECTORY);
202 if (next_file.get_file_type() != FileType.DIRECTORY) {
208 //stdout.printf("Monitor.monitor: got file %s : type :%u\n",
209 // next_file.get_display_name(), next_file.get_file_type());
212 if (next_file.get_is_symlink()) {
217 if (next_file.get_display_name()[0] == '.') {
221 var sp = path+"/"+next_file.get_display_name();
223 //print("got a file : " + sp);
229 this.monitor(sp, depth + 1);
233 file_enum.close(null);
241 public File realpath(File file)
247 if (FileUtils.test(file.get_path(), FileTest.EXISTS)) {
248 var rp = Posix.realpath(file.get_path());
249 return File.new_for_path(rp);
252 // file does not currently exist..
255 // FIX ME - string split?/?
256 var bn = file.get_basename();
257 var ar = file.get_path().split("/");
258 ar.resize(ar.length-1);
259 var dirname = string.joinv("/",ar );
260 var rp = Posix.realpath(dirname);
261 return File.new_for_path(rp + "/" + bn);
268 public void onEvent(File f_orig, File? of_orig, FileMonitorEvent event_type)
273 // print("onEvent\n");
274 var f = this.realpath(f_orig);
277 MonitorNamePathDir src = new MonitorNamePathDir( f.get_basename(), f.get_path() , Path.get_dirname(f.get_path()));
281 //string event_name = "UKNOWN";
284 // extract the event names ... - not sure if introspection is feasible in vala..
285 //for(var i in Gio.FileMonitorEvent) {
286 // if (Gio.FileMonitorEvent[i] == event_type) {
294 //print (JSON.stringify([event_name , f.get_path(), of ? of.get_path() : false ] ));
295 //print ("got src: " + src.toString());
296 //print ("got event: " + src.toString());
301 case FileMonitorEvent.CHANGED:
302 src.action = "changed";
304 return; // ingore thise?? -wait for changes_done_htin?
306 case FileMonitorEvent.CHANGES_DONE_HINT:
307 src.action = "changed";
308 this.onChangesDoneHint(src);
311 case FileMonitorEvent.DELETED:
316 case FileMonitorEvent.CREATED:
317 src.action = "created";
321 case FileMonitorEvent.ATTRIBUTE_CHANGED: // eg. chmod/chatt
322 src.action = "attrib";
323 this.onAttributeChanged(src);
326 case FileMonitorEvent.MOVED: // eg. chmod/chatt
327 case FileMonitorEvent.MOVED_IN: // eg. chmod/chatt
328 case FileMonitorEvent.MOVED_OUT: // eg. chmod/chatt
329 case FileMonitorEvent.RENAMED: // eg. chmod/chatt
331 var of = this.realpath(of_orig);
332 var dest = new MonitorNamePathDir(
335 Path.get_dirname(of.get_path())
338 src.action = "moved";
339 dest.action = "moved";
340 this.onMoved(src,dest);
345 stdout.printf("event type not handled %u", event_type);
347 // rest are mount related - not really relivant.. maybe add later..
356 /** override these to do stuff.. */
357 //public void initRepo(MonitorNamePathDir src) { } // called on startup at the top level repo dir.
358 public virtual void onChanged(MonitorNamePathDir src) { }
359 public virtual void onChangesDoneHint(MonitorNamePathDir src) { }
360 public virtual void onDeleted(MonitorNamePathDir src) { }
361 public virtual void onCreated(MonitorNamePathDir src) { }
362 public virtual void onAttributeChanged(MonitorNamePathDir src) { }
363 public virtual void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest) { }