9bb8decbcf
Former-commit-id:133dc97f67[formerlya02aeb236c] [formerly9f19e3f712] [formerly06a8b51d6d[formerly9f19e3f712[formerly 64fa9254b946eae7e61bbc3f513b7c3696c4f54f]]] Former-commit-id:06a8b51d6dFormer-commit-id:377dcd10b9[formerly3360eb6c5f] Former-commit-id:8e80217e59
33 lines
685 B
C
33 lines
685 B
C
#ifndef HV_UTIL_H
|
|
#define HV_UTIL_H
|
|
|
|
#include <time.h>
|
|
#include <datetime.h>
|
|
#include <sqltypes.h>
|
|
|
|
#include "MotifWidgets.h"
|
|
#include "DbmsUtils.h"
|
|
#include "time_convert.h"
|
|
|
|
|
|
#define LONG_NAME_LEN 80
|
|
typedef char LongName[LONG_NAME_LEN];
|
|
|
|
|
|
void setEditable(Widget w, Boolean isEditable);
|
|
void setFormEditable(Widget parent, Boolean isEditable);
|
|
|
|
Boolean isNullDt(dtime_t *dt);
|
|
time_t get_yearsec_time_t(dtime_t *dt);
|
|
unsigned long getValueColor(double value,
|
|
unsigned long *colors,
|
|
long numColors,
|
|
double *thresholds,
|
|
long numThresholds,
|
|
unsigned long defaultColor
|
|
);
|
|
|
|
void printCurrentTime(void);
|
|
void profileTime(char *string);
|
|
|
|
#endif
|