00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #ifndef _H_xmenu_wind
00024 #define _H_xmenu_wind
00025
00026 void ModuleCallback(Widget,XtPointer,XtPointer);
00027 void DefruleManagerCallback(Widget,XtPointer,XtPointer);
00028 void DeffactManagerCallback(Widget,XtPointer,XtPointer);
00029 void DeftemplateManagerCallback(Widget,XtPointer,XtPointer);
00030 void DeffunctionManagerCallback(Widget,XtPointer,XtPointer);
00031 void DefglobalManagerCallback(Widget,XtPointer,XtPointer);
00032 int IntGetDefglobalList(void);
00033 void DefgenericManagerCallback(Widget,XtPointer,XtPointer);
00034 void DefinstancesManagerCallback(Widget,XtPointer,XtPointer);
00035 void DefclassManagerCallback(Widget,XtPointer,XtPointer);
00036 void AgendaManagerCallback(Widget,XtPointer,XtPointer);
00037 int IntGetAgendaList(void);
00038 void FactsWindowCallback(Widget,XtPointer,XtPointer);
00039 void CreateFactWindow(void);
00040 void AgendaWindowCallback(Widget,XtPointer,XtPointer);
00041 void CreateAgendaWindow(void);
00042 void FocusWindowCallback(Widget,XtPointer,XtPointer);
00043 void CreateFocusWindow(void);
00044 void InstancesWindowCallback(Widget,XtPointer,XtPointer);
00045 void CreateInstanceWindow(void);
00046 void GlobalsWindowCallback(Widget,XtPointer,XtPointer);
00047 void CreateGlobalWindow(void);
00048 void AllWindowsCallback(Widget,XtPointer,XtPointer);
00049 void NoWindowsCallback(Widget,XtPointer,XtPointer);
00050 void CommandLineCLIPSCallback(Widget,XtPointer,XtPointer);
00051 void ColorUtilityCallback(Widget,XtPointer,XtPointer);
00052 int IntGetDefruleLis(void);
00053 int IntGetFactList(void);
00054 int IntGetDeftemplateList(void);
00055 int IntGetDeffunctionList(void);
00056 int IntGetDefgenericList(void);
00057 int IntGetDefmethodList(char *);
00058 int IntGetDefinstancesList(void);
00059 int IntGetDefclassList(void);
00060 int IntGetDefmessgHndlerList(char *);
00061 void InitializeList(String list[]);
00062 void SetManagerList(Widget);
00063 Widget GetManagerList(void);
00064 int RefreshMngrList(void);
00065 void ClearParameters(void);
00066 void CancelSelectPrimary(Widget,XtPointer,XtPointer);
00067
00068 #ifndef _XMENU_WIND_SOURCE_
00069 extern Widget facts_window;
00070 extern Widget agenda_window;
00071 extern Widget instances_window;
00072 extern Widget globals_window;
00073 extern Widget focus_window;
00074 extern String *item_list;
00075 extern Widget agenda_text;
00076 extern Widget facts_text;
00077 extern Widget instances_text;
00078 extern Widget globals_text;
00079 extern Widget focus_text;
00080 extern Widget agenda;
00081 extern Widget facts;
00082 extern Widget instances;
00083 extern Widget globals;
00084 extern Widget focus;
00085 extern Boolean list_change;
00086 extern Boolean list1_change;
00087 #endif
00088
00089 #endif