FOREIGN MODULE javax_swing_filechooser; IMPORT java_io := "java.io", java_lang := "java.lang", java_beans := "java.beans", java_net := "java.net", javax_swing := "javax.swing", sun_awt_shell := "sun.awt.shell"; TYPE FileFilter* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : FileFilter,CONSTRUCTOR; END; FileNameExtensionFilter* = POINTER TO RECORD (FileFilter) (* Typebound Procedures *) STATIC PROCEDURE Init*( p0 : java_lang.String; IN p1 : ARRAY OF java_lang.String) : FileNameExtensionFilter,CONSTRUCTOR; END; FileSystemView* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE getFileSystemView*() : FileSystemView; PROCEDURE Init*() : FileSystemView,CONSTRUCTOR; END; FileView* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : FileView,CONSTRUCTOR; END; PROCEDURE (self:FileFilter) accept*(p0 : java_io.File) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:FileFilter) getDescription*() : java_lang.String,NEW,ABSTRACT; PROCEDURE (self:FileNameExtensionFilter) accept*(p0 : java_io.File) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:FileNameExtensionFilter) getDescription*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:FileNameExtensionFilter) getExtensions*() : POINTER TO ARRAY OF java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:FileNameExtensionFilter) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:FileSystemView) createFileObject*(p0 : java_io.File; p1 : java_lang.String) : java_io.File,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) createFileObject*(p0 : java_lang.String) : java_io.File,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) createFileSystemRoot!(p0 : java_io.File) : java_io.File,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) createNewFolder*(p0 : java_io.File) : java_io.File,NEW,ABSTRACT; PROCEDURE (self:FileSystemView) getChild*(p0 : java_io.File; p1 : java_lang.String) : java_io.File,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) getDefaultDirectory*() : java_io.File,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) getFiles*(p0 : java_io.File; p1 : BOOLEAN) : POINTER TO ARRAY OF java_io.File,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) getHomeDirectory*() : java_io.File,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) getParentDirectory*(p0 : java_io.File) : java_io.File,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) getRoots*() : POINTER TO ARRAY OF java_io.File,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) getSystemDisplayName*(p0 : java_io.File) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) getSystemIcon*(p0 : java_io.File) : javax_swing.Icon,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) getSystemTypeDescription*(p0 : java_io.File) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) isComputerNode*(p0 : java_io.File) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) isDrive*(p0 : java_io.File) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) isFileSystem*(p0 : java_io.File) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) isFileSystemRoot*(p0 : java_io.File) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) isFloppyDrive*(p0 : java_io.File) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) isHiddenFile*(p0 : java_io.File) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) isParent*(p0 : java_io.File; p1 : java_io.File) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) isRoot*(p0 : java_io.File) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:FileSystemView) isTraversable*(p0 : java_io.File) : java_lang.Boolean,NEW,EXTENSIBLE; PROCEDURE (self:FileView) getDescription*(p0 : java_io.File) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:FileView) getIcon*(p0 : java_io.File) : javax_swing.Icon,NEW,EXTENSIBLE; PROCEDURE (self:FileView) getName*(p0 : java_io.File) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:FileView) getTypeDescription*(p0 : java_io.File) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:FileView) isTraversable*(p0 : java_io.File) : java_lang.Boolean,NEW,EXTENSIBLE; END javax_swing_filechooser.