DIRECTORY AtomButtons, AtomButtonsTypes, Feedback, GGBasicTypes, GGCaret, GGContainer, GGFont, GGInterfaceTypes, GGModelTypes, GGOutline, GGScene, GGSegmentTypes, GGSelect, GGSequence, GGSlice, GGTraj, GGUserInput, GGUtility, GGWindow, GList, Imager, ImagerTransformation, Match, MatchTurtle, MatchViewer, Real, RealFns, Rope, SlackProcess, ViewerClasses; MatchImplA: CEDAR PROGRAM IMPORTS AtomButtons, GGCaret, GGOutline, GGScene, GGSelect, GGSequence, GGSlice, GGTraj, GGUtility, GGWindow, GList, ImagerTransformation, Match, MatchTurtle, MatchViewer, Real, RealFns, Rope EXPORTS Match = BEGIN BoundBox: TYPE = GGModelTypes.BoundBox; Caret: TYPE = GGInterfaceTypes.Caret; ChoiceData: TYPE = MatchViewer.ChoiceData; DashInfo: TYPE = Match.DashInfo; DashInfoObj: TYPE = Match.DashInfoObj; GGData: TYPE = GGInterfaceTypes.GGData; ItemID: TYPE = Match.ItemID; ItemMatch: TYPE = Match.ItemMatch; ItemMatchObj: TYPE = Match.ItemMatchObj; LooksInfo: TYPE = Match.LooksInfo; LooksInfoObj: TYPE = Match.LooksInfoObj; MatchData: TYPE = MatchViewer.MatchData; MatchDescriptor: TYPE = Match.MatchDescriptor; MatchDObj: TYPE = Match.MatchDObj; PositionDescriptor: TYPE = MatchTurtle.PositionDescriptor; Point: TYPE = GGBasicTypes.Point; SearchInfo: TYPE = Match.SearchInfo; SearchInfoObj: TYPE = Match.SearchInfoObj; SearchState: TYPE = Match.SearchState; Segment: TYPE = GGSegmentTypes.Segment; SegmentGenerator: TYPE = GGModelTypes.SegmentGenerator; Sequence: TYPE = GGModelTypes.Sequence; Scene: TYPE = GGModelTypes.Scene; Slice: TYPE = GGModelTypes.Slice; SliceDescriptor: TYPE = GGModelTypes.SliceDescriptor; SliceDescriptorGenerator: TYPE = GGModelTypes.SliceDescriptorGenerator; SliceDescriptorObj: TYPE = GGModelTypes.SliceDescriptorObj; SliceGenerator: TYPE = GGModelTypes.SliceGenerator; SliceParts: TYPE = REF ANY; Traj: TYPE = GGModelTypes.Traj; TrajGenerator: TYPE = GGModelTypes.TrajGenerator; TurtleHeader: TYPE = MatchTurtle.TurtleHeader; TurtleInfo: TYPE = MatchTurtle.TurtleInfo; SearchEvent: PUBLIC GGUserInput.UserInputProc = { toSearch: GGData _ MatchViewer.GetGGInputFocus[]; IF toSearch # NIL THEN [] _ Search[toSearch, event, TRUE]; }; Search: PUBLIC PROC [toSearch: GGData, event: LIST OF REF ANY, refresh: BOOL _ TRUE] RETURNS [found: BOOL] = { matchData: MatchData _ MatchViewer.GetMatchData[]; searchState: SearchState _ Match.GetSearchState[]; SELECT matchData.searchOp FROM disjunction => { SearchDisjInit[toSearch, event]; [searchState.ahead, found] _ SearchDisjNext[searchState.ahead, event.rest.first, refresh]; }; conjunction => { Match.SearchConjInit[toSearch, event]; [searchState.ahead, searchState.behind, found] _ Match.SearchConjNext[searchState.ahead, searchState.behind, event.rest.first, refresh]; }; ENDCASE => { MatchViewer.ErrorFeedback["This SearchOp unimplemented."]; RETURN[FALSE]; }; IF NOT found THEN MatchViewer.ErrorFeedback["No match found."]; }; IsEmptySearchInfo: PUBLIC PROC [searchInfo: SearchInfo] RETURNS [BOOL _ FALSE] = { IF searchInfo = NIL OR searchInfo.empty = TRUE THEN RETURN[TRUE]; IF searchInfo.slice.class.type = $Outline AND searchInfo.trajs = NIL THEN RETURN[TRUE]; }; CreateSearchInfo: PUBLIC PROC [slice: Slice, direction: REF ANY] RETURNS [searchInfo: SearchInfo] = { matchData: MatchData _ MatchViewer.GetMatchData[]; searchInfo _ NEW[SearchInfoObj _ [slice: slice, reverse: direction = $SearchAbove]]; SELECT slice.class.type FROM $Outline => { searchInfo.trajs _ GGOutline.TrajectoriesOfOutline[slice]; IF searchInfo.reverse THEN searchInfo.trajs _ NARROW[GList.Reverse[searchInfo.trajs], LIST OF Traj]; IF matchData.matchLevel = anywhere THEN AddSegs[searchInfo]; }; $Box => IF matchData.matchLevel = anywhere THEN AddSegs[searchInfo]; ENDCASE; }; CopySearchInfo: PROC [info: SearchInfo] RETURNS [newInfo: SearchInfo] = { newInfo _ NEW[SearchInfoObj _ info^]; }; MakeEmpty: PROC [info: SearchInfo] RETURNS [newInfo: SearchInfo] = { newInfo _ CopySearchInfo[info]; newInfo.empty _ TRUE; }; AddSegs: PUBLIC PROC [domain: SearchInfo] = { domain.segs _ NIL; SELECT domain.slice.class.type FROM $Outline => { traj: Traj; IF domain.trajs = NIL THEN RETURN; -- nothing to fill in traj _ domain.trajs.first; FOR i: INT IN [0..traj.segCount) DO domain.segs _ CONS[GGTraj.FetchSegment[traj, i], domain.segs]; ENDLOOP; IF NOT domain.reverse THEN domain.segs _ NARROW[GList.DReverse[domain.segs], LIST OF Segment]; IF traj.role # open OR ManhattanDistance[GGTraj.FetchJointPos[traj, 0], GGTraj.FetchJointPos[traj, traj.segCount]] < 1.0 THEN domain.closedTraj _ TRUE ELSE domain.closedTraj _ FALSE; }; $Box => { FOR i: INT IN [0..4) DO domain.segs _ CONS[GGSlice.BoxFetchSegment[domain.slice, i], domain.segs]; ENDLOOP; IF NOT domain.reverse THEN domain.segs _ NARROW[GList.DReverse[domain.segs], LIST OF Segment]; domain.closedTraj _ TRUE; }; ENDCASE => ERROR; }; GetFromLooks: PUBLIC PROC RETURNS [looksList: LIST OF REF ANY _ NIL] = { matchData: MatchData _ MatchViewer.GetMatchData[]; fromData: GGData _ MatchViewer.GetFromData[]; sliceGen: SliceGenerator _ GGScene.SlicesInScene[fromData.scene]; FOR slice: Slice _ GGScene.NextSlice[sliceGen], GGScene.NextSlice[sliceGen] UNTIL slice = NIL DO looksList _ CONS[GetLooksOfSlice[slice, matchData.from], looksList]; ENDLOOP; }; GetToLooks: PUBLIC PROC RETURNS [looksList: LIST OF REF ANY _ NIL] = { matchData: MatchData _ MatchViewer.GetMatchData[]; toData: GGData _ MatchViewer.GetToData[]; sliceGen: SliceGenerator _ GGScene.SlicesInScene[toData.scene]; FOR slice: Slice _ GGScene.NextSlice[sliceGen], GGScene.NextSlice[sliceGen] UNTIL slice = NIL DO looksList _ CONS[GetLooksOfSlice[slice, matchData.to], looksList]; ENDLOOP; }; GetLooksOfSlice: PUBLIC PROC [slice: Slice, choice: ChoiceData, value: BOOL _ TRUE] RETURNS [REF ANY] = { targetParts: SliceParts _ slice.class.newParts[slice, NIL, slice].parts; looks: LooksInfo _ NEW[LooksInfoObj]; IF slice.class.type = $Outline OR slice.class.type = $Box THEN RETURN [GetCompositeLooksOfSlice[slice, choice, value]]; looks.owner.slice _ slice; -- this will suffice IF AtomButtons.GetBinaryState[choice.class] = value THEN { -- Class looks.classDef _ TRUE; looks.class _ slice.class.type; }; IF AtomButtons.GetBinaryState[choice.type] = value THEN { -- Type looks.typeDef _ TRUE; looks.type _ slice.class.type; }; IF AtomButtons.GetBinaryState[choice.shape] = value THEN { -- Shape looks.shapeDef _ TRUE; looks.shape _ MatchTurtle.GetShapeOfSlice[slice]; }; IF AtomButtons.GetBinaryState[choice.color] = value THEN { -- Color looks.colorDef _ TRUE; looks.color _ slice.class.getStrokeColor[slice, targetParts]; }; IF AtomButtons.GetBinaryState[choice.fillColor] = value THEN { -- Fill Color looks.fillColorDef _ TRUE; looks.fillColor _ slice.class.getFillColor[slice]; }; IF AtomButtons.GetBinaryState[choice.string] = value THEN { -- String IF slice.class.type = $Text THEN { looks.stringDef _ TRUE; looks.string _ GGSlice.GetText[slice]; } ELSE looks.string _ NIL; }; IF AtomButtons.GetBinaryState[choice.font] = value THEN { -- Font looks.fontDef _ TRUE; looks.font _ GGSlice.GetFontData[slice]; }; IF AtomButtons.GetBinaryState[choice.fontTform] = value THEN { -- Font & Transform looks.fontTformDef _ TRUE; looks.fontTform _ GGSlice.GetFontData[slice]; }; IF AtomButtons.GetBinaryState[choice.dash] = value THEN { -- Dashes looks.dashesDef _ TRUE; looks.dashes _ NEW[DashInfoObj]; [dashed: looks.dashes.dashed, pattern: looks.dashes.pattern, offset: looks.dashes.offset, length: looks.dashes.length] _ slice.class.getDashed[slice, targetParts]; }; IF AtomButtons.GetBinaryState[choice.joints] = value THEN { -- Joints looks.jointsDef _ TRUE; looks.joints _ slice.class.getStrokeJoint[slice, targetParts]; }; IF AtomButtons.GetBinaryState[choice.ends] = value THEN { -- Ends looks.endsDef _ TRUE; looks.ends _ slice.class.getStrokeEnd[slice, targetParts]; }; IF AtomButtons.GetBinaryState[choice.width] = value THEN { -- Width looks.widthDef _ TRUE; looks.width _ slice.class.getStrokeWidth[slice, targetParts]; }; RETURN [looks]; }; GetLooksOfSegment: PUBLIC PROC [slice: Slice, traj: Traj, seg: Segment, choice: ChoiceData, value: BOOL, shape: TurtleHeader] RETURNS [looks: LooksInfo] = { looks _ NEW[LooksInfoObj]; looks.owner.slice _ slice; looks.owner.traj _ traj; looks.owner.seg _ seg; IF AtomButtons.GetBinaryState[choice.shape] = value THEN { -- Shape looks.shapeDef _ TRUE; looks.shape _ shape; }; IF AtomButtons.GetBinaryState[choice.class] = value THEN { -- Class looks.classDef _ TRUE; looks.class _ slice.class.type; }; IF AtomButtons.GetBinaryState[choice.type] = value THEN { -- Type looks.typeDef _ TRUE; looks.type _ seg.class.type; }; IF AtomButtons.GetBinaryState[choice.color] = value THEN { -- Color looks.colorDef _ TRUE; looks.color _ seg.color; }; IF AtomButtons.GetBinaryState[choice.fillColor] = value THEN { -- Fill Color looks.fillColorDef _ TRUE; looks.fillColor _ slice.class.getFillColor[slice]; }; IF AtomButtons.GetBinaryState[choice.dash] = value THEN { -- Dashes looks.dashesDef _ TRUE; looks.dashes _ NEW[DashInfoObj _ [dashed: seg.dashed, pattern: seg.pattern, offset: seg.offset, length: seg.length]]; }; IF AtomButtons.GetBinaryState[choice.joints] = value THEN { -- Joints looks.jointsDef _ TRUE; looks.joints _ IF traj = NIL THEN slice.class.getStrokeJoint[slice, slice.class.newParts[slice, NIL, slice]] ELSE GGTraj.GetTrajStrokeJoint[traj]; }; IF AtomButtons.GetBinaryState[choice.ends] = value THEN { -- Ends looks.endsDef _ TRUE; looks.ends _ seg.strokeEnd; }; IF AtomButtons.GetBinaryState[choice.width] = value THEN { -- Width looks.widthDef _ TRUE; looks.width _ seg.strokeWidth; }; }; GetCompositeLooksOfSlice: PROC [slice: Slice, choice: ChoiceData, value: BOOL _ TRUE] RETURNS [looksList: LIST OF LIST OF LooksInfo _ NIL] = { shape: TurtleHeader; traj: Traj _ NIL; -- must be defined here so it's defined at GetLooksInSegment call-back class: ATOM _ slice.class.type; -- for use in call-back IF slice.class.type = $Outline THEN { trajGen: TrajGenerator _ GGOutline.TrajsInOutline[slice]; FOR traj _ GGScene.NextTraj[trajGen], GGScene.NextTraj[trajGen] UNTIL traj = NIL DO looksList _ CONS[GetLooksOfTraj[traj, choice, value], looksList]; ENDLOOP; } ELSE { GatherSegs: GGSlice.WalkProc = {segList _ CONS[seg, segList];}; segList: LIST OF Segment _ NIL; subList: LIST OF LooksInfo _ NIL; IF AtomButtons.GetBinaryState[choice.shape] = value THEN shape _ MatchTurtle.GetShapeOfSlice[slice]; [] _ GGSlice.WalkSegments[slice, GatherSegs]; FOR segs: LIST OF Segment _ segList, segs.rest UNTIL segs = NIL DO subList _ CONS[GetLooksOfSegment[slice: slice, traj: NIL, seg: segs.first, choice: choice, value: value, shape: shape], subList]; ENDLOOP; looksList _ CONS[subList, looksList]; }; looksList _ NARROW[GList.DReverse[looksList], LIST OF LIST OF LooksInfo]; }; GetLooksOfTraj: PUBLIC PROC [traj: Traj, choice: ChoiceData, value: BOOL _ TRUE] RETURNS [trajLooks: LIST OF LooksInfo _ NIL] = { shape: TurtleHeader _ IF AtomButtons.GetBinaryState[choice.shape] = value THEN MatchTurtle.TrajToTurtle[traj] ELSE NIL; FOR i: INT DECREASING IN [0..traj.segCount) DO trajLooks _ CONS[GetLooksOfSegment[slice: traj.parent, traj: traj, seg: GGTraj.FetchSegment[traj, i], choice: choice, value: value, shape: shape], trajLooks]; ENDLOOP; }; WalkSegmentsInTraj: PROC [traj: Traj, walkProc: GGModelTypes.WalkProc] = { segGen: SegmentGenerator _ GGSequence.SegmentsInTraj[traj]; FOR seg: Segment _ GGSequence.NextSegment[segGen], GGSequence.NextSegment[segGen] UNTIL seg = NIL DO [] _ walkProc[seg, NIL]; ENDLOOP; }; FindMatchInSlice: PUBLIC PROC [domain: SearchInfo, fromLooks: LIST OF REF ANY, direction: REF ANY, matchD: MatchDescriptor] RETURNS [match: SliceDescriptor _ NIL, rest: SearchInfo _ NIL] = { IF domain.empty THEN RETURN[NIL, domain]; SELECT domain.slice.class.type FROM $Circle => [match, rest] _ FindMatchInCircle[domain, fromLooks, matchD]; $Text => [match, rest] _ FindMatchInText[domain, fromLooks, matchD]; $Box => [match, rest] _ FindMatchInBox[domain, fromLooks, matchD]; $Outline => [match, rest] _ FindMatchInOutline[domain, fromLooks, matchD]; ENDCASE; -- can't match on this kind of slice }; FindMatchInCircle: PROC [domain: SearchInfo, fromLooks: LIST OF REF ANY, matchD: MatchDescriptor] RETURNS [match: SliceDescriptor, rest: SearchInfo] = { entireCircle: SliceDescriptor _ domain.slice.class.newParts[domain.slice, NIL, slice]; looks: LooksInfo; complexLooks: LIST OF LIST OF LooksInfo; FOR fromLooks _ fromLooks, fromLooks.rest UNTIL fromLooks=NIL DO WITH fromLooks.first SELECT FROM simple: LooksInfo => {looks _ simple; complexLooks _ NIL;}; complex: LIST OF LIST OF LooksInfo => { looks _ complex.first.first; complexLooks _ complex; }; ENDCASE => ERROR; IF GList.Length[complexLooks] > 1 THEN LOOP; IF looks.typeDef AND complexLooks#NIL THEN LOOP; IF SimpleMatch[entireCircle, looks, matchD] THEN RETURN[entireCircle, MakeEmpty[domain]]; ENDLOOP; RETURN[NIL, MakeEmpty[domain]]; }; FindMatchInText: PROC [domain: SearchInfo, fromLooks: LIST OF REF ANY, matchD: MatchDescriptor] RETURNS [match: SliceDescriptor, rest: SearchInfo] = { entireText: SliceDescriptor _ domain.slice.class.newParts[domain.slice, NIL, slice]; looks: LooksInfo; complexLooks: LIST OF LIST OF LooksInfo; FOR fromLooks _ fromLooks, fromLooks.rest UNTIL fromLooks=NIL DO WITH fromLooks.first SELECT FROM simple: LooksInfo => {looks _ simple; complexLooks _ NIL;}; complex: LIST OF LIST OF LooksInfo => { looks _ complex.first.first; complexLooks _ complex; }; ENDCASE => ERROR; IF GList.Length[complexLooks] > 1 THEN LOOP; IF looks.typeDef AND complexLooks#NIL THEN LOOP; IF SimpleMatch[entireText, looks, matchD] THEN RETURN[entireText, MakeEmpty[domain]]; ENDLOOP; RETURN[NIL, MakeEmpty[domain]]; }; FindMatchInBox: PROC [domain: SearchInfo, fromLooks: LIST OF REF ANY, matchD: MatchDescriptor] RETURNS [match: SliceDescriptor, rest: SearchInfo] = { matchLevel: MatchViewer.MatchLevel _ MatchViewer.GetMatchData[].matchLevel; entireBox: SliceDescriptor _ domain.slice.class.newParts[domain.slice, NIL, slice]; looks: LooksInfo; complexLooks: LIST OF LIST OF LooksInfo; IF matchLevel = anywhere THEN { [match, rest] _ FindAnywhereMatchInBox[domain, fromLooks, matchD]; RETURN[match, rest]; }; FOR fromLooks _ fromLooks, fromLooks.rest UNTIL fromLooks=NIL DO WITH fromLooks.first SELECT FROM simple: LooksInfo => {looks _ simple; complexLooks _ NIL;}; complex: LIST OF LIST OF LooksInfo => { looks _ complex.first.first; complexLooks _ complex; }; ENDCASE => ERROR; IF matchLevel = trajLevel OR matchLevel = sliceLevel THEN { complexLength: NAT _ GList.Length[complexLooks]; IF looks.shapeDef AND complexLength > 1 THEN LOOP; -- boxes are connected entities IF looks.typeDef AND complexLength # 1 THEN LOOP; IF looks.typeDef THEN { IF ComplexMatch[entireBox, complexLooks, matchD] THEN RETURN[entireBox, MakeEmpty[domain]]; } ELSE { IF SimpleMatch[entireBox, looks, matchD] THEN RETURN[entireBox, MakeEmpty[domain]]; }; } ELSE ERROR; ENDLOOP; RETURN[NIL, MakeEmpty[domain]]; }; FindMatchInOutline: PROC [domain: SearchInfo, fromLooks: LIST OF REF ANY, matchD: MatchDescriptor] RETURNS [match: SliceDescriptor, rest: SearchInfo] = { entireSlice: SliceDescriptor _ domain.slice.class.newParts[domain.slice, NIL, slice]; looks: LooksInfo; complexLooks: LIST OF LIST OF LooksInfo; matchLevel: MatchViewer.MatchLevel _ MatchViewer.GetMatchData[].matchLevel; IF matchLevel = trajLevel THEN { [match, rest] _ FindTrajMatchInOutline[domain, fromLooks, matchD]; RETURN[match, rest]; }; IF matchLevel = anywhere THEN { [match, rest] _ FindAnywhereMatchInOutline[domain, fromLooks, matchD]; RETURN[match, rest]; }; FOR fromLooks _ fromLooks, fromLooks.rest UNTIL fromLooks=NIL DO WITH fromLooks.first SELECT FROM simple: LooksInfo => {looks _ simple; complexLooks _ NIL;}; complex: LIST OF LIST OF LooksInfo => { looks _ complex.first.first; complexLooks _ complex; }; ENDCASE => ERROR; IF matchLevel = sliceLevel THEN { trajList: LIST OF Traj _ GGOutline.TrajectoriesOfOutline[domain.slice]; IF (looks.typeDef OR looks.shapeDef) AND complexLooks # NIL THEN { IF GList.Length[complexLooks] # GList.Length[trajList] THEN LOOP; -- different traj count IF ComplexMatch[entireSlice, complexLooks, matchD] THEN RETURN[entireSlice, MakeEmpty[domain]]; } ELSE { IF SimpleMatch[entireSlice, looks, matchD] THEN RETURN[entireSlice, MakeEmpty[domain]]; }; } ENDLOOP; RETURN[NIL, MakeEmpty[domain]]; }; FindAnywhereMatchInBox: PROC [domain: SearchInfo, fromLooks: LIST OF REF ANY, matchD: MatchDescriptor] RETURNS [match: SliceDescriptor, rest: SearchInfo] = { SelectInRange: GGModelTypes.WalkProc = { keep _ IF segNum >= first AND segNum <= last THEN TRUE ELSE FALSE; segNum _ segNum + 1; }; segCount: NAT = 4; -- 4 segs per box segNum: NAT _ 0; start, length: NAT; -- refer to the span of segments on domain.segs first, last: NAT; -- refer to the span of segments relative to the box startSeg: Segment; [start, length] _ SegLooksMatch[domain, fromLooks, matchD]; -- note: start is relative to start of list, not start of traj IF length < 1 THEN RETURN[NIL, NIL]; startSeg _ NARROW[GList.NthElement[domain.segs, start+1], Segment]; FOR i:INT IN [0..4) DO IF GGSlice.BoxFetchSegment[domain.slice, i] = startSeg THEN {first _ i; EXIT;}; ENDLOOP; IF NOT domain.reverse THEN { last _ (first + length - 1) MOD segCount; } ELSE { last _ first; first _ (first - length + 1 + segCount) MOD segCount; -- + segCount to keep positive }; match _ GGSlice.WalkSegments[domain.slice, SelectInRange]; domain _ CopySearchInfo[domain]; domain.segs _ NARROW[GList.NthTail[domain.segs, start + length], LIST OF Segment]; RETURN[match, domain]; }; FindAnywhereMatchInOutline: PROC [domain: SearchInfo, fromLooks: LIST OF REF ANY, matchD: MatchDescriptor] RETURNS [match: SliceDescriptor, rest: SearchInfo] = { matchSeq: Sequence; traj: Traj _ domain.trajs.first; startSeg: Segment; start, length: NAT; -- refer to a span of segments on domain.segs first, last: NAT; -- refer to a span of segments in the new sequence (ie, relative to the traj) domain _ CopySearchInfo[domain]; [start, length] _ SegLooksMatch[domain, fromLooks, matchD]; -- note: start is relative to start of list, not start of traj IF length < 1 THEN { -- nothing on interest on this traj, go directly to next domain.trajs _ domain.trajs.rest; AddSegs[domain]; RETURN[NIL, domain]; }; startSeg _ NARROW[GList.NthElement[domain.segs, start+1], Segment]; FOR i:INT IN [0..traj.segCount) DO IF GGTraj.FetchSegment[traj, i] = startSeg THEN {first _ i; EXIT;}; ENDLOOP; IF NOT domain.reverse THEN { last _ (first + length - 1) MOD traj.segCount; } ELSE { last _ first; first _ (first - length + 1 + traj.segCount) MOD traj.segCount; -- + segCount to keep positive }; domain.segs _ NARROW[GList.NthTail[domain.segs, start + length], LIST OF Segment]; matchSeq _ GGSequence.CreateFromSegments[traj, first, last]; match _ GGOutline.DescriptorFromSequence[domain.slice, matchSeq]; RETURN[match, domain]; }; FindTrajMatchInOutline: PROC [domain: SearchInfo, fromLooks: LIST OF REF ANY, matchD: MatchDescriptor] RETURNS [match: SliceDescriptor, rest: SearchInfo] = { looks: LooksInfo; complexLooks: LIST OF LIST OF LooksInfo; domain _ CopySearchInfo[domain]; FOR trajs: LIST OF Traj _ domain.trajs, trajs.rest UNTIL trajs=NIL DO currentTraj: Traj _ trajs.first; domain.trajs _ trajs.rest; FOR fromList: LIST OF REF ANY _ fromLooks, fromList.rest UNTIL fromList=NIL DO WITH fromList.first SELECT FROM simple: LooksInfo => {looks _ simple; complexLooks _ NIL;}; complex: LIST OF LIST OF LooksInfo => { looks _ complex.first.first; complexLooks _ complex; }; ENDCASE => ERROR; IF complexLooks=NIL THEN { -- ie, simple seq: Sequence _ GGSequence.CreateComplete[currentTraj]; sliceD: SliceDescriptor _ GGOutline.DescriptorFromSequence[domain.slice, seq]; IF SimpleMatch[sliceD, looks, matchD] THEN RETURN[sliceD, domain]; } ELSE { FOR list: LIST OF LIST OF LooksInfo _ complexLooks, list.rest UNTIL list=NIL DO IF TrajMatch[currentTraj, list.first, matchD] THEN { seq: Sequence _ GGSequence.CreateComplete[currentTraj]; match _ GGOutline.DescriptorFromSequence[domain.slice, seq]; RETURN[match, domain]; }; ENDLOOP; }; ENDLOOP; ENDLOOP; RETURN[NIL, domain]; }; ManhattanDistance: PROC [pt1, pt2: Point] RETURNS [REAL] = { RETURN[ABS[pt2.x - pt1.x] + ABS[pt2.y - pt1.y]]; }; SegLooksMatch: PROC [domain: SearchInfo, fromLooks: LIST OF REF ANY, matchD: MatchDescriptor] RETURNS [start, length: NAT _ 0] = { noneFound: BOOL _ TRUE; newStart, newLength: NAT; looks: LooksInfo; complexLooks: LIST OF LooksInfo; reverse: BOOL _ FALSE; mapping: LIST OF ItemMatch _ NIL; saveDObj, bestDObj: Match.MatchDObj; fromLooks _ FlattenLooks[fromLooks]; FOR fromLooks _ fromLooks, fromLooks.rest UNTIL fromLooks=NIL DO WITH fromLooks.first SELECT FROM simple: LooksInfo => {looks _ simple; complexLooks _ NIL;}; complex: LIST OF LooksInfo => { -- not LIST OF LIST OF, since we've flattened slices looks _ complex.first; complexLooks _ complex; }; ENDCASE => ERROR; IF NOT SliceLevelMatch[domain.slice, IF domain.trajs = NIL THEN NIL ELSE domain.trajs.first, looks] THEN LOOP; saveDObj _ matchD^; IF NOT looks.typeDef THEN [newStart, newLength, reverse] _ SimpleSegMatch[domain, looks, matchD] ELSE [newStart, newLength, reverse] _ CompoundSegMatch[domain, complexLooks, matchD]; IF newLength > 0 THEN { -- we've found a match, but is it the (closest, longest) match? IF start = newStart AND newLength > length THEN length _ newLength; IF noneFound OR newStart < start THEN { start _ newStart; length _ newLength; mapping _ MakeSegMapping[domain, start, length, reverse, looks, complexLooks]; bestDObj _ saveDObj; }; noneFound _ FALSE; }; ENDLOOP; IF length > 0 THEN { matchD^ _ bestDObj; matchD.mapping _ NARROW[GList.Append[mapping, matchD.mapping]]; }; }; FlattenLooks: PROC [looksList: LIST OF REF ANY] RETURNS [newList: LIST OF REF ANY _ NIL] = { FOR looksList _ looksList, looksList.rest UNTIL looksList=NIL DO WITH looksList.first SELECT FROM simple: LooksInfo => newList _ CONS[simple, newList]; complex: LIST OF LIST OF LooksInfo => { FOR complex _ complex, complex.rest UNTIL complex=NIL DO newList _ CONS[complex.first, newList]; ENDLOOP; }; ENDCASE => ERROR; ENDLOOP; newList _ NARROW[GList.DReverse[newList], LIST OF REF ANY]; }; MakeSegMapping: PROC [domain: SearchInfo, start, length: NAT, reverse: BOOL, looks: LooksInfo, complexLooks: LIST OF LooksInfo] RETURNS [mapping: LIST OF ItemMatch _ NIL] = { segList: LIST OF Segment _ NARROW[GList.NthTail[domain.segs, start]]; traj: Traj _ IF domain.slice.class.type = $Outline THEN domain.trajs.first ELSE NIL; THROUGH [0..length) DO newItem: ItemMatch; IF looks.typeDef THEN { newItem _ NEW[ItemMatchObj _ [matcher: complexLooks.first.owner, matchee: [slice: domain.slice, traj: traj, seg: segList.first], backwards: reverse]]; complexLooks _ complexLooks.rest; } ELSE { newItem _ NEW[ItemMatchObj _ [matcher: looks.owner, matchee: [slice: domain.slice, traj: traj, seg: segList.first], backwards: reverse]]; }; mapping _ CONS[newItem, mapping]; segList _ segList.rest; ENDLOOP; }; SimpleSegMatch: PROC [domain: SearchInfo, looks: LooksInfo, matchD: MatchDescriptor] RETURNS [start, length: NAT _ 0, reverse: BOOL] = { IF NOT looks.shapeDef THEN { -- Grab first run that fits description index: NAT _ 0; FOR segs: LIST OF Segment _ domain.segs, segs.rest UNTIL segs=NIL DO match: BOOL _ SegmentMatch[segs.first, looks]; IF match AND length < 1 THEN start _ index; IF match THEN length _ length + 1; IF length > 0 AND NOT match THEN EXIT; index _ index + 1; ENDLOOP; } ELSE { [start, length, reverse] _ ShapeDrivenSegMatch[domain, looks, matchD]; RETURN[start, length, reverse]; }; }; ShapeDrivenSegMatch: PROC [domain: SearchInfo, looks: LooksInfo, matchD: MatchDescriptor] RETURNS [start, length: NAT _ 0, reverse: BOOL] = { matchData: MatchData _ MatchViewer.GetMatchData[]; revCheck: BOOL _ NOT AtomButtons.GetBinaryState[matchData.polarity]; matchList: LIST OF Segment _ NIL; IF looks.shapeDef AND looks.shape.closed THEN revCheck _ FALSE; -- can't flip closed turtles! FOR segs: LIST OF Segment _ domain.segs, segs.rest UNTIL segs = NIL DO tail: LIST OF TurtleInfo _ NIL; ends: LIST OF LIST OF TurtleInfo _ NIL; FOR subList: LIST OF Segment _ segs, subList.rest UNTIL subList=NIL DO IF SegmentMatch[subList.first, looks] THEN { matchList _ CONS[subList.first, matchList]; tail _ MatchTurtle.SegmentToTurtle[subList.first, tail, domain.reverse]; ends _ CONS[MatchTurtle.CopyTurtleTail[tail], ends]; -- list of backwards turtleTails } ELSE EXIT; ENDLOOP; FOR matchList _ matchList, matchList.rest UNTIL matchList = NIL DO -- matchList is backwards turtle: TurtleHeader _ MatchTurtle.PackageTurtleTail[ends.first]; revTurtle: TurtleHeader _ turtle; IF domain.reverse THEN turtle _ MatchTurtle.FlipTurtle[turtle] -- so polarity works right ELSE IF revCheck THEN revTurtle _ MatchTurtle.FlipTurtle[revTurtle]; IF MatchTurtle.TurtleEqual[looks.shape, turtle, MatchViewer.GetMatchTolerance[], matchD.posD] THEN RETURN[start, GList.Length[matchList], FALSE]; IF revCheck AND MatchTurtle.TurtleEqual[looks.shape, revTurtle, MatchViewer.GetMatchTolerance[], matchD.posD] THEN RETURN[start, GList.Length[matchList], TRUE]; ends _ ends.rest; ENDLOOP; start _ start + 1; ENDLOOP; }; CompoundSegMatch: PROC [domain: SearchInfo, looks: LIST OF LooksInfo, matchD: MatchDescriptor] RETURNS [start, length: NAT _ 0, reverse: BOOL _ FALSE] = { matchData: MatchData _ MatchViewer.GetMatchData[]; revCheck: BOOL _ NOT AtomButtons.GetBinaryState[matchData.polarity]; single: LooksInfo; matchLength: NAT _ GList.Length[looks]; revLooks: LIST OF LooksInfo; IF looks=NIL THEN RETURN ELSE single _ looks.first; -- if looks is NIL, target not compound IF single.shapeDef AND single.shape.closed THEN revCheck _ FALSE; -- can't flip closed turtles! revLooks _ IF revCheck THEN FlipLooks[looks] ELSE NIL; FOR subList: LIST OF Segment _ domain.segs, subList.rest UNTIL subList = NIL DO foreMatch: BOOL _ TRUE; backMatch: BOOL _ revCheck; foreLooks: LIST OF LooksInfo _ looks; backLooks: LIST OF LooksInfo _ revLooks; segs: LIST OF Segment _ subList; tail: LIST OF TurtleInfo _ NIL; turtle: TurtleHeader; THROUGH [0..matchLength) DO IF segs=NIL THEN RETURN; -- No matches found (signaled by length _ 0) IF foreMatch AND NOT SegmentMatch[segs.first, foreLooks.first] THEN foreMatch _ FALSE; IF backMatch AND NOT SegmentMatch[segs.first, backLooks.first] THEN backMatch _ FALSE; IF NOT foreMatch AND NOT backMatch THEN EXIT; IF single.shapeDef THEN tail _ MatchTurtle.SegmentToTurtle[segs.first, tail, domain.reverse]; segs _ segs.rest; -- do list bookkeeping . . . foreLooks _ foreLooks.rest; IF backLooks # NIL THEN backLooks _ backLooks.rest; ENDLOOP; IF single.shapeDef AND (foreMatch OR backMatch) THEN { turtle _ MatchTurtle.PackageTurtleTail[tail]; IF domain.reverse THEN turtle _ MatchTurtle.FlipTurtle[turtle]; }; IF foreMatch THEN { IF NOT single.shapeDef OR MatchTurtle.TurtleEqual[single.shape, turtle, MatchViewer.GetMatchTolerance[], matchD.posD] THEN RETURN[start, matchLength, FALSE]; }; IF backMatch THEN { IF NOT single.shapeDef OR MatchTurtle.TurtleEqual[single.shape, MatchTurtle.FlipTurtle[turtle], MatchViewer.GetMatchTolerance[], matchD.posD] THEN RETURN[start, matchLength, TRUE]; }; start _ start + 1; ENDLOOP; }; FlipLooks: PROC [looksList: LIST OF LooksInfo] RETURNS [newList: LIST OF LooksInfo] = { newList _ NARROW[GList.Reverse[looksList], LIST OF LooksInfo]; }; SimpleMatch: PROC [sliceD: SliceDescriptor, looks: LooksInfo, matchD: MatchDescriptor _ NIL, checkShape: BOOL _ TRUE] RETURNS [match: BOOL _ TRUE] = { slice: Slice _ sliceD.slice; IF looks.typeDef AND looks.type # slice.class.type THEN RETURN[FALSE]; IF looks.classDef AND looks.class # slice.class.type THEN RETURN[FALSE]; IF looks.colorDef AND NOT ColorEqual[looks.color, slice.class.getStrokeColor[slice, sliceD.parts]] THEN RETURN[FALSE]; IF looks.fillColorDef AND NOT ColorEqual[looks.fillColor, slice.class.getFillColor[slice]] THEN RETURN[FALSE]; IF looks.stringDef AND (slice.class.type # $Text OR NOT Rope.Equal[GGSlice.GetText[slice], looks.string]) THEN RETURN[FALSE]; IF looks.fontDef AND NOT FontEqual[looks.font, GGSlice.GetFontData[slice].fontData] THEN RETURN[FALSE]; IF looks.fontTformDef AND NOT FontAndTransformEqual[looks.fontTform, GGSlice.GetFontData[slice].fontData] THEN RETURN[FALSE]; IF looks.dashesDef THEN { dashInfo: DashInfo _ NEW[DashInfoObj]; [dashed: dashInfo.dashed, pattern: dashInfo.pattern, offset: dashInfo.offset, length: dashInfo.length] _ slice.class.getDashed[slice, sliceD.parts]; IF NOT DashEqual[dashInfo, looks.dashes] THEN RETURN[FALSE]; }; IF looks.jointsDef AND looks.joints # slice.class.getStrokeJoint[slice, sliceD.parts] THEN RETURN[FALSE]; IF looks.endsDef AND looks.ends # slice.class.getStrokeEnd[slice, sliceD.parts] THEN RETURN[FALSE]; IF looks.widthDef AND looks.width # slice.class.getStrokeWidth[slice, sliceD.parts] THEN RETURN[FALSE]; IF checkShape AND looks.shapeDef THEN { IF slice.class.type = $Outline THEN { seqs: LIST OF Sequence _ GGOutline.SequencesOfOutline[sliceD]; IF seqs=NIL OR seqs.rest#NIL THEN RETURN[FALSE]; -- can't match multiple spans IF NOT MatchTurtle.TurtleEqualEitherWay[looks.shape, MatchTurtle.TrajToTurtle[seqs.first.traj], MatchViewer.GetMatchTolerance[], matchD.posD] THEN RETURN[FALSE]; } ELSE IF NOT MatchTurtle.TurtleEqualEitherWay[looks.shape, MatchTurtle.GetShapeOfSlice[slice], MatchViewer.GetMatchTolerance[], matchD.posD] THEN RETURN[FALSE]; }; IF checkShape THEN AddMapping[matchD, looks.owner, SliceDToItemID[sliceD]]; }; AddMapping: PROC [matchD: MatchDescriptor, matcher, matchee: ItemID, backwards: BOOL _ FALSE] = { newMatch: ItemMatch _ NEW[ItemMatchObj _ [matcher: matcher, matchee: matchee, backwards: backwards]]; matchD.mapping _ CONS[newMatch, matchD.mapping]; }; ComplexMatch: PROC [sliceD: SliceDescriptor, sliceLooks: LIST OF LIST OF LooksInfo, matchD: MatchDescriptor] RETURNS [BOOL _ TRUE] = { SELECT sliceD.slice.class.type FROM $Outline => RETURN[ComplexOutlineMatch[sliceD, sliceLooks, matchD]]; $Box => RETURN[ComplexBoxMatch[sliceD, sliceLooks, matchD]]; ENDCASE => ERROR; }; SliceDToItemID: PROC [sliceD: SliceDescriptor] RETURNS [itemID: ItemID] = { itemID.slice _ sliceD.slice; IF sliceD.slice.class.type = $Outline THEN { seqs: LIST OF Sequence _ GGOutline.SequencesOfOutline[sliceD]; IF seqs=NIL OR seqs.rest#NIL THEN ERROR; -- must include a single trajectory itemID.traj _ seqs.first.traj; }; }; ComplexOutlineMatch: PROC [sliceD: SliceDescriptor, sliceLooks: LIST OF LIST OF LooksInfo, matchD: MatchDescriptor] RETURNS [BOOL _ FALSE] = { matchData: MatchData _ MatchViewer.GetMatchData[]; structure: BOOL _ TRUE; trajs: LIST OF Traj _ GGOutline.TrajectoriesOfOutline[sliceD.slice]; -- sliceD is complete IF structure THEN { copyD: MatchDescriptor _ NEW[MatchDObj _ matchD^]; traj: Traj _ trajs.first; trajLooks: LIST OF LooksInfo _ sliceLooks.first; looks: LooksInfo _ trajLooks.first; matcher: MatchTurtle.Matcher; next: PositionDescriptor; IF matchD.posD.valid THEN RETURN[OutlineMatchOriented[trajs, sliceLooks, structure, matchD]]; -- ie, we already have an orientation to match on. IF NOT TrajMatch[traj, trajLooks, copyD, FALSE] THEN RETURN[FALSE]; IF NOT looks.shapeDef THEN { IF OutlineMatchOriented[trajs.rest, sliceLooks.rest, structure, copyD] THEN { matchD^ _ copyD^; RETURN[TRUE]; } ELSE RETURN [FALSE]; }; matcher _ MatchTurtle.CreateMatcher[looks.shape, MatchTurtle.TrajToTurtle[traj], MatchViewer.GetMatchTolerance[], AtomButtons.GetBinaryState[matchData.polarity]]; WHILE (next _ MatchTurtle.NextMatch[matcher]) # NIL DO copyD.posD _ next; IF OutlineMatchOriented[trajs.rest, sliceLooks.rest, structure, copyD] THEN { matchD^ _ copyD^; RETURN[TRUE]; }; ENDLOOP; } ELSE { MatchViewer.ErrorFeedback["Only can deal with structure matches now."]; }; }; OutlineMatchOriented: PROC [trajs: LIST OF Traj, sliceLooks: LIST OF LIST OF LooksInfo, structure: BOOL, matchD: MatchDescriptor] RETURNS [BOOL _ TRUE] = { IF trajs=NIL THEN RETURN[TRUE]; -- base case IF structure THEN { traj: Traj _ trajs.first; trajLooks: LIST OF LooksInfo _ sliceLooks.first; looks: LooksInfo _ trajLooks.first; segGen: SegmentGenerator _ GGSequence.SegmentsInTraj[traj]; copyD: MatchDescriptor _ NEW[MatchDObj _ matchD^]; IF NOT TrajMatch[traj, trajLooks, copyD, FALSE] THEN RETURN[FALSE]; IF looks.shapeDef AND NOT MatchTurtle.TurtleEqual[looks.shape, MatchTurtle.TrajToTurtle[traj], MatchViewer.GetMatchTolerance[], matchD.posD] THEN RETURN[FALSE]; IF NOT OutlineMatchOriented[trajs.rest, sliceLooks.rest, structure, copyD] THEN RETURN[FALSE] ELSE matchD^ _ copyD^; -- only make changes in the descriptor if there's a match! } ELSE { MatchViewer.ErrorFeedback["Only can deal with structure matches now."]; RETURN[FALSE]; }; }; TrajMatch: PROC [traj: Traj, trajLooks: LIST OF LooksInfo, matchD: MatchDescriptor, checkShape: BOOL _ TRUE] RETURNS [BOOL _ TRUE] = { segGen: SegmentGenerator _ GGSequence.SegmentsInTraj[traj]; looks: LooksInfo _ trajLooks.first; localMapping: LIST OF ItemMatch _ NIL; IF looks.typeDef THEN { IF looks.classDef AND looks.class # $Outline THEN RETURN[FALSE]; IF looks.jointsDef AND looks.joints # GGTraj.GetTrajStrokeJoint[traj] THEN RETURN[FALSE]; IF looks.fillColorDef AND NOT ColorEqual[looks.fillColor, traj.parent.class.getFillColor[traj.parent]] THEN RETURN [FALSE]; IF traj.segCount # GList.Length[trajLooks] THEN RETURN[FALSE]; FOR seg: Segment _ GGSequence.NextSegment[segGen], GGSequence.NextSegment[segGen] UNTIL seg = NIL DO IF NOT SegmentMatch[seg, trajLooks.first] THEN RETURN[FALSE]; localMapping _ CONS[NEW[ItemMatchObj _ [matcher: trajLooks.first.owner, matchee: [slice: traj.parent, traj: traj, seg: seg]]], localMapping]; -- looks good so far trajLooks _ trajLooks.rest; ENDLOOP; } ELSE { -- match the looks characteristics on the traj as a whole seq: Sequence _ GGSequence.CreateComplete[traj]; sliceD: SliceDescriptor _ GGOutline.DescriptorFromSequence[traj.parent, seq]; IF NOT SimpleMatch[sliceD, looks, matchD, FALSE] THEN RETURN[FALSE]; localMapping _ LIST[NEW[ItemMatchObj _ [matcher: looks.owner, matchee: [slice: traj.parent, traj: traj]]]]; }; IF checkShape AND looks.shapeDef AND NOT MatchTurtle.TurtleEqualEitherWay[looks.shape, MatchTurtle.TrajToTurtle[traj], MatchViewer.GetMatchTolerance[], matchD.posD] THEN RETURN [FALSE]; matchD.mapping _ NARROW[GList.Append[localMapping, matchD.mapping]]; -- save mapping }; ComplexBoxMatch: PROC [sliceD: SliceDescriptor, sliceLooks: LIST OF LIST OF LooksInfo, matchD: MatchDescriptor] RETURNS [BOOL _ TRUE] = { GatherSegs: GGModelTypes.WalkProc = {segList _ CONS[seg, segList];}; segList: LIST OF Segment _ NIL; looks: LooksInfo; slice: Slice _ sliceD.slice; IF GList.Length[sliceLooks.first] # 4 THEN RETURN[FALSE]; -- boxes have 4 segs. We may have to change this later on if we allow wildcard segs looks _ sliceLooks.first.first; IF looks.fillColorDef AND NOT ColorEqual[looks.fillColor, slice.class.getFillColor[slice]] THEN RETURN [FALSE]; IF looks.shapeDef AND NOT MatchTurtle.TurtleEqualEitherWay[looks.shape, MatchTurtle.GetShapeOfSlice[slice], MatchViewer.GetMatchTolerance[], matchD.posD] THEN RETURN [FALSE]; -- shape may be out of phase with segments! [] _ GGSlice.WalkSegments[slice, GatherSegs]; segList _ NARROW[GList.DReverse[segList]]; IF NOT SegListMatch[segList, sliceLooks.first] THEN RETURN [FALSE]; FOR looksList: LIST OF LooksInfo _ sliceLooks.first, looksList.rest UNTIL looksList = NIL DO AddMapping[matchD, looksList.first.owner, [slice: sliceD.slice, seg: segList.first]]; segList _ segList.rest; ENDLOOP; -- register matches }; SegListMatch: PROC [segList: LIST OF Segment, looks: LIST OF LooksInfo] RETURNS [BOOL _ TRUE] = { IF GList.Length[segList] # GList.Length[looks] THEN RETURN[FALSE]; -- this will change with advent of wildcards FOR segList _ segList, segList.rest UNTIL segList=NIL DO IF NOT SegmentMatch[segList.first, looks.first] THEN RETURN[FALSE]; looks _ looks.rest; ENDLOOP; }; SegmentMatch: PROC [seg: Segment, looks: LooksInfo] RETURNS [BOOL _ TRUE] = { IF looks.typeDef AND looks.type # seg.class.type THEN RETURN[FALSE]; IF looks.colorDef AND NOT ColorEqual[looks.color, seg.color] THEN RETURN[FALSE]; IF looks.dashesDef THEN { dashInfo: DashInfo _ NEW[DashInfoObj _ [dashed: seg.dashed, pattern: seg.pattern, offset: seg.offset, length: seg.length]]; IF NOT DashEqual[dashInfo, looks.dashes] THEN RETURN[FALSE]; }; IF looks.endsDef AND looks.ends # seg.strokeEnd THEN RETURN[FALSE]; IF looks.widthDef AND looks.width # seg.strokeWidth THEN RETURN[FALSE]; }; SliceLevelMatch: PROC [slice: Slice, traj: Traj _ NIL, looks: LooksInfo] RETURNS [BOOL _ TRUE] = { IF looks.classDef AND looks.class # slice.class.type THEN RETURN[FALSE]; IF looks.fillColorDef AND NOT ColorEqual[looks.fillColor, slice.class.getFillColor[slice]] THEN RETURN[FALSE]; IF slice.class.type = $Outline AND looks.jointsDef AND traj # NIL AND looks.joints # GGTraj.GetTrajStrokeJoint[traj] THEN RETURN[FALSE]; }; LooksEqual: PUBLIC PROC [l1, l2: LooksInfo] RETURNS [BOOL _ TRUE] = { IF l1 = l2 THEN RETURN[TRUE]; IF l1 = NIL OR l2 = NIL THEN RETURN[FALSE]; IF (l1.classDef # l2.classDef) OR (l1.typeDef # l2.typeDef) OR (l1.colorDef # l2.colorDef) OR (l1.fillColorDef # l2.fillColorDef) OR (l1.stringDef # l2.stringDef) OR (l1.fontDef # l2.fontDef) OR (l1.fontTformDef # l2.fontTformDef) OR (l1.dashesDef # l2.dashesDef) OR (l1.jointsDef # l2.jointsDef) OR (l1.endsDef # l2.endsDef) OR (l1.widthDef # l2.widthDef) THEN RETURN[FALSE]; IF l1.classDef AND l1.class # l2.class THEN RETURN[FALSE]; IF l1.typeDef AND l1.type # l2.type THEN RETURN[FALSE]; IF l1.colorDef AND NOT ColorEqual[l1.color, l2.color] THEN RETURN[FALSE]; IF l1.fillColorDef AND NOT ColorEqual[l1.fillColor, l2.fillColor] THEN RETURN[FALSE]; IF l1.stringDef AND NOT Rope.Equal[l1.string, l2.string] THEN RETURN[FALSE]; IF l1.fontDef AND NOT FontEqual[l1.font, l2.font] THEN RETURN[FALSE]; IF l1.fontTformDef AND NOT FontAndTransformEqual[l1.fontTform, l2.fontTform] THEN RETURN[FALSE]; IF l1.dashesDef AND NOT DashEqual[l1.dashes, l2.dashes] THEN RETURN[FALSE]; IF l1.jointsDef AND l1.joints # l2.joints THEN RETURN[FALSE]; IF l1.endsDef AND l1.ends # l2.ends THEN RETURN[FALSE]; IF l1.widthDef AND l1.width # l2.width THEN RETURN[FALSE]; }; FontAndTransformEqual: PROC [f1, f2: GGFont.FontData] RETURNS [match: BOOL _ FALSE] = { maxPixels: REAL = 10000.0; IF f1 # NIL AND f2 # NIL AND Rope.Equal[f1.literal, f2.literal, FALSE] AND RealFns.AlmostEqual[f1.storedSize, f2.storedSize, -9] AND ImagerTransformation.CloseToTranslation[f1.transform, f2.transform, maxPixels] THEN RETURN[TRUE]; }; FontEqual: PROC [f1, f2: GGFont.FontData] RETURNS [match: BOOL _ FALSE] = { IF f1 # NIL AND f2 # NIL AND Rope.Equal[f1.literal, f2.literal, FALSE] AND RealFns.AlmostEqual[f1.storedSize, f2.storedSize, -9] THEN RETURN[TRUE]; }; DashEqual: PROC [d1, d2: DashInfo] RETURNS [match: BOOL _ TRUE] = { IF d1.dashed = FALSE AND d2.dashed = FALSE THEN RETURN [TRUE]; IF d1.dashed # d2.dashed OR d1.offset # d2.offset OR d1.length # d2.length OR d1.pattern.len # d2.pattern.len THEN RETURN [FALSE]; FOR i:INT IN [0..d1.pattern.len) DO IF d1.pattern[i] # d2.pattern[i] THEN RETURN[FALSE]; ENDLOOP; }; ColorEqual: PROC [c1, c2: Imager.Color] RETURNS [BOOL] = { epsilon: REAL = 1.0E-2; r1, g1, b1, r2, g2, b2: REAL; IF c1 = c2 THEN RETURN [TRUE]; IF c1 = NIL OR c2 = NIL THEN RETURN[FALSE]; [r1, g1, b1] _ GGUtility.ExtractRGB[c1]; [r2, g2, b2] _ GGUtility.ExtractRGB[c2]; RETURN [(r1=r2 AND g1=g2 AND b1=b2) OR (ABS[r1-r2] { FOR slice: Slice _ GGScene.NextSlice[sliceGen], GGScene.NextSlice[sliceGen] UNTIL slice = NIL DO IF caretPos.y >= slice.class.getBoundBox[slice].hiY THEN sliceList _ CONS[slice, sliceList]; ENDLOOP; }; $SearchAbove => { FOR slice: Slice _ GGScene.NextSlice[sliceGen], GGScene.NextSlice[sliceGen] UNTIL slice = NIL DO IF caretPos.y <= slice.class.getBoundBox[slice].hiY THEN sliceList _ CONS[slice, sliceList]; ENDLOOP; }; $SearchFromTop => { FOR slice: Slice _ GGScene.NextSlice[sliceGen], GGScene.NextSlice[sliceGen] UNTIL slice = NIL DO sliceList _ CONS[slice, sliceList]; ENDLOOP; }; ENDCASE => ERROR; sliceList _ HeightSort[sliceList, IF direction = $SearchAbove THEN FALSE ELSE TRUE]; }; caretPos: Point _ GGCaret.GetPoint[theirData.caret]; slices: LIST OF Slice _ GetOrderedSlices[theirData, direction]; IF select THEN GGSelect.DeselectAll[theirData.scene, match]; -- makes the subsequent selections zoom! FOR sList: LIST OF Slice _ slices, sList.rest UNTIL sList = NIL DO IF select THEN GGSelect.SelectEntireSlice[sList.first, theirData.scene, match]; toSearch _ CONS[CreateSearchInfo[sList.first, direction], toSearch]; ENDLOOP; }; DisjClearMatchBits: PROC [first, next: SearchInfo, scene: Scene] = { SegmentsInInfo: GGModelTypes.WalkProc = { RETURN[GList.Member[seg, next.segs]]; }; IF IsEmptySearchInfo[next] THEN GGSelect.DeselectEntireSlice[first.slice, scene, match] ELSE { -- a bit more complicated (part of next still remains to be searched) SELECT first.slice.class.type FROM $Box => { newSelection: SliceDescriptor _ GGSlice.WalkSegments[next.slice, SegmentsInInfo]; GGSelect.DeselectEntireSlice[first.slice, scene, match]; GGSelect.SelectSlice[newSelection, scene, match]; }; $Outline => { newSelection: SliceDescriptor _ GGSlice.WalkSegments[next.slice, SegmentsInInfo]; FOR trajList: LIST OF Traj _ next.trajs.rest, trajList.rest UNTIL trajList = NIL DO seq: Sequence _ GGSequence.CreateComplete[trajList.first]; trajD: SliceDescriptor _ GGOutline.DescriptorFromSequence[seq.traj.parent, seq]; newSelection _ next.slice.class.unionParts[newSelection, trajD]; ENDLOOP; GGSelect.DeselectEntireSlice[first.slice, scene, match]; GGSelect.SelectSlice[newSelection, scene, match]; }; ENDCASE => GGSelect.DeselectEntireSlice[first.slice, scene, match]; }; }; RemoveSelected: PUBLIC PROC [infoList: LIST OF SearchInfo, sliceD: SliceDescriptor] = { IF sliceD = NIL THEN RETURN; FOR iList: LIST OF SearchInfo _ infoList, iList.rest UNTIL iList = NIL DO IF sliceD.slice = iList.first.slice THEN RemoveDescriptorFromInfo[sliceD, iList.first]; ENDLOOP; }; RemoveDescriptorFromInfo: PUBLIC PROC [sliceD: SliceDescriptor, info: SearchInfo] = { FilterSegs: PROC [sliceD: SliceDescriptor, info: SearchInfo] = { segList, revSegs: LIST OF Segment _ NIL; segGen: SegmentGenerator _ GGSlice.SegmentsInDescriptor[sliceD]; FOR seg: Segment _ GGSlice.NextSegment[segGen], GGSlice.NextSegment[segGen] UNTIL seg = NIL DO segList _ CONS [seg, segList]; ENDLOOP; -- we've formed a list of segments in the descriptor revSegs _ NARROW[GList.Reverse[info.segs]]; info.segs _ NIL; FOR infoSegs: LIST OF Segment _ revSegs, infoSegs.rest UNTIL infoSegs = NIL DO IF GList.Member[infoSegs.first, segList] THEN EXIT ELSE info.segs _ CONS[infoSegs.first, info.segs]; ENDLOOP; }; matchLevel: MatchViewer.MatchLevel _ MatchViewer.GetMatchData[].matchLevel; IF info.slice # sliceD.slice THEN RETURN; -- sliceD and info must relate to same slice IF sliceD.slice.class.isEmptyParts[sliceD] THEN RETURN; -- nothing to remove SELECT sliceD.slice.class.type FROM $Box => { IF matchLevel = sliceLevel OR matchLevel = trajLevel THEN info.empty _ TRUE ELSE FilterSegs[sliceD, info]; -- matchLevel = anywhere }; $Outline => { IF matchLevel = sliceLevel THEN info.empty _ TRUE ELSE IF matchLevel = trajLevel THEN { revTrajs: LIST OF Traj _ NARROW[GList.Reverse[info.trajs]]; info.trajs _ NIL; FOR trajs: LIST OF Traj _ revTrajs, trajs.rest UNTIL trajs = NIL DO seq: Sequence _ GGOutline.FindTrajInDescriptor[sliceD, trajs.first]; IF NOT GGSequence.IsEmpty[seq] THEN EXIT ELSE info.trajs _ CONS[trajs.first, info.trajs]; ENDLOOP; } ELSE { -- matchLevel = anywhere oldTrajs: LIST OF Traj _ info.trajs; revTrajs: LIST OF Traj _ NARROW[GList.Reverse[info.trajs]]; info.trajs _ NIL; FOR trajs: LIST OF Traj _ revTrajs, trajs.rest UNTIL trajs = NIL DO seq: Sequence _ GGOutline.FindTrajInDescriptor[sliceD, trajs.first]; info.trajs _ CONS[trajs.first, info.trajs]; IF NOT GGSequence.IsEmpty[seq] THEN EXIT; ENDLOOP; IF info.trajs.first # oldTrajs.first THEN { info.segs _ NIL; AddSegs[info]; }; FilterSegs[sliceD, info]; }; }; ENDCASE => info.empty _ TRUE; }; HeightSort: PUBLIC PROC [slices: LIST OF Slice, ascending: BOOL] RETURNS [LIST OF Slice] = { CompareProc: GList.CompareProc = { slice1: Slice _ NARROW[ref1]; slice2: Slice _ NARROW[ref2]; priority1: REAL _ slice1.class.getBoundBox[slice1].hiY; priority2: REAL _ slice2.class.getBoundBox[slice2].hiY; IF priority1 = priority2 THEN { priority1 _ slice2.class.getBoundBox[slice2].loX; -- slices swapped intentionally priority2 _ slice1.class.getBoundBox[slice1].loX; }; IF ascending THEN RETURN[Real.CompareREAL[priority1, priority2]] ELSE RETURN[Real.CompareREAL[priority2, priority1]]; }; slices _ NARROW[GList.Sort[slices, CompareProc]]; RETURN[slices]; }; END. @MatchImplA.mesa Last edited by: David Kurlander - September 6, 1987 7:29:54 pm PDT Bier, September 4, 1987 11:19:42 pm PDT Top-level search routines Utilities for building and querying SearchInfos AfterDescriptor: PROC [sliceD: SliceDescriptor, direction: REF ANY] RETURNS [after: SearchInfo _ NIL] = { Not currently used. Given a SliceDescriptor and a search direction, will create a SearchInfo which is the first place to look for a match after the given SliceDescriptor. Was for disjunction search. direction could be a BOOL. SELECT sliceD.slice.class.type FROM $Outline => { First set up trajs part of SearchInfo matchData: MatchData _ MatchViewer.GetMatchData[]; outlineParts: GGOutline.OutlineParts _ NARROW[sliceD.parts]; seqList: LIST OF Sequence _ outlineParts.seqs; children: LIST OF Traj _ GGOutline.TrajectoriesOfOutline[sliceD.slice]; after _ NEW[SearchInfoObj _ [slice: sliceD.slice, reverse: direction=$SearchAbove]]; IF NOT after.reverse THEN { seqList _ NARROW[GList.Reverse[seqList], LIST OF Sequence]; children _ NARROW[GList.Reverse[children], LIST OF Traj]; }; FOR seqList _ seqList, seqList.rest UNTIL seqList=NIL OR seqList.first#NIL DO after.trajs _ CONS[children.first, after.trajs]; children _ children.rest; ENDLOOP; That was quick. Now set up segs if necessary. IF matchData.matchLevel = anywhere THEN { seq: Sequence _ IF seqList#NIL AND seqList.first#NIL THEN seqList.first ELSE NIL; IF seqList#NIL AND seqList.first#NIL THEN after.trajs _ CONS[seq.traj, after.trajs]; IF seq=NIL OR GGSequence.IsEmpty[seq] THEN AddSegs[after] -- add ALL segs ELSE { IF NOT after.reverse THEN FOR i: INT DECREASING IN [0..seq.traj.segCount) UNTIL seq.segments[i] DO after.segs _ CONS[GGTraj.FetchSegment[seq.traj, i], after.segs]; ENDLOOP ELSE FOR i: INT IN [0..seq.traj.segCount) UNTIL seq.segments[i] DO after.segs _ CONS[GGTraj.FetchSegment[seq.traj, i], after.segs]; ENDLOOP; after.closedTraj _ FALSE; -- only some segs of the traj are included }; }; }; $Box => RETURN[AfterBoxDescriptor[sliceD, direction]]; ENDCASE => after _ NIL; }; AfterBoxDescriptor: PROC [sliceD: SliceDescriptor, direction: REF ANY] RETURNS [after: SearchInfo _ NIL] = { matchData: MatchData _ MatchViewer.GetMatchData[]; IF matchData.matchLevel = anywhere THEN { after _ NEW[SearchInfoObj _ [slice: sliceD.slice, reverse: direction=$SearchAbove, segs: NIL]]; IF sliceD.slice.class.isEmptyParts[sliceD] THEN AddSegs[after] -- add ALL segs ELSE IF NOT sliceD.slice.class.isCompleteParts[sliceD] THEN { creatively avoiding looking at the BoxData segGen: SegmentGenerator _ GGSlice.SegmentsInDescriptor[sliceD]; firstSeg: Segment _ GGSlice.NextSegment[segGen]; lastSeg: Segment _ firstSeg; FOR seg: Segment _ GGSlice.NextSegment[segGen], GGSlice.NextSegment[segGen] UNTIL seg = NIL DO lastSeg _ seg; ENDLOOP; IF after.reverse THEN { FOR i: INT IN [0..4) DO nextSeg: Segment _ GGSlice.BoxFetchSegment[sliceD.slice, i]; IF nextSeg = firstSeg THEN EXIT; after.segs _ CONS[nextSeg, after.segs]; ENDLOOP; } ELSE FOR i: INT DECREASING IN [0..4) DO nextSeg: Segment _ GGSlice.BoxFetchSegment[sliceD.slice, i]; IF nextSeg = lastSeg THEN EXIT; after.segs _ CONS[nextSeg, after.segs]; ENDLOOP; after.closedTraj _ FALSE; -- only some segs of the box are included }; }; }; IsFullSearchInfo: PROC [searchInfo: SearchInfo] RETURNS [BOOL _ FALSE] = { IF searchInfo = NIL THEN RETURN[FALSE]; IF searchInfo.complete THEN RETURN[TRUE]; }; Creates a new, complete SearchInfo for the specified slice Since only non-destructive list operations are permitted on the field of SearchInfo's, we can just copy the SearchInfoObj Fills out the segs field of a SearchInfo to contain all the segs in the first trajectory/box Fill in closedTraj field Extracting Looks Information Returns the Looks of the slice that are specified in choice (if value = TRUE) or not specified (if value = FALSE) walks the segments of a trajectory, but unlike most of the segment walk routines, does not return a sequence Matching a domain slice to the from looks. Make a sliceD for the match, and a rest Now we have to splice out the used segments from domain.segs Make a sliceD out of it and a rest, and return Now we have to splice out the used segments from domain.segs Utilities for the above routines IF reverse AND looks.typeDef THEN segList _ NARROW[GList.Reverse[segList]]; looks.shapeDef is TRUE, looks.typeDef is FALSE Find longest run, starting at subList.first, for which we have a basic match Now we must find the longest sub-run with a shape match in matchList We're being called, since typeDef is TRUE (shapeDef may be TRUE) No matches found (signaled by length _ 0) And more to come!! Compare two single-path objects. At this point it is known that the slice is either a box or an outline, and sliceLooks is of complex form NOTE: only works for SliceDescriptors of entire slices (if slice is not an outline) or SliceDesriptors of single trajectories (if slice is an outline) Outline utilities We're matching on the shape or type (or both) of the Outline trajectories Try to match traj with looks, for every possible orientation... We're matching on the shape or type (or both) of the Outline trajectories. We're matching on shape or type (or both) of Outline trajectories First do traj & slice specific checks Next do lower level segment checks if typeDef is TRUE Box utilities Object type or shape is set but object class may not be set. Consider the box to be a set of $Line segments. First do slice specific checks Looks good so far. Now we match against the individual segments Segment-Level checks Slice-Level checks Comparing Look Properties Doesn't compare the shape fields Uses the criteria of GGEvent.SelectMatchingData Disjunctive Search Routines Find any object that matches an object in the From viewer (searchOp = disjunction) toSearch will hold SearchInfo's for objects whose boundBox is below the caret if the search is progressing in a downwards direction, and above the caret if the search is progressing upwards. If select is true, then all slices ahead will be match selected (and those behind will be cleared). This routine is called during disjunction search. If the next SearchInfo is Empty, then deselect the entire slice described by first Bookkeeping to keep track of what parts of a slice have been visited, when a substitution or change of search direction has occurred. We have done a replace or changed the search direction. sliceD is the SliceDescriptor of the "in progress" SearchInfo. infoList is the forward SearchInfo list. We remove the sliceD pieces from the forward list since they have already been looked at. General Search Utilities Height sorts slices by upper left of bounding box (according to the ascending BOOL). Breaks ties by using loX values (ordered according to the complement of the ascending BOOL), so if ascending = FALSE, search will proceed downwards and left to right. [ref1: REF ANY, ref2: REF ANY] RETURNS [Basics.Comparison] Ê9‰– "cedar" style˜code™KšœC™CKšœ$Ïk™'—K˜š ˜ JšœÙ˜ÙK˜—šÏn œœ˜Jšœ¹˜ÀKšœ ˜K˜Kšœ œ˜'Kšœœ˜%Kšœ œ˜*Kšœ œ˜ Kšœ œ˜&Kšœœ˜'Kšœœ˜Kšœ œ˜"Kšœœ˜(Kšœ œ˜"Kšœœ˜(Kšœ œ˜(Kšœœ˜.Kšœ œ˜"Kšœœ"˜:Kšœœ˜!Kšœ œ˜$Kšœœ˜*Kšœ œ˜&Kšœ œ˜'Kšœœ!˜7Kšœ œ˜'Kšœœ˜!Kšœœ˜!Kšœœ ˜5Kšœœ)˜GKšœœ#˜;Kšœœ˜3Kšœ œœœ˜Kšœœ˜Kšœœ˜1Kšœœ˜.Kšœ œ˜*—K˜Jšœ™K™šž œœ˜1J˜1Jšœ œœœ˜:K˜K˜—šžœœœœœœœ œœœ œ˜nK˜2J˜2šœ˜šœ˜KšÏbœ˜ KšœŸœ/˜ZK˜—šœ˜KšŸœ˜&Kšœ1ŸœC˜ˆK˜—šœ˜ Kšœ:˜:Kšœœ˜K˜——Kšœœœ.˜?K˜J˜—J™J™/J™š žœœ&œœœœ™iJšŸ™JšœÊœ™Ïšœ™#šœ ™ JšŸ%™%J™2Jšœ'œ™Jšœ˜—Jš œœœœœœ ˜^J™Jšœœcœ˜–Jšœœ˜J˜—˜ šœœœ˜Jšœœ8˜JJšœ˜—Jš œœœœœœ ˜^Jšœœ˜J˜—Jšœœ˜—J˜J˜—J™J™J™šž œœœœ œœœœœ˜HK˜2K˜-K˜AšœIœ œ˜`Kšœ œ4˜DKšœ˜—Kšœ˜K˜—šž œœœœ œœœœœ˜FK˜2K˜)K˜?šœIœ œ˜`Kšœ œ2˜BKšœ˜—Kšœ˜K˜—šžœœœ+œœœœœ˜iKšœHœœ™qKšœ6œ˜HKšœœ˜%Kšœœœœ2˜wKšœ ˜/šœ2œ Ðbc˜CKšœœ˜Kšœ˜K˜—šœ1œ ¡˜AKšœœ˜Kšœ˜K˜—šœ2œ ¡˜CKšœœ˜K˜1K˜—šœ2œ ¡˜CKšœœ˜K˜=K˜—šœ6œ ¡ ˜LKšœœ˜K˜2K˜—šœ3œ ¡˜Ešœœ˜"Kšœœ˜K˜&K˜—Kšœœ˜K˜—šœ1œ ¡˜AKšœœ˜K˜(K˜—šœ6œ ¡˜RKšœœ˜K˜-K˜—šœ1œ ¡˜CKšœœ˜Kšœœ˜ Kšœ£˜£K˜—šœ3œ ¡˜EKšœœ˜Kšœ>˜>K˜—šœ1œ ¡˜AKšœœ˜Kšœ:˜:K˜—šœ2œ ¡˜CKšœœ˜Kšœ=˜=K˜—Kšœ ˜K˜K˜—š žœœœEœœ˜œKšœœ˜K˜K˜K˜šœ2œ ¡˜CKšœœ˜K˜K˜—šœ2œ ¡˜CKšœœ˜Kšœ˜K˜—šœ1œ ¡˜AKšœœ˜Kšœ˜K˜—šœ2œ ¡˜CKšœœ˜K˜K˜—šœ6œ ¡ ˜LKšœœ˜Kšœ2˜2K˜—šœ1œ ¡˜CKšœœ˜Kšœœc˜uK˜—šœ3œ ¡˜EKšœœ˜Kš œœœœ?œ œ!˜’K˜—šœ1œ ¡˜AKšœœ˜Kšœ˜K˜—šœ2œ ¡˜CKšœœ˜Kšœ˜K˜—K˜K˜—šžœœ+œœœ œœœœ œ˜ŽKšœ˜Kšœ œ F˜XKšœœ ˜7šœœ˜%K˜9šœ=œœ˜SKšœ œ1˜AKšœ˜—K˜—šœ˜Kšž œ œ˜?Kšœ œœ œ˜Kšœ œœ œ˜!Kšœ2œ,˜dK˜-š œœœœœ˜BKšœ œŸœœI˜Kšœ˜—Kšœ œ˜%Kšœ˜—Kš œ œœœœœ ˜IK˜K˜—šžœœœ)œœœ œœ œ˜Kš œœ2œ œœ˜wš œœ œœ˜.Kšœ œŸœ|˜žKšœ˜—K˜K˜K˜—šžœœ2˜JKšœl™lKšœ;˜;šœOœœ˜dKšœœ˜Kšœ˜—K˜K˜—K˜Kšœ*™*K™šžœœœ!œœœœ œœœœœ˜¾Jšœœœœ ˜)šœ˜#JšœH˜HJšœD˜DJ˜BJšœJ˜JJšœ $˜-—˜J˜——J˜šžœœ!œœœœœ/˜˜JšœJœ ˜VJ˜Jš œœœœœ ˜(šœ'œ œ˜@šœœ˜ Jšœ5œ˜;š œ œœœœ˜'Jšœ˜Jšœ˜J˜—Jšœœ˜—Jšœ œœ˜,Jš œœœœœ˜0Jšœ*œœ"˜YJšœ˜—Jšœœ˜J˜J˜—šžœœ!œœœœœ/˜–JšœHœ ˜TJ˜Jš œœœœœ ˜(šœ'œ œ˜@šœœ˜ Jšœ5œ˜;š œ œœœœ˜'Jšœ˜Jšœ˜J˜—Jšœœ˜—Jšœ œœ˜,Jš œœœœœ˜0Jšœ(œœ ˜UJšœ˜—Jšœœ˜J˜J˜—šžœœ!œœœœœ/˜•J˜KJšœGœ ˜SJ˜Jš œœœœœ ˜(šœœ˜JšœŸœ˜BJšœ˜J˜—šœ'œ œ˜@šœœ˜ Jšœ5œ˜;š œ œœœœ˜'Jšœ˜Jšœ˜J˜—Jšœœ˜—šœœœ˜;Jšœœ˜0Jš œœœœ ˜RJšœœœœ˜1šœœ˜Jšœ/œœ˜[J˜—šœ˜Jšœ'œœ˜SJ˜—J˜—Jšœœ˜ Jšœ˜—Jšœœ˜J˜J˜—šžœœ!œœœœœ/˜™JšœIœ ˜UJ˜Jš œœœœœ ˜(J˜Kšœœ˜ JšœŸœ˜BJšœ˜—J˜šœœ˜JšœŸœ˜FJšœ˜—J˜šœ'œ œ˜@šœœ˜ Jšœ5œ˜;š œ œœœœ˜'Jšœ˜Jšœ˜J˜—Jšœœ˜—šœœ˜!Jšœ œœ6˜Gš œœœœœ˜BK•StartOfExpansion[list: LIST OF REF ANY]šœ5œœ ˜YJšœ1œœ!˜_J˜—šœ˜Jšœ)œœ!˜WJ˜—J˜—Jšœ˜—Jšœœ˜J˜K˜—J˜šžœœ!œœœœœ/˜šž œ˜(Jš œœœœœœœ˜BJ˜J˜—Jšœ œ ˜$Jšœœ˜Jšœœ /˜CJšœ œ 4˜FJ˜Jšœ< >˜zJš œ œœœœ˜$J™'Jšœ œ2˜Cšœœœ˜Jšœ5œ œ˜OJšœ˜—šœœœ˜Jšœœ ˜)J˜—šœ˜Jšœ ˜ Jšœ(œ  ˜TJ˜—J™˜zšœ œ 8˜MJšœ!˜!Jšœ˜Jšœœ ˜J˜—J™.Jšœ œ2˜Cšœœœ˜"Jšœ)œ œ˜CJšœ˜—šœœœ˜Jšœœ˜.J˜—šœ˜Jšœ ˜ Jšœ-œ ˜^J˜—J™J™J˜J˜—J™šž œœGœœœœ œœ˜–J™ J˜Jš œœœœœ˜FJš œœ œœœ˜HJš œœœJœœœ˜vJš œœœ>œœœ˜nJšœœœœ3œœœ˜}Jš œœœ<œœœ˜gJš œœœMœœœ˜}šœœ˜Jšœœ˜&Kšœ”˜”Kš œœ#œœœ˜Jšœœœ œœœœ ˜NJš œœˆœœœ˜¡J˜—Jš œœœœœœ˜ŸJ˜—Jšœ œ9˜KJ˜J˜—šž œœ@œœ˜aJšœœL˜eJšœœ˜0J˜—J™šž œœ'œœœœ%œœœ˜†J™išœ˜#Jšœ œ2˜DJšœœ.˜Jš œœœ œœœ #˜LJ˜J˜—J˜J˜—J™J™J˜šžœœ'œœœœ%œœœ˜ŽJ™IJ˜2Jšœ œœ˜Jšœœœ7 ˜Zšœ œ˜Jšœœ˜2J˜Jšœ œœ˜0Jšœ#˜#J˜J˜Jšœœœ> 2˜J™?Kš œœ#œœœœ˜Cšœœœ˜šœEœ˜MKšœ˜Kšœœ˜ K˜—Kšœœœ˜K˜—K˜¢šœ+œ˜6K˜šœEœ˜MKšœ˜Kšœœ˜ K˜—Kšœ˜—K˜—šœ˜KšœG˜GKšœ˜—Kšœ˜J˜—šžœœ œœœœœœœœœœ˜›J™JJš œœœœœ  ˜,šœ œ˜J˜Jšœ œœ˜0Jšœ#˜#Kšœ;˜;Jšœœ˜2Jš œœ#œœœœ˜CKš œœœtœœœ˜ Kš œœEœœœ˜]Kšœ :˜QK˜—šœ˜KšœG˜GKšœœ˜Kšœ˜—Kšœ˜K˜—šž œœœœ1œœœœœ˜†K™AKšœ;˜;Kšœ#˜#Kšœœœ œ˜&šœœ˜Kšœ%™%Kš œœœœœ˜@Kš œœ0œœœ˜YKš œœœJœœœ˜{Kšœ1™5Kšœ)œœœ˜>šœOœœ˜dKš œœ$œœœ˜=Kšœœœw ˜¢K˜Kšœ˜—K˜—šœ 9˜@K˜0K˜MJš œœ$œœœœ˜DJšœœœT˜kJ˜—Kšœ œœœ}œœœ˜¹Kšœœ. ˜T˜K˜——J™J™ J™šžœœ'œœœœ%œœœ˜‰J™mJšž œ%œ˜DJšœ œœ œ˜J˜J˜Jš œ$œœœ T˜ŽJ™K˜Kš œœœ>œœœ˜oKš œœœœœœ +˜ÚJ™@J˜-Jšœ œ˜*Jš œœ)œœœ˜Cš œ œœ.œ œ˜\JšœU˜UJ˜Jšœ ˜—J˜J˜—šž œœ œœœœ œœœ˜aJš œ-œœœ ,˜ošœ!œ œ˜8Jš œœ*œœœ˜CJ˜Jšœ˜—J˜J˜—š ž œœ"œœœ˜MJ™Jš œœœœœ˜DJš œœœ$œœœ˜Pšœœ˜Jšœœc˜{Kš œœ#œœœ˜œœœ˜nJšœœœœœ0œœœ˜ˆJ˜—J˜Jšœ™J˜š ž œœœœœœ˜EJ™ Jšœ œœœ˜Jšœœœœœœœ˜+Jšœœœœ%œœœ%œœœœœœœ˜øJš œ œœœœ˜:Jš œ œœœœ˜7Jš œ œœ œœœ˜IJš œœœ(œœœ˜UJš œœœ"œœœ˜LJš œ œœœœœ˜EJš œœœ3œœœ˜`Jš œœœ!œœœ˜KJš œœœœœ˜=Jš œ œœœœ˜7Jš œ œœœœ˜:J˜J˜—š žœœœ œœ˜WJšœ/™/Kšœ œ ˜Jšœœœœœ$œœ7œPœœœ˜æJ˜J˜—š ž œœœ œœ˜KJšœœœœœ$œœ7œœœ˜“J˜J˜—š ž œœœ œœ˜CJšœ œœ œœœœ˜>Jšœœœœ!œœœ˜‚šœœœ˜#Jšœœœœ˜4Jšœ˜—J˜J˜—šž œœœœ˜:Jšœ œ ˜Jšœœ˜Jšœ œœœ˜Jšœœœœœœœ˜+J˜(J˜(Jšœ œœœœœœœœ˜kJ˜J˜—J™Jšœ™K˜šžœœœœœœœ˜FKšœR™RK˜2J˜2šœœ7œ#œ˜‚Jšœ;œ˜AJ˜Kšœ6˜6Jšœ O˜Q—šœœ.œ˜;J˜RJšœ œ˜$šœmœ œ˜†J˜1Jšœ W˜`—šœœœ˜!Jšœ2˜2JšœI˜IJšœœœ6œ˜[J˜—Jšœ;œ˜AJšœ2 b˜”Jšœ ˜—Jšœœ#œœ˜iJ˜J˜—šžœœœœœœœ œœœœœœ˜£Jšœœ˜K˜2Kšœœ˜#Kš œ œœœœ˜,J˜8š˜šœœœ +˜RJšœŸœ&˜LKšŸœ.˜@Kšœ œœ  ˜2šœ ˜"K˜-K˜8Kšœœ8Ÿœ+˜€KšœŸœŸœ"˜jKšœd˜dKšœQœ˜VKš œ œ{œ œœ˜¸K˜%Kš œ œœœ /˜NKšœœœ˜*K˜—K˜—šœ %˜*šœœœ˜Kšœ œœM˜`Kšœ˜Kšœ˜K˜—šœ˜K˜8Kš œ œ{œ œœ˜¸Kšœœ˜"Kšœœœ˜K˜——Kšœ˜—K˜K˜—šžœœœ œœ œœ œœ˜|J™Öšžœœœœœ œœ œ˜hJ˜?J˜1šœ ˜˜šœIœ œ˜`Jšœ2œ œ˜\Jšœ˜—J˜—˜šœIœ œ˜`Jšœ2œ œ˜\Jšœ˜—J˜—˜šœIœ œ˜`Jšœ œ˜#Jšœ˜—J˜—Jšœœ˜—Jš œ"œœœœœ˜TJ˜—K˜4Kšœœœ Ÿœ˜?Kšœœ/ (˜eš œœœœ œ˜BJšœœA˜OJšœ œ5˜DJšœ˜—J˜—šžœœ,˜DKšžœœ"˜RK™RKšœœ8˜Wšœ E˜Lšœ˜"˜ KšœQ˜QKšœ8˜8K˜1K˜—˜ KšœQ˜Qš œ œœ'œ œ˜SJ˜:J˜PJšœ@˜@Kšœ˜—Kšœ8˜8K˜1K˜—Kšœ<˜C—K˜—K˜K˜—K˜K™…K™š žœœœ œœ)˜WK™7Kšœ>™>Kšœ(™(KšœY™YKšœ œœœ˜š œœœ#œ œ˜IKšœ"œ/˜WKšœ˜—K˜K˜—šžœœœ0˜Ušž œœ0˜@Jšœœœ œ˜(J˜@šœIœœ˜^Jšœ œ˜Jšœ 4˜=—Jšœ œ˜+Jšœ œ˜š œ œœ"œ œ˜NJšœ'œ˜2Jšœ œ˜1Jšœ˜—J˜—K˜KKšœœœ ,˜VKšœ)œœ ˜Lšœ˜#˜ Kšœœœ˜KKšœ ˜7J˜—˜ Jšœœ˜1šœœœ˜%Jšœ œœœ˜;Jšœ œ˜š œœœœ œ˜CJ˜DJšœœœ˜(Jšœœ˜0Jšœ˜—J˜—šœ ˜Jšœ œœ˜$Jšœ œœœ˜;Jšœ œ˜š œœœœ œ˜CJ˜DJšœ œ˜+Jšœœœœ˜)Jšœ˜—šœ#œ˜+Jšœ œ˜J˜J˜—Kšœ˜J˜—J˜—Jšœœ˜—˜K˜——J™Jšœ™J™šž œœœ œœœœœœ ˜\KšœNœZœœ2™üšž œ˜"Kš œœœœœœ™:Kšœœ˜Kšœœ˜Kšœ œ(˜7Kšœ œ(˜7šœœ˜Kšœ2 ˜QK˜1K˜—Kšœ œœ(˜@Kšœœ)˜4K˜—Jšœ œ"˜1Jšœ ˜J˜J˜—J˜Jšœ˜—…—¿œe