PIPS
|
#include <stdlib.h>
#include <stdio.h>
#include <sys/param.h>
#include <sys/time.h>
#include <sys/resource.h>
#include <gtk/gtk.h>
#include "genC.h"
#include "linear.h"
#include "misc.h"
#include "pipsdbm.h"
#include "ri-util.h"
#include "database.h"
#include "pipsmake.h"
#include "resources.h"
#include "constants.h"
#include "top-level.h"
#include "gpips.h"
#include "gpips-labels.h"
#include "gpips_view_menu_layout.h"
Go to the source code of this file.
Data Structures | |
struct | EditedFile |
Functions | |
void | edit_notify (GtkWidget *widget, gpointer data) |
void | buffer_changed_callback (GtkWidget *widget, gpointer data) |
static void | save_edited_file (GtkWidget *widget, gpointer file) |
void | current_selection_notify (GtkWidget *widget, gpointer data) |
char * | compute_title_string (int window_number) |
int | alloc_first_initialized_window (bool the_same_as_previous) |
Find the first free window if any. More... | |
bool | gpips_view_marked_busy (char *title_module_name, char *title_label, char *icon_name, char *icon_title) |
Mark a gpips window as busy: More... | |
void | gpips_file_view (char *file_name, const char *title_module_name, char *title_label, char *icon_name, char *icon_title) |
Display a file in a gpips window: More... | |
void | gpips_display_graph_file_display (gpips_view_menu_layout_line *menu_line) |
Use daVinci to display a graph information: More... | |
void | gpips_display_plain_file (gpips_view_menu_layout_line *menu_line) |
Use some text viewer to display the resource: More... | |
void | execute_gpips_execute_and_display_something_outside_the_notifier () |
To execute something and display some Pips output with gpips, called outside the notifyer: More... | |
void | gpips_execute_and_display_something_outside_the_notifyer (gpips_view_menu_layout_line *menu_line) |
void | gpips_execute_and_display_something (char *resource_name) |
To execute something and display some Pips output with gpips. More... | |
void | gpips_execute_and_display_something_from_alias (const char *alias_name) |
To execute something and display some Pips output with gpips by knowing its alias: More... | |
void | view_notify (GtkWidget *menu_item, gpointer data) |
void | edit_close_notify (GtkWidget *widget, gpointer data) |
void | disable_item (GtkWidget *item) |
void | enable_item (GtkWidget *item) |
void | apply_on_each_view_menu_item (GtkWidget *widget, gpointer _func) |
void | apply_on_each_options_frame_button (GtkWidget *widget, gpointer _func) |
void | apply_on_each_view_item (void(*function_to_apply_on_each_menu_item)(GtkWidget *), void(*function_to_apply_on_each_panel_item)(GtkWidget *)) |
void | disable_view_selection () |
void | enable_view_selection () |
void | create_edit_window () |
void | create_edit_menu () |
Variables | |
char | vcid_xv_edit2 [] |
A% ( More... | |
static gpips_view_menu_layout_line | gpips_view_menu_layout [] |
lint More... | |
static EditedFile | edited_file [MAX_NUMBER_OF_GPIPS_WINDOWS] |
int | number_of_gpips_windows = INITIAL_NUMBER_OF_GPIPS_WINDOWS |
static GtkWidget * | current_selection_menu_item |
static GtkWidget * | close_menu_item |
static GtkWidget * | sequential_view_menu_item |
GtkWidget * | edit_menu_item |
GtkWidget * | view_menu |
The menu "View" on the main panel: More... | |
GtkWidget * | view_menu_item |
static gpips_view_menu_layout_line * | execute_gpips_execute_and_display_something_outside_the_notifyer_menu_line |
To pass the view name to execute_gpips_execute_and_display_something_outside_the_notifyer(): More... | |
Find the first free window if any.
If called with TRUE, give the same as the previous chosen one.
Skip windows with modified text inside :
Skip windows with a retain attribute :
Definition at line 215 of file gtk_edit2.c.
References edited_file, gpips_gtk_widget_get_sensitive(), NO_TEXTSW_AVAILABLE, and number_of_gpips_windows.
Referenced by edit_notify(), gpips_file_view(), gpips_view_marked_busy(), and notify_hpfc_file_view().
void apply_on_each_options_frame_button | ( | GtkWidget * | widget, |
gpointer | _func | ||
) |
Definition at line 476 of file gtk_edit2.c.
Referenced by apply_on_each_view_item().
void apply_on_each_view_item | ( | void(*)(GtkWidget *) | function_to_apply_on_each_menu_item, |
void(*)(GtkWidget *) | function_to_apply_on_each_panel_item | ||
) |
Skip the "current_selection_mi" and "close" Menu_items:
Now walk through the options frame:
Definition at line 483 of file gtk_edit2.c.
References apply_on_each_options_frame_button(), apply_on_each_view_menu_item(), options_frame, and view_menu.
Referenced by disable_view_selection(), and enable_view_selection().
void apply_on_each_view_menu_item | ( | GtkWidget * | widget, |
gpointer | _func | ||
) |
Definition at line 469 of file gtk_edit2.c.
References close_menu_item, and current_selection_menu_item.
Referenced by apply_on_each_view_item().
void buffer_changed_callback | ( | GtkWidget * | widget, |
gpointer | data | ||
) |
Definition at line 170 of file gtk_edit2.c.
References f().
Referenced by create_edit_window().
char* compute_title_string | ( | int | window_number | ) |
Definition at line 203 of file gtk_edit2.c.
References window_number.
Referenced by gpips_file_view().
void create_edit_menu | ( | ) |
Now add all the view entries:
Definition at line 563 of file gtk_edit2.c.
References close_menu_item, current_selection_menu_item, current_selection_notify(), edit_close_notify(), GPIPS_MENU_SEPARATOR_ID, gpips_view_menu_layout, main_window_menu_bar, gpips_view_menu_layout_line_s::menu_entry_string, SEQUENTIAL_VIEW, sequential_view_menu_item, view_menu, view_menu_item, and view_notify().
Referenced by create_menus().
void create_edit_window | ( | ) |
Definition at line 513 of file gtk_edit2.c.
References buffer_changed_callback(), EditedFile::check_button, edit_window, edited_file, EditedFile::filename, MAX_NUMBER_OF_GPIPS_WINDOWS, EditedFile::save_button, save_edited_file(), and EditedFile::view.
Referenced by gpips_main(), and wpips_main().
void current_selection_notify | ( | GtkWidget * | widget, |
gpointer | data | ||
) |
Definition at line 197 of file gtk_edit2.c.
References edit_window, and number_of_gpips_windows.
Referenced by create_edit_menu().
void disable_item | ( | GtkWidget * | item | ) |
Definition at line 461 of file gtk_edit2.c.
Referenced by disable_compile_selection(), disable_option_selection(), disable_transform_selection(), and disable_view_selection().
void disable_view_selection | ( | ) |
Definition at line 505 of file gtk_edit2.c.
References apply_on_each_view_item(), and disable_item().
Referenced by disable_module_selection(), gpips_main(), and wpips_main().
void edit_close_notify | ( | GtkWidget * | widget, |
gpointer | data | ||
) |
Definition at line 436 of file gtk_edit2.c.
References close_menu_item, current_selection_menu_item, display_memory_usage(), edit_window, edited_file, gpips_gtk_menu_item_set_label(), gpips_gtk_widget_get_sensitive(), hide_window(), MAX_NUMBER_OF_GPIPS_WINDOWS, and prompt_user().
Referenced by close_workspace_notify(), and create_edit_menu().
void edit_notify | ( | GtkWidget * | widget, |
gpointer | data | ||
) |
Is there an available edit_textsw ?
Display the file name and the module name. RK, 2/06/1993 :
Definition at line 101 of file gtk_edit2.c.
References alloc_first_initialized_window(), build_pgmwd, close_menu_item, concatenate(), current_selection_menu_item, db_get_current_module_name(), db_get_current_workspace_name(), db_get_file_resource, edit_window, edited_file, file_name, EditedFile::filename, gpips_gtk_menu_item_set_label(), load_file(), MAXPATHLEN, NO_TEXTSW_AVAILABLE, prompt_user(), safe_system(), and SMALL_BUFFER_LENGTH.
Referenced by create_transform_menu().
void enable_item | ( | GtkWidget * | item | ) |
Definition at line 465 of file gtk_edit2.c.
Referenced by enable_compile_selection(), enable_option_selection(), enable_transform_selection(), and enable_view_selection().
void enable_view_selection | ( | ) |
Definition at line 509 of file gtk_edit2.c.
References apply_on_each_view_item(), and enable_item().
Referenced by enable_module_selection().
void execute_gpips_execute_and_display_something_outside_the_notifier | ( | ) |
To execute something and display some Pips output with gpips, called outside the notifyer:
Execute the needed method:
Definition at line 367 of file gtk_edit2.c.
References display_memory_usage(), execute_gpips_execute_and_display_something_outside_the_notifyer_menu_line, and gpips_view_menu_layout_line_s::method_function_to_use.
Referenced by gpips_main_loop().
void gpips_display_graph_file_display | ( | gpips_view_menu_layout_line * | menu_line | ) |
Use daVinci to display a graph information:
Preprocess the graph to be understandable by daVinci :
Definition at line 329 of file gtk_edit2.c.
References build_view_file(), file_name, free(), gpips_view_menu_layout_line_s::resource_name_to_view, safe_system(), SMALL_BUFFER_LENGTH, and user_log().
void gpips_display_plain_file | ( | gpips_view_menu_layout_line * | menu_line | ) |
Use some text viewer to display the resource:
Definition at line 346 of file gtk_edit2.c.
References build_view_file(), db_get_current_module_name(), file_name, free(), gpips_file_view(), gpips_view_marked_busy(), gpips_view_menu_layout_line_s::icon_name, gpips_view_menu_layout_line_s::menu_entry_string, print_type(), gpips_view_menu_layout_line_s::resource_name_to_view, and SMALL_BUFFER_LENGTH.
void gpips_execute_and_display_something | ( | char * | resource_name | ) |
To execute something and display some Pips output with gpips.
Translate the resource name in a menu entry descriptor:
Definition at line 388 of file gtk_edit2.c.
References db_get_current_module_name(), gpips_execute_and_display_something_outside_the_notifyer(), gpips_view_menu_layout, gpips_view_menu_layout_line_s::menu_entry_string, module_name(), pips_assert, prompt_user(), resource_name, and gpips_view_menu_layout_line_s::resource_name_to_view.
void gpips_execute_and_display_something_from_alias | ( | const char * | alias_name | ) |
To execute something and display some Pips output with gpips by knowing its alias:
Definition at line 410 of file gtk_edit2.c.
References db_get_current_module_name(), gpips_execute_and_display_something_outside_the_notifyer(), gpips_view_menu_layout, gpips_view_menu_layout_line_s::menu_entry_string, module_name(), pips_assert, and prompt_user().
Referenced by options_frame_to_view_menu_gateway(), and view_notify().
void gpips_execute_and_display_something_outside_the_notifyer | ( | gpips_view_menu_layout_line * | menu_line | ) |
Ask to execute the execute_gpips_execute_and_display_something_outside_the_notifyer():
I guess the function above does not return...
Definition at line 377 of file gtk_edit2.c.
References execute_gpips_execute_and_display_something_outside_the_notifyer_menu_line, execute_main_loop_command(), and GPIPS_EXECUTE_AND_DISPLAY.
Referenced by gpips_execute_and_display_something(), and gpips_execute_and_display_something_from_alias().
void gpips_file_view | ( | char * | file_name, |
const char * | title_module_name, | ||
char * | title_label, | ||
char * | icon_name, | ||
char * | icon_title | ||
) |
Display a file in a gpips window:
Well, something got wrong...
Is there an available edit_textsw ? Ask for the same one allocated for gpips_view_marked_busy()
Display the file name and the module name. RK, 2/06/1993 :
title_label | The module name for example |
icon_name | "Sequential View" for exemple |
Definition at line 271 of file gtk_edit2.c.
References alloc_first_initialized_window(), close_menu_item, compute_title_string(), concatenate(), current_selection_menu_item, display_memory_usage(), edit_window, edited_file, file_name, EditedFile::filename, gpips_gtk_menu_item_set_label(), load_file(), NO_TEXTSW_AVAILABLE, prompt_user(), and window_number.
Referenced by gpips_display_plain_file(), and notify_hpfc_file_view().
bool gpips_view_marked_busy | ( | char * | title_module_name, |
char * | title_label, | ||
char * | icon_name, | ||
char * | icon_title | ||
) |
Mark a gpips window as busy:
Is there an available edit_textsw ?
Display the file name and the module name. RK, 2/06/1993 :
title_label | The module name for example |
icon_name | "Sequential View" for exemple |
Definition at line 242 of file gtk_edit2.c.
References alloc_first_initialized_window(), concatenate(), display_memory_usage(), edit_window, NO_TEXTSW_AVAILABLE, prompt_user(), SMALL_BUFFER_LENGTH, and window_number.
Referenced by gpips_display_plain_file().
|
static |
Definition at line 177 of file gtk_edit2.c.
References current_selection_menu_item, end, f(), fprintf(), and start.
Referenced by create_edit_window().
void view_notify | ( | GtkWidget * | menu_item, |
gpointer | data | ||
) |
Translate the menu string in a resource name:
Definition at line 430 of file gtk_edit2.c.
References gpips_execute_and_display_something_from_alias(), and gpips_gtk_menu_item_get_label().
Referenced by create_edit_menu().
|
static |
Definition at line 88 of file gtk_edit2.c.
Referenced by apply_on_each_view_menu_item(), create_edit_menu(), edit_close_notify(), edit_notify(), and gpips_file_view().
|
static |
Definition at line 88 of file gtk_edit2.c.
Referenced by apply_on_each_view_menu_item(), create_edit_menu(), edit_close_notify(), edit_notify(), gpips_file_view(), and save_edited_file().
GtkWidget* edit_menu_item |
Definition at line 90 of file gtk_edit2.c.
Referenced by create_transform_menu().
|
static |
Definition at line 85 of file gtk_edit2.c.
Referenced by alloc_first_initialized_window(), create_edit_window(), edit_close_notify(), edit_notify(), and gpips_file_view().
|
static |
To pass the view name to execute_gpips_execute_and_display_something_outside_the_notifyer():
Definition at line 98 of file gtk_edit2.c.
Referenced by execute_gpips_execute_and_display_something_outside_the_notifier(), and gpips_execute_and_display_something_outside_the_notifyer().
|
static |
lint
Include the label names:
Definition at line 73 of file gtk_edit2.c.
Referenced by create_edit_menu(), gpips_execute_and_display_something(), and gpips_execute_and_display_something_from_alias().
int number_of_gpips_windows = INITIAL_NUMBER_OF_GPIPS_WINDOWS |
Definition at line 86 of file gtk_edit2.c.
Referenced by alloc_first_initialized_window(), current_selection_notify(), and quit_notify().
|
static |
Definition at line 89 of file gtk_edit2.c.
Referenced by create_edit_menu().
char vcid_xv_edit2[] |
A% (
, ) version
, got on D%, T% [P%].
Copyright (c) ï¿œcole des Mines de Paris Proprietary.
Definition at line 31 of file gtk_edit2.c.
GtkWidget* view_menu |
The menu "View" on the main panel:
Definition at line 93 of file gtk_edit2.c.
Referenced by apply_on_each_view_item(), build_options_menu_and_panel(), create_edit_menu(), and synch_viewmenu_and_opframe().
GtkWidget * view_menu_item |
Definition at line 93 of file gtk_edit2.c.
Referenced by build_options_menu_and_panel(), and create_edit_menu().