Palmfile: module {

	PATH:	con "/dis/lib/palmfile.dis";

	DBInfo: adt {
		name:	string;
		attr:		int;
		dtype:	string;	# database type (byte[4])
		version:	int;	# defined by application
		creator:	string;	# creating application (byte[4])
		ctime:	int;
		mtime:	int;
		btime:	int;	# last backup
		modno:	int;	# modification number: set to zero
		uidseed:	int;	# unique record ID seed (unused, set to zero)

		# used internally and by the database access protocol
		appinfo:	int;	# AppInfo offset
		sortinfo:	int;	# SortInfo offset

		# the following are used by the database access protocol
		index:	int;
		more:	int;

		new:		fn(name: string, attr: int, dtype: string, version: int, creator: string): ref DBInfo;
	};

	# file attributes:

	Fresource:	con 1<<0;		# file is .prc not .pdb
	Fronly:		con 1<<1;		# read only
	Fappinfodirty:	con 1<<2;
	Fbackup:		con 1<<3;		# no conduit exists
	Foverwrite:	con 1<<4;		# overwrite older copy if present
	Freset:		con 1<<5;		# reset after installation
	Fprivate:		con 1<<6;		# don't allow copy of this to be beamed

	Record: adt {
		id:	int;	# resource: ID; data: unique record ID
		index:	int;
		name:	int;	# byte[4]: resource record only
		attr:	int;	# data record only
		cat:	int;	# category
		data:	array of byte;

#		new:	fn(size: int): ref Record;
	};

	Entry: adt {
		id:	int;	# resource: id; record: unique ID
		offset:	int;
		size:	int;
		name:	int;	# resource entry only
		attr:	int;	# record entry only
	};

	# record attributes:

	Rdelete:	con 16r80; # delete next sync
	Rdirty:	con 16r40; # record modified
	Rinuse:	con 16r20; # record in use
	Rsecret:	con 16r10; # record is secret
	Rarchive:	con 16r08; # archive next sync
	Rmcat:	con 16r0F; # mask for category field in Entry.attrs

	# common form of category data in appinfo
	Categories: adt {
		renamed:	int;	# which categories have been renamed
		labels:	array of string;	# 16 category names
		uids:		array of int;	# corresponding unique IDs
		lastuid:	int;		# last unique ID assigned
		appdata:	array of byte;	# remaining data is application-specific

		new:		fn(labels: array of string): ref Categories;
		unpack:	fn(a: array of byte): ref Categories;
		pack:	fn(c: self ref Categories): array of byte;
		mkidmap:	fn(c: self ref Categories): array of int;
	};

	Pfile: adt {
		fname:	string;
		f:	ref Bufio->Iobuf;
		mode:	int;

		info:	ref DBInfo;
		appinfo:	array of byte;
		sortinfo:	array of int;

		uidseed:	int;
		entries:	array of ref Entry;

		open:	fn(nil: string, mode: int): (ref Pfile, string);
#		create:	fn(nil: string, mode: int, perm: int, nil: ref DBInfo): ref Pfile;
		close:	fn(nil: self ref Pfile): int;

		stat:		fn(nil: self ref Pfile): ref DBInfo;
#		wstat:	fn(nil: self ref Pfile, nil: ref DBInfo);

		read:		fn(nil: self ref Pfile, index: int): (ref Record, string);
#		readid:	fn(nil: self ref Pfile, nil: int): (ref Record, string);
#		append:	fn(nil: self ref Pfile, r: ref Record): int;

#		setappinfo:	fn(nil: self ref Pfile, nil: array of byte);
#		setsortinfo:	fn(nil: self ref Pfile, nil: array of int);
	};

	Doc: adt {
		file:	ref Pfile;
		version:	int;
		length:	int;	# uncompressed
		nrec:		int;	# text records only
		recsize:	int;	# uncompressed
		position:	int;
		sizes:	array of int;	# sizes of uncompressed records

		open:	fn(file: ref Pfile): (ref Doc, string);
		read:		fn(nil: self ref Doc, i: int): (string, string);
		iscompressed:	fn(nil: self ref Doc): int;
		unpacktext:	fn(d: self ref Doc, a: array of byte): (string, string);
		textlength:	fn(d: self ref Doc, a: array of byte): int;
	};

	init:	fn(): string;

	# name mapping
	filename:	fn(s: string): string;
	dbname:	fn(s: string): string;

	# Latin-1 to string conversion
	gets:	fn(a: array of byte): string;
	puts:	fn(a: array of byte, s: string);

	# big-endian conversion
	get2:	fn(a: array of byte): int;
	get3:	fn(a: array of byte): int;
	get4:	fn(a: array of byte): int;
	put2:	fn(a: array of byte, v: int);
	put3:	fn(a: array of byte, v: int);
	put4:	fn(a: array of byte, v: int);
};