INTERFACEDerived ; IMPORT Node, OS, Loc, ID, Source; TYPE T <: Tx; Tx = Node.Named_T OBJECT scanned : OS.FileTime := OS.NO_TIME; is_pgm : BOOLEAN := FALSE; (* otherwise LIB *) n_elts : INTEGER := 0; contents : NodeRefSet := NIL; seen : ARRAY Source.Kind OF BOOLEAN; END; NodeRefSet = REF ARRAY OF NodeRef; NodeRef = RECORD loc : Loc.T; file : ID.T; END; PROCEDURE FixName (t: T); PROCEDURE PgmPath (t: T): TEXT; PROCEDURE Init (); END Derived.