/*

  $Id$

  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 <xview/xview.h>
#include <xview/panel.h>
#include <xview/text.h>
#include <xview/svrimage.h>
#include <xview/icon.h>
#include <X11/Xlib.h>

#include "genC.h"
#include "misc.h"

#include "wpips.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"
  }}, {
      "WP65_PE", {
#include "WP65_PE.icon"
  }}, {
      "WP65_bank", {
#include "WP65_bank.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);
	   */
    }
}