GeoSoft API
A F M N R S

F

fileChanged(File) - Method in interface FileListener
Called when one of the monitored files are created, deleted or modified.
FileListener - interface FileListener.
Interface for listening to disk file changes.
FileMonitor - class FileMonitor.
Class for monitoring changes in disk files.
FileMonitor(long) - Constructor for class FileMonitor
Create a file monitor instance with specified polling interval.

GeoSoft API
A F M N R S
Copyright © 2004 - Geotechnical Software Services     geosoft.no