xv_icons.c

Go to the documentation of this file.

/*
 
  $Id: xv_icons.c 23065 2016-03-02 09:05:50Z coelho $
 
  Copyright 1989-2016 MINES ParisTech
 
  This file is part of PIPS.
 
  PIPS is free software: you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  any later version.
 
  PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
  WARRANTY; without even the implied warranty of MERCHANTABILITY or
  FITNESS FOR A PARTICULAR PURPOSE.
 
  See the GNU General Public License for more details.
 
  You should have received a copy of the GNU General Public License
  along with PIPS.  If not, see <http://www.gnu.org/licenses/>.
 
*/
#ifdef HAVE_CONFIG_H
    #include "pips_config.h"
#endif
#include <stdio.h>
#include <stdlib.h>
 
#include <sys/time.h>
#include <sys/resource.h>
 
#include "genC.h"
#include "misc.h"
 
#undef test_undefined // also defined in glib included from gtk
#include <gtk/gtk.h>
#include "gpips.h"
 
enum {
        ICON_TEXT_HEIGHT = 20
};
 
/* To store the negative image for a blinking icon in the interrupt
 button: */
Server_image wpips_positive_server_image, wpips_negative_server_image;
 
static Server_image pips_icon_server_image[LAST_ICON];
 
typedef struct {
        char * name;
        unsigned short int bitmap[256];
} pips_icons_type;
 
static pips_icons_type pips_icons_data[LAST_ICON] = { { "pips", {
#include "pips.icon"
                } }, { "ICFG", {
#include "ICFG.icon"
                } }, { "callgraph", {
#include "callgraph.icon"
                } }, { "parallel", {
#include "parallel.icon"
                } }, { "sequential", {
#include "sequential.icon"
                } }, { "user", {
#include "user.icon"
                } } };
 
/*#include "logo_pips_small.xpm"*/
#include "logo_pips_small.xbm"
 
void create_icons() {
        int i;
 
        for (i = 0; i < LAST_ICON; i++) {
                pips_icon_server_image[i] = (Server_image) xv_create(NULL,
                                SERVER_IMAGE, XV_WIDTH, 64, XV_HEIGHT, 64, SERVER_IMAGE_BITS,
                                &pips_icons_data[i].bitmap[0], NULL);
        }
 
        set_pips_icon(main_frame, "pips", "Wpips");
}
 
Server_image create_status_window_pips_image() {
        /* To store the negative image for a blinking icon in the interrupt
         button: */
        char * inverted_pips_icon;
        int i;
        /*  Pixmap logo_pips_small_pixmap;
 
         logo_pips_small_pixmap = XCreatePixmap((Display *) xv_get(main_frame,
         XV_DISPLAY),
         (Window) xv_get(main_frame,
         XV_ID),
         */
        wpips_positive_server_image = (Server_image) xv_create(NULL, SERVER_IMAGE,
        /*SERVER_IMAGE_PIXMAP,
         logo_pips_small,
         SERVER_IMAGE_X_BITS,
         logo_pips_small,
         SERVER_IMAGE_DEPTH, 8,
         XV_WIDTH, 56,
         XV_HEIGHT, 51,*/
        SERVER_IMAGE_X_BITS, logo_pips_small_bits, XV_WIDTH, logo_pips_small_width,
                        XV_HEIGHT, logo_pips_small_height, NULL);
 
        inverted_pips_icon = (char *) malloc(sizeof(logo_pips_small_bits));
        for (i = 0; i < sizeof(logo_pips_small_bits); i++)
                inverted_pips_icon[i] = ~logo_pips_small_bits[i];
        wpips_negative_server_image = (Server_image) xv_create(NULL, SERVER_IMAGE,
                        SERVER_IMAGE_X_BITS, inverted_pips_icon, XV_WIDTH,
                        logo_pips_small_width, XV_HEIGHT, logo_pips_small_height, NULL);
        free(inverted_pips_icon);
 
        return wpips_positive_server_image;
}
 
void set_pips_icon(Frame frame, char * icon_name, char * icon_text) {
        int i;
        Server_image image = NULL;
 
        for (i = 0; i < LAST_ICON; i++) {
                if (strcmp(icon_name, pips_icons_data[i].name) == 0) {
                        image = pips_icon_server_image[i];
                        break;
                }
        }
        if (image != NULL) {
                /* Ok, the icon has been found */
                Icon icon;
                Rect image_rect, label_rect;
                int height, width;
 
                width = xv_get(image, XV_WIDTH);
                height = xv_get(image, XV_HEIGHT);
 
                rect_construct(&image_rect, 0, 0, width, height);
                rect_construct(&label_rect, 0, height + 5, width, ICON_TEXT_HEIGHT);
 
                /* Hum... Is there a need to free the old icon ? */
                /* Bug if we don't reuse an already existing frame's icon... */
                icon = (Icon) xv_get(frame, FRAME_ICON);
                /* fprintf(stderr, "0x%x\n", icon); */
                if (icon != NULL) {
                        /* If the owner of the icon is not NULL, the behaviour is crazy !
                         RK, 16/06/94. */
                        xv_set(icon, ICON_IMAGE, image, XV_WIDTH, width, XV_HEIGHT, height
                                        + ICON_TEXT_HEIGHT, ICON_IMAGE_RECT, &image_rect,
                                        ICON_LABEL, icon_text, ICON_LABEL_RECT, &label_rect, NULL);
                } else {
                        icon = (Icon) xv_create(NULL, ICON, ICON_IMAGE, image, XV_WIDTH,
                                        width, XV_HEIGHT, height + ICON_TEXT_HEIGHT,
                                        ICON_IMAGE_RECT, &image_rect, ICON_LABEL, icon_text,
                                        ICON_LABEL_RECT, &label_rect, NULL);
 
                        xv_set(frame, FRAME_ICON, icon, NULL);
                }
                /* If we want to place the icon on the screen :
                 rect.r_width= (int)xv_get(icon, XV_WIDTH);
                 rect.r_height= (int)xv_get(icon, XV_HEIGHT);
                 rect.r_left= 0;
                 rect.r_top= 0;
 
                 xv_set(frame, FRAME_ICON, icon,
                 FRAME_CLOSED_RECT, &rect,
                 NULL);
                 */
        }
}