1 
2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
3 
4 #ifndef __gnu_java_awt_peer_ClasspathDesktopPeer__
5 #define __gnu_java_awt_peer_ClasspathDesktopPeer__
6 
7 #pragma interface
8 
9 #include <java/lang/Object.h>
10 #include <gcj/array.h>
11 
12 extern "Java"
13 {
14   namespace gnu
15   {
16     namespace java
17     {
18       namespace awt
19       {
20         namespace peer
21         {
22             class ClasspathDesktopPeer;
23             class GnomeDesktopPeer;
24             class KDEDesktopPeer;
25         }
26       }
27     }
28   }
29   namespace java
30   {
31     namespace awt
32     {
33         class Desktop$Action;
34       namespace peer
35       {
36           class DesktopPeer;
37       }
38     }
39     namespace net
40     {
41         class URI;
42     }
43   }
44 }
45 
46 class gnu::java::awt::peer::ClasspathDesktopPeer : public ::java::lang::Object
47 {
48 
49 public: // actually protected
50   ClasspathDesktopPeer();
51 public:
52   virtual jboolean isSupported(::java::awt::Desktop$Action *);
53   virtual void browse(::java::net::URI *);
54   virtual void edit(::java::io::File *);
55   virtual void mail(::java::net::URI *);
56   virtual void mail();
57   virtual void open(::java::io::File *);
58   virtual void print(::java::io::File *);
59 public: // actually protected
60   virtual ::java::lang::String * getCommand(::java::lang::String *);
61   virtual void checkPermissions();
62   virtual void checkPermissions(::java::io::File *, jboolean);
63   virtual void checkPrintPermissions(::java::io::File *);
64   virtual jboolean supportCommand(::java::lang::String *);
65 public:
66   static ::java::awt::peer::DesktopPeer * getDesktop();
67 public: // actually package-private
68   static JArray< jint > * $SWITCH_TABLE$java$awt$Desktop$Action();
69 public: // actually protected
70   static ::java::lang::String * _DEFAULT_BROWSER;
71   static ::java::lang::String * _BROWSE;
72   static ::java::lang::String * _MAIL;
73   static ::java::lang::String * _EDIT;
74   static ::java::lang::String * _PRINT;
75   static ::java::lang::String * _OPEN;
76   static ::gnu::java::awt::peer::KDEDesktopPeer * kde;
77   static ::gnu::java::awt::peer::GnomeDesktopPeer * gnome;
78   static ::gnu::java::awt::peer::ClasspathDesktopPeer * classpath;
79   ::java::util::prefs::Preferences * __attribute__((aligned(__alignof__( ::java::lang::Object)))) prefs;
80 private:
81   static JArray< jint > * $SWITCH_TABLE$java$awt$Desktop$Action__;
82 public:
83   static ::java::lang::Class class$;
84 };
85 
86 #endif // __gnu_java_awt_peer_ClasspathDesktopPeer__
87