
DIRECTORY
CirioNubAccess USING[FileEntry, Handle, PCInfo],
DotOAccess USING[DotOCookie, EmbeddedDotO],
MobAccess USING[MobCookie],
MobDotOAccess USING[JointMobDotOInfo],
PFSNames USING [PATH, Version],
Rope USING[ROPE],
RopeSequence USING [RopePart],
SystemInterface USING[FileSet];


SymbolFinding: CEDAR DEFINITIONS  =
BEGIN

PATH: TYPE ~ PFSNames.PATH;

DotODesc: TYPE = REF DotODescBody;
DotODescBody: TYPE = RECORD[
fileInfo: CirioNubAccess.FileEntry,
frameInfo: CirioNubAccess.PCInfo];

FoundSymbols: TYPE = RECORD[
dotO: DotOAccess.DotOCookie,
embeddedDotO: DotOAccess.EmbeddedDotO,
mob: MobAccess.MobCookie,
jmdi: MobDotOAccess.JointMobDotOInfo];

SymbolInfo: TYPE = REF SymbolInfoBody;
SymbolInfoBody: TYPE;

CreateSymbolInfo: PROC[SystemInterface.FileSet] RETURNS[SymbolInfo];
AddMobSearchPath: PROC[si: SymbolInfo, path: PFSNames.PATH];

FlushSymbolFileCache: PROC[si: SymbolInfo];

FindSymbols: PROC[serverName: Rope.ROPE, nub: CirioNubAccess.Handle, desc: DotODesc, absPC: CARD, si: SymbolInfo, searchDirectories: LIST OF PFSNames.PATH] RETURNS[FoundSymbols];


FactoredUnixFileName: TYPE = RECORD[
cirioPrefix: PATH,  -- This rope is the Cirio-tool local equivalent of the volume,name1 part of a Unix file name (plus ending "/").  The concatenation  [cirioPrefix cirioRemainingFileName] is the local equivalent of the original Unix file name and can be looked up from inside the Cirio tool.
cirioRemainingFileName: PATH,  -- This rope is basically the concatenation of [remainingPath, ..., version].
volume: PATH,
name1: PATH,
remainingPath: PATH,
machineDependentSubdir: PATH,
stem: RopeSequence.RopePart,
secondaryExtension: RopeSequence.RopePart,
extension: RopeSequence.RopePart,
version: PFSNames.Version
];

FactorUnixFileName: PROC[unixFileName: PATH] RETURNS[FactoredUnixFileName];


ShowReport: SIGNAL[msgText: Rope.ROPE];
END..
   $  
SymbolFinding.mesa
Sturgis, September 1, 1989 3:27:12 pm PDT
Last changed by Theimer on October 31, 1989 8:24:41 pm PST
Coolidge, July 11, 1990 11:19 am PDT
search order will be last named path first

this path will be checked before any of the previously recorded paths
(also invokes FlushSymbolFileCache)
forgets the fact that it could not find some mobs.  Thus, looks afresh for those mobs next time it is asked.
Possible results are:
can not find a dotO => [NIL, NIL, NIL]
found a dotO, but either there was no version stamp, or we could not find the corresponding mob => [dotO, NIL, NIL]
found a dotO and corresponding mob => [dotO, mob, jmdi]

If a mob and corresponding jmdi are returned, then the version stamp has been checked in memory.


A UnixFileName is: 
volume name1 "/" remainingPath machineDependentSubdir stem secondaryExtension extension version
where
volume is either "/", "/volume/", or "/net/" or "/tmp_mnt/net/".
name1 contains no "/" and represents the pathname element that is relative to the volume, if there is one.  (Thus name1 may be "".)
machineDependentSubdir is either "/" or "/target-machine-subdir/".
stem is the "root name" of the file and contains no "/".
secondaryExtension is either empty or something like ".c2c"; that is, it includes a ".".
extension is empty or something like ".o"; that is, it includes a ".".
version is empty or "~" someNumber "~" or "!" someNumber.
Returns a disassembled version of the Unix file name fed in as argument.
Understands about the semantic meaning of the volume part of the name.
messages

 Êì  •NewlineDelimiter
™ Icodešœ™šœ)™)K™:K™$—K˜ šÏk	˜	Kšœœ˜0Kšœœ˜+Kšœ
œ˜Kšœœ˜&Kšœ	œœ˜Kšœœœ˜Kšœœ˜Kšœœ
˜—K˜ K˜ šÏnœœœ˜#Kš˜K˜ Kšœœœ˜K˜ Kšœ
œœ˜"šœœœ˜Kšœ#˜#Kšœ"˜"K˜ —šœœœ˜Jšœ˜Jšœ&˜&Jšœ˜Jšœ&˜&—J˜ Jšœœœ˜&Jšœœ˜J˜ šžœœœ˜DJ™*J™ —šžœœ œ˜<J™EJ™#—J˜ šžœœ˜+J™l—J˜ Jšžœœœ5œ%œœ
œœ˜²˜ ™Jšœœœœ™&Jšœjœœ™sJ™7—J™a—J™ J™ ™J™_—™J™@J™ƒJ™BJ™8J™XJ™FJ™9—J˜ šœœœ˜$KšœœÐci˜¤KšœœŸM˜lJšœœ˜Jšœœ˜Jšœœ˜Jšœœ˜Jšœ˜Jšœ*˜*Jšœ!˜!Jšœ˜J˜—J˜ šžœœœœ˜KJ™HJ™F—J˜ ™J˜ Jšž
œœœ˜'—K™ Kšœ˜—— …—    >  N  