Palm: module { 	#	# basic Palm data types	# 	PATH:	con "/dis/lib/palm.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) 		# the following is used by the database access protocol		index:	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	Fstream:		con 1<<7;		# file is an array of bytes, not a database 	# extended (misc) attributes for Desklink->ReadDBList	Fnosync:		con (1<<7)<<16;	Frambased:	con (1<<6)<<16; 	Noindex:		con 16rFFFF;	# unknown index 	Record: adt {		id:	int;	# unique record ID (24 bits)		attr:	int;	# record attributes		cat:	int;	# category		data:	array of byte; 		new:	fn(id: int, attr: int, cat: int, size: int): ref Record;	}; 	# Record.attr values: 	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 Palmdb->Entry.attrs 	Resource: adt {		name:	int;	# byte[4]: resource name or type		id:	int;	# resource ID (16 bits)		data:	array of byte; 		new:	fn(name: int, id: int, size: int): ref Resource;	}; 	# 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;	}; 	Doc: adt {		m:	Palmdb;		file:	ref Palmdb->PDB;		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(m: Palmdb, file: ref Palmdb->PDB): (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; 	# convert between resource/application ID and string	id2s:	fn(id: int): string;	s2id:	fn(s: string): int; 	# time conversion	pilot2epoch:	fn(t: int): int;	epoch2pilot:	fn(t: int): int; 	# 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); 	# argument wrapping for Desklink and CMP 2.x	ArgIDbase: con 16r20;		# first argument ID	argsize:	fn(args: array of (int, array of byte)): int;	packargs:	fn(out: array of byte, args: array of (int, array of byte)): array of byte;	unpackargs:	fn(argc: int, reply: array of byte): (array of (int, array of byte), string); }; Palmdb: module { 	PATH:	con "/dis/lib/palmdb.dis"; 	DB: adt {		x:	int;			# instance index, used internally 		mode:	int;		attr:		int;		# essential database attributes 		open:	fn(nil: string, mode: int): (ref DB, string);		create:	fn(nil: string, mode: int, perm: int, nil: ref Palm->DBInfo): (ref DB, string);		close:	fn(nil: self ref DB): string; 		stat:		fn(nil: self ref DB): ref Palm->DBInfo;		wstat:	fn(nil: self ref DB, nil: ref Palm->DBInfo, flags: int); 		rdappinfo:	fn(nil: self ref DB): (array of byte, string);		wrappinfo:	fn(nil: self ref DB, nil: array of byte): string; 		rdsortinfo:	fn(nil: self ref DB): (array of int, string);		wrsortinfo:	fn(nil: self ref DB, nil: array of int): string; 		readidlist:	fn(nil: self ref DB, sort: int): array of int;		nentries:	fn(nil: self ref DB): int;		resetsyncflags:	fn(nil: self ref DB): string; 		records:	fn(nil: self ref DB): ref PDB;		resources:	fn(nil: self ref DB): ref PRC;	}; 	# database files (.pdb, .doc, and most others)	PDB: adt {		db:	ref DB; 		read:		fn(nil: self ref PDB, index: int): ref Palm->Record;		readid:	fn(nil: self ref PDB, id: int): (ref Palm->Record, int); 		resetnext:	fn(nil: self ref PDB): int;		readnextmod:	fn(nil: self ref PDB): (ref Palm->Record, int);#			DLP 1.1 functions:#		readnextincat(nil: self ref DB, cat: int): (ref Palm->Record, string);#		readnextmodincat(nil: self ref DB, cat: int): (ref Palm->Record, string); 		write:	fn(nil: self ref PDB, r: ref Palm->Record): string; 		truncate:	fn(nil: self ref PDB): string;		delete:	fn(nil: self ref PDB, id: int): string;		deletecat:	fn(nil: self ref PDB, cat: int): string;		purge:	fn(nil: self ref PDB): string; 		movecat:	fn(nil: self ref PDB, old: int, new: int): string; 	}; 	# resource files (.prc)	PRC: adt {		db:	ref DB; 		# read by index, or by type & id		read:		fn(nil: self ref PRC, index: int): ref Palm->Resource;		readtype:	fn(nil: self ref PRC, name: int, id: int): (ref Palm->Resource, int); 		# write by type and id only (desklink)		write:	fn(nil: self ref PRC, r: ref Palm->Resource): string; 		truncate:	fn(nil: self ref PRC): string;		delete:	fn(nil: self ref PRC, name: int, id: int): string;	}; 	# open modes (not the same as Sys->)	OREAD:		con 16r80;	OWRITE:		con 16r40;	ORDWR:		con OREAD|OWRITE;	OEXCL:		con 16r20;	OSECRET:		con 16r10; 	init:	fn(m: Palm): string;};