| |
| // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*- |
| |
| #ifndef __gnu_java_rmi_activation_DefaultActivationSystem__ |
| #define __gnu_java_rmi_activation_DefaultActivationSystem__ |
| |
| #pragma interface |
| |
| #include <java/lang/Object.h> |
| extern "Java" |
| { |
| namespace gnu |
| { |
| namespace java |
| { |
| namespace rmi |
| { |
| namespace activation |
| { |
| class DefaultActivationSystem; |
| } |
| } |
| } |
| } |
| namespace java |
| { |
| namespace rmi |
| { |
| namespace activation |
| { |
| class ActivationSystem; |
| } |
| } |
| } |
| } |
| |
| class gnu::java::rmi::activation::DefaultActivationSystem : public ::java::lang::Object |
| { |
| |
| public: |
| DefaultActivationSystem(); |
| static ::java::rmi::activation::ActivationSystem * get(); |
| public: // actually package-private |
| static ::java::rmi::activation::ActivationSystem * system; |
| static jint ACTIVATION_REGISTRY_PORT; |
| static ::java::lang::String * AS_PORT_PROPERTY; |
| static ::java::lang::String * ACTIVATION_SYSTEM_NAME; |
| public: |
| static ::java::lang::Class class$; |
| }; |
| |
| #endif // __gnu_java_rmi_activation_DefaultActivationSystem__ |