-- File: IntervalsDefs.mesa
-- Written by MN/DF March 1981
-- Last edited: March 24, 1981  12:33 PM

IntervalsDefs: DEFINITIONS =
BEGIN

BranchingFactor: CARDINAL = 4;

Node: TYPE = LONG POINTER TO NodeRecord;
NodeRecord: TYPE = RECORD [
	sons: ARRAY [0..BranchingFactor) OF Node,
	father: Node,
	index: CARDINAL,				--of self in father's .sons
	residue: Interval,
	left: LONG INTEGER,
	right: LONG INTEGER,
	sonWidth: LONG INTEGER
];

Interval: TYPE = LONG POINTER TO IntervalRecord;
IntervalRecord: TYPE = RECORD [
	next: Interval,
	left:	LONG INTEGER,
	right: LONG INTEGER,
	hook:	LONG POINTER TO UNSPECIFIED
];

GetHandle: TYPE = POINTER TO GetHandleRecord;
GetHandleRecord: TYPE = RECORD [
	left: LONG INTEGER,
	right: LONG INTEGER,
	node: Node,
	interval: Interval
];

InitIntervals: PROCEDURE[left,right: LONG INTEGER] RETURNS[Node];

FreeIntervals: PROCEDURE[root: Node,
										freeData: PROCEDURE[LONG UNSPECIFIED]];

NullFreeData: PUBLIC PROCEDURE[data: LONG UNSPECIFIED];

Insert: PROCEDURE[root: Node, left,right: LONG INTEGER,
							data: LONG UNSPECIFIED];

GetFirst: PROCEDURE[root: Node, left,right: LONG INTEGER,
		getHandle: GetHandle]
	RETURNS[LONG POINTER TO UNSPECIFIED];

GetNext: PROCEDURE[getHandle: GetHandle]
		RETURNS[LONG POINTER TO UNSPECIFIED];


END.
(635)\100b14B661b13B54b13B75b12B45b6B83b8B114b7B