1 files changed, 135 insertions, 0 deletions
diff --git a/mixlib/mix_device.h b/mixlib/mix_device.h
new file mode 100644
index 0000000..c2e7edf
--- /dev/null
+++ b/mixlib/mix_device.h
@@ -0,0 +1,135 @@
+/* -*-c-*- ---------------- mix_device.h :
+ * Declaration of mix_device_t and associated methods.
+ * ------------------------------------------------------------------
+ * Copyright (C) 2000 jose antonio ortega ruiz <jaortega@acm.org>
+ *  
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *  
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *  
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+ *  
+ */
+
+
+#ifndef MIX_DEVICE_H
+#define MIX_DEVICE_H
+
+#include <stddef.h>
+#include "mix.h"
+#include "mix_types.h"
+
+/*
+  A mix device, which derives from mix_io_channel_t
+*/
+typedef struct mix_device_t mix_device_t;
+
+/*
+  The device type
+*/
+typedef enum {
+  mix_dev_TAPE_0,
+  mix_dev_TAPE_1,
+  mix_dev_TAPE_2,
+  mix_dev_TAPE_3,
+  mix_dev_TAPE_4,
+  mix_dev_TAPE_5,
+  mix_dev_TAPE_6,
+  mix_dev_TAPE_7,
+  mix_dev_DISK_0,
+  mix_dev_DISK_1,
+  mix_dev_DISK_2,
+  mix_dev_DISK_3,
+  mix_dev_DISK_4,
+  mix_dev_DISK_5,
+  mix_dev_DISK_6,
+  mix_dev_DISK_7,
+  mix_dev_CARD_RD,
+  mix_dev_CARD_WR,
+  mix_dev_PRINTER,
+  mix_dev_CONSOLE,
+  mix_dev_PAPER_TAPE
+} mix_device_type_t;
+
+/*
+  The device io mode
+*/
+typedef enum {
+  mix_dev_BIN,
+  mix_dev_CHAR
+} mix_device_mode_t;
+
+/*
+  Create a new device with default name and given type.
+*/
+extern mix_device_t *
+mix_device_new (mix_device_type_t type);
+
+/*
+  Create a new device with a given type and name.
+*/
+extern mix_device_t *
+mix_device_new_with_name (mix_device_type_t type, const gchar *name);
+
+/*
+  Delete a device.
+*/
+extern void
+mix_device_delete(mix_device_t *dev);
+
+/*
+  Get a device name
+*/
+extern const char *
+mix_device_get_name (mix_device_t *dev);
+
+/*
+  Get the device block size
+*/
+extern size_t
+mix_device_block_size (mix_device_t *dev);
+
+/*
+  Get the device io mode
+*/
+extern mix_device_mode_t
+mix_device_mode (mix_device_t *dev);
+
+/*
+  Write a block to the device.
+*/
+extern gboolean
+mix_device_write (mix_device_t *dev, const mix_word_t *block);
+
+/*
+  Read a block from the device.
+*/
+extern gboolean
+mix_device_read (mix_device_t *dev, mix_word_t *block);
+
+/*
+  Perform an io control operation on the device.
+  The parameter _arg_ is the operation's argument:
+   0- rewind to beginning
+   <0 - rewind the given number of blocks
+   >0 - skip forward the given number of blocks
+*/
+extern gboolean
+mix_device_ioc (mix_device_t *dev, mix_short_t arg);
+
+/*
+  Check if a device is busy
+*/
+extern gboolean
+mix_device_busy (mix_device_t *dev);
+
+#endif /* MIX_DEVICE_H */
+