2013-12-18 Janus Weil <janus@gcc.gnu.org>
[official-gcc.git] / libjava / java / nio / channels / spi / SelectorProvider.h
bloba6b7052beabe5b8290a04ab9923a4a085aa52e74
2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
4 #ifndef __java_nio_channels_spi_SelectorProvider__
5 #define __java_nio_channels_spi_SelectorProvider__
7 #pragma interface
9 #include <java/lang/Object.h>
10 extern "Java"
12 namespace java
14 namespace nio
16 namespace channels
18 class Channel;
19 class DatagramChannel;
20 class Pipe;
21 class ServerSocketChannel;
22 class SocketChannel;
23 namespace spi
25 class AbstractSelector;
26 class SelectorProvider;
33 class java::nio::channels::spi::SelectorProvider : public ::java::lang::Object
36 public: // actually protected
37 SelectorProvider();
38 public:
39 virtual ::java::nio::channels::DatagramChannel * openDatagramChannel() = 0;
40 virtual ::java::nio::channels::Pipe * openPipe() = 0;
41 virtual ::java::nio::channels::spi::AbstractSelector * openSelector() = 0;
42 virtual ::java::nio::channels::ServerSocketChannel * openServerSocketChannel() = 0;
43 virtual ::java::nio::channels::SocketChannel * openSocketChannel() = 0;
44 virtual ::java::nio::channels::Channel * inheritedChannel();
45 static ::java::nio::channels::spi::SelectorProvider * provider();
46 private:
47 static ::java::nio::channels::spi::SelectorProvider * systemDefaultProvider;
48 public:
49 static ::java::lang::Class class$;
52 #endif // __java_nio_channels_spi_SelectorProvider__