/***************************************************************************/
/***** portable Virtual Device Interface ***********************************/
/***************************************************************************/
#ifndef _pvdi_h_
#define _pvdi_h_

#ifdef __STDC__
#include <stdarg.h>

/***** initialization ******************************************************/
void InitpVDI (int device,...);
void ExitpVDI (void);

/***** input ***************************************************************/
int getchpVDI (void);

/***** output **************************************************************/
void printpVDI (char *fmt,...);

void clearpVDI (void);
void refreshpVDI (void);
void movepVDI (int x, int y);

#else

/***** initialization ******************************************************/
void InitpVDI ();
void ExitpVDI ();

/***** input ***************************************************************/
int getchpVDI ();

/***** output **************************************************************/
void printpVDI ();

void clearpVDI ();
void refreshpVDI ();
void movepVDI ();
#endif


/***** device symbols ******************************************************/
#define NULLpVDI	(0)
#define CURSESpVDI	(1)
#define ATARIpVDI	(2)
#define GLYPHpVDI	(3)

#endif /* _pvdi_h_ */