Example #1
0
        // opcode 119 - get modifier mapping

        /**
         * @return valid: {@link Enum#next1()}
         * @see <a href="XModifierKeymap.html">XModifierKeymap</a>
         */
        public Enum modifier_mapping()
        {
            Request request = new Request(display, 119, 1);

            Data reply = display.read_reply(request);

            return(new Enum(reply, 32, reply.read1(1)));
        }
Example #2
0
        // opcode 99 - list extensions

        /**
         * @return valid: {@link Enum#next_string()}
         * @see <a href="XListExtensions.html">XListExtensions</a>
         */
        public Enum extensions()
        {
            Request request = new Request(this, 99, 1);

            Data reply = read_reply(request);

            return(new Enum(reply, 32, reply.read1(1)));
        }
Example #3
0
        public void init_server_info(Data reply)
        {
            connected     = true;
            release_no    = reply.read4(8);
            resource_base = reply.read4(12);
            resource_mask = reply.read4(16);
            int vendor_length = reply.read2(24);

            extended_maximum_request_length
                = maximum_request_length = reply.read2(26);
            int screen_count        = reply.read1(28);
            int pixmap_format_count = reply.read1(29);

            image_byte_order            = reply.read1(30);
            bitmap_format_bit_order     = reply.read1(31);
            bitmap_format_scanline_unit = reply.read1(32);
            bitmap_format_scanline_pad  = reply.read1(33);

            int min_keycode = reply.read1(34);
            int max_keycode = reply.read1(35);

            input = new Input(this, min_keycode, max_keycode);
            input.keyboard_mapping();

            vendor = reply.read_string(40, vendor_length);

            // pixmap formats
            pixmap_formats = new Pixmap.Format [pixmap_format_count];
            int pixmap_formats_offset = 40 + Data.len(vendor_length);

            for (int i = 0; i < pixmap_format_count; i++)
            {
                pixmap_formats [i] = new Pixmap.Format(
                    reply, pixmap_formats_offset + i * 8);
            }

            // screens

            if (default_screen_no < 0 || default_screen_no >= screen_count)
            {
                throw new Exception("Invalid screen number (screen-count "
                                    + screen_count + "): " + default_screen_no);
            }

            screens = new Screen [screen_count];
            int screen_offset = pixmap_formats_offset + 8 * pixmap_format_count;

            for (int i = 0; i < screen_count; i++)
            {
                screens [i]    = new Screen(this, reply, screen_offset);
                screen_offset += screens [i].Length;
            }
        }
Example #4
0
        public Event read_event(bool blocking, bool remove)
        {
            if (events.Count > 0)
            {
                lock (events) {
                    Event evt = (Event)events[0];
                    events.Remove(0);
                    return(evt);
                }
            }

            Data message = null;

            while (message == null)
            {
                /* ALWAYS yield, despite priorities of threads, to the thread running
                 * `read_reply(Request)' to avoid dead-lock.
                 *
                 * Note that yielding once does not guarantee the thread running
                 * `read_reply(Request)' will gain the control even when they have a
                 * higher priority than this thread. We must repeatively yield until
                 * it does so. The number of yields is unbounded.
                 *
                 * Reference: http://www.eng.uiowa.edu/~skaliann/books/jthreads/index.htm.
                 */
                while (reading_reply)
                {
                    Thread.SpinWait(100);
                }

                lock (read_lock) {
                    message = read_message(blocking);
                    if (message.read1(0) == 1) // reply
                    {
                        saved_reply = message;
                        message     = null;
                    }
                }
            }

            if (!remove)
            {
                events.Add(message);
            }
            return((Event)message);
        }
Example #5
0
        // opcode 101 - get keyboard mapping

        /**
         * @see <a href="XGetKeyboardMapping.html">XGetKeyboardMapping</a>
         */
        public void keyboard_mapping()
        {
            int keysym_count = max_keycode - min_keycode + 1;

            Request request = new Request(display, 101, 2);

            request.write1(min_keycode);
            request.write1(keysym_count);
            Data reply = display.read_reply(request);

            keysyms_per_keycode = reply.read1(1);
            keysyms             = new int [keysym_count];

            for (int i = 0; i < keysym_count; i++)
            {
                keysyms [i] = reply.read4(32 + 4 * i * keysyms_per_keycode);
            }
        }
Example #6
0
        public void init_server_info(Data reply)
        {
            connected = true;
            release_no = reply.read4 (8);
            resource_base = reply.read4 (12);
            resource_mask = reply.read4 (16);
            int vendor_length = reply.read2 (24);
            extended_maximum_request_length
              = maximum_request_length = reply.read2 (26);
            int screen_count = reply.read1 (28);
            int pixmap_format_count = reply.read1 (29);

            image_byte_order = reply.read1 (30);
            bitmap_format_bit_order = reply.read1 (31);
            bitmap_format_scanline_unit = reply.read1 (32);
            bitmap_format_scanline_pad = reply.read1 (33);

            int min_keycode = reply.read1 (34);
            int max_keycode = reply.read1 (35);
            input = new Input (this, min_keycode, max_keycode);
            input.keyboard_mapping ();

            vendor = reply.read_string (40, vendor_length);

            // pixmap formats
            pixmap_formats = new Pixmap.Format [pixmap_format_count];
            int pixmap_formats_offset = 40 + Data.len (vendor_length);
            for (int i=0; i<pixmap_format_count; i++)
              pixmap_formats [i] = new Pixmap.Format (
            reply, pixmap_formats_offset + i*8);

            // screens

            if (default_screen_no < 0 || default_screen_no >= screen_count)
              throw new Exception ("Invalid screen number (screen-count "
            + screen_count + "): " + default_screen_no);

            screens = new Screen [screen_count];
            int screen_offset = pixmap_formats_offset + 8*pixmap_format_count;
            for (int i=0; i<screen_count; i++) {
              screens [i] = new Screen (this, reply, screen_offset);
              screen_offset += screens [i].Length;
            }
        }