libjava/gnu/java/rmi/activation/DefaultActivationSystem.h

   1
   2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
   3
   4 #ifndef __gnu_java_rmi_activation_DefaultActivationSystem__
   5 #define __gnu_java_rmi_activation_DefaultActivationSystem__
   6
   7 #pragma interface
   8
   9 #include <java/lang/Object.h>
  10 extern "Java"
  11 {
  12   namespace gnu
  13   {
  14     namespace java
  15     {
  16       namespace rmi
  17       {
  18         namespace activation
  19         {
  20             class DefaultActivationSystem;
  21         }
  22       }
  23     }
  24   }
  25   namespace java
  26   {
  27     namespace rmi
  28     {
  29       namespace activation
  30       {
  31           class ActivationSystem;
  32       }
  33     }
  34   }
  35 }
  36
  37 class gnu::java::rmi::activation::DefaultActivationSystem : public ::java::lang::Object
  38 {
  39
  40 public:
  41   DefaultActivationSystem();
  42   static ::java::rmi::activation::ActivationSystem * get();
  43 public: // actually package-private
  44   static ::java::rmi::activation::ActivationSystem * system;
  45   static jint ACTIVATION_REGISTRY_PORT;
  46   static ::java::lang::String * AS_PORT_PROPERTY;
  47   static ::java::lang::String * ACTIVATION_SYSTEM_NAME;
  48 public:
  49   static ::java::lang::Class class$;
  50 };
  51
  52 #endif // __gnu_java_rmi_activation_DefaultActivationSystem__