| // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*- | |
| #ifndef __java_util_RandomAccess__ | |
| #define __java_util_RandomAccess__ | |
| #pragma interface | |
| #include <java/lang/Object.h> | |
| class java::util::RandomAccess : public ::java::lang::Object | |
| { | |
| public: | |
| static ::java::lang::Class class$; | |
| } __attribute__ ((java_interface)); | |
| #endif // __java_util_RandomAccess__ |