12345678910111213141516171819202122232425262728293031323334353637 |
- // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
- #ifndef __java_io_Console__
- #define __java_io_Console__
- #pragma interface
- #include <java/lang/Object.h>
- #include <gcj/array.h>
- class java::io::Console : public ::java::lang::Object
- {
- public:
- static ::java::io::Console * console();
- private:
- Console();
- public:
- ::java::io::PrintWriter * writer();
- ::java::io::Reader * reader();
- ::java::io::Console * format(::java::lang::String *, JArray< ::java::lang::Object * > *);
- ::java::io::Console * printf(::java::lang::String *, JArray< ::java::lang::Object * > *);
- ::java::lang::String * readLine(::java::lang::String *, JArray< ::java::lang::Object * > *);
- ::java::lang::String * readLine();
- JArray< jchar > * readPassword(::java::lang::String *, JArray< ::java::lang::Object * > *);
- JArray< jchar > * readPassword();
- void flush();
- private:
- static ::java::io::Console * console__;
- public:
- static ::java::lang::Class class$;
- };
- #endif // __java_io_Console__
|