-- File DJExtractDefs.mesa
-- Written by Martin Newell/Dan Fitzpatrick, June 1981
-- Last updated: 13-Aug-81 14:38:31

DIRECTORY
DisjointTypes: FROM "DisjointTypes" USING [PropID, Symbol],
DJExtTypes: FROM "DJExtTypes" USING [NodeNumber, Segment];

DJExtractDefs: DEFINITIONS =
BEGIN
OPEN DisjointTypes, DJExtTypes;

Interrupt: PUBLIC SIGNAL;

GetSegmentList: PUBLIC PROCEDURE[symbol: Symbol] RETURNS[segList: Segment];

RecordNodeLoc: PUBLIC PROCEDURE[node: NodeNumber, x,y:REAL];

GetNodeLocID: PUBLIC PROCEDURE RETURNS[PropID];

GetNodesID: PUBLIC PROCEDURE RETURNS[PropID];

GetSegmentID: PUBLIC PROCEDURE RETURNS[PropID];

GetParamID: PUBLIC PROCEDURE RETURNS[PropID];

GetNParamID: PUBLIC PROCEDURE RETURNS[PropID];

GetIntTransID: PUBLIC PROCEDURE RETURNS[PropID];

GetExtTransID: PUBLIC PROCEDURE RETURNS[PropID];

GetIntCapID: PUBLIC PROCEDURE RETURNS[PropID];

GetExtCapID: PUBLIC PROCEDURE RETURNS[PropID];

END.