<> <> <> DIRECTORY CD, CDIn, Rope, SXAccess; TestSpinifex: CEDAR PROGRAM IMPORTS CDIn, SXAccess = BEGIN Check: PROC [design: CD.Design] RETURNS [BOOL] = {RETURN[TRUE]}; Test: PROC = { file: Rope.ROPE = "AlpsCells.dale"; design: CD.Design _ CDIn.ReadDesign[file, Check]; appls: CD.ApplicationList _ design^.actual.first.specific.contents; [] _ SXAccess.Analyze[design, appls, NIL, NEW[BOOL _ TRUE]]; }; END.