|
static int | gen_DatatoScreen () |
|
static int | gen_Input () |
|
static int | nodev () |
|
static int | nop () |
|
DISPDEVICE * | FindDev (char *name) |
|
int | DevXterm (char *string) |
|
void | DevGrHalt () |
|
void | DevInit () |
|
int | DevNewViewport (GRAPH *pgraph) |
|
void | DevClose () |
|
void | DevHalt () |
|
void | DevClear () |
|
void | DevTitle (char *wintitle, char *icontitle) |
|
void | DevPixel (int x, int y) |
|
void | DevLine (int x1, int y1, int x2, int y2) |
|
void | DevBox (int x1, int y1, int x2, int y2) |
|
void | DevArc (int x0, int y0, int radius, double theta1, double theta2) |
|
void | DevPolygon (POLYGON *p) |
|
void | DevText (char *text, int x, int y) |
|
void | DevSetGhost (void(*callback)(), int x, int y) |
|
void | DevDefineColor (int colorid, double red, double green, double blue) |
|
void | DevDefineLinestyle (int linestyleid, int mask) |
|
void | DevSetLinestyle (int linestyleid) |
|
void | DevSetColor (int colorid) |
|
void | DevUpdate () |
|
static int | gen_DatatoScreen (GRAPH *graph, double x, double y, int *screenx, int *screeny) |
|
void | DevDatatoScreen (GRAPH *graph, double x, double y, int *screenx, int *screeny) |
|
void | DevInput (REQUEST *request, RESPONSE *response) |
|
static int | gen_Input (REQUEST *request, RESPONSE *response) |
|
void | SaveText (GRAPH *graph, char *text, int x, int y) |
|
int | DevSwitch (char *devname) |
|
int | DevGetchar (FILE *fp) |
|