|
| 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) |
| |