internal override void LoadAndProcessFile(string fileName)
{
// BasicFileProcessor provides exception management.
using (var reader = new RectFileReader(fileName, fileRoundingDigits))
{
Router = routingFunc(reader);
Verify(Router, reader);
}
}
private RectilinearEdgeRouterWrapper CheckResult(RectFileReader reader)
{
// RectilinearVerifier members; must explicitly reinitialize members from the reader.
this.InitializeMembers(reader);
var router = DoRouting(reader);
reader.VerifyRouter(router);
return router;
}
internal override void LoadAndProcessFile(string fileName)
{
// BasicFileProcessor provides exception management.
using (var reader = new RectFileReader(fileName, fileRoundingDigits))
{
Router = routingFunc(reader);
Verify(Router, reader);
}
}
private static void Verify(RectilinearEdgeRouterWrapper router, RectFileReader reader)
{
if (router.WantVerify) {
reader.VerifyObstaclePaddedPolylines(router.ObstacleTree.GetAllObstacles());
reader.VerifyClumps(router);
reader.VerifyConvexHulls(router);
reader.VerifyVisibilityGraph(router);
reader.VerifyScanSegments(router);
}
}
private static void Verify(RectilinearEdgeRouterWrapper router, RectFileReader reader)
{
if (router.WantVerify)
{
reader.VerifyObstaclePaddedPolylines(router.ObstacleTree.GetAllObstacles());
reader.VerifyClumps(router);
reader.VerifyConvexHulls(router);
reader.VerifyVisibilityGraph(router);
reader.VerifyScanSegments(router);
}
}
// Initializer from file
internal void InitializeMembers(RectFileReader reader)
{
this.RouterPadding = reader.Padding;
this.RouterEdgeSeparation = reader.EdgeSeparation;
this.RouteToCenterOfObstacles = reader.RouteToCenter;
this.RouterArrowheadLength = reader.ArrowheadLength;
this.UseFreePortsForObstaclePorts = reader.UseFreePortsForObstaclePorts;
this.UseSparseVisibilityGraph = reader.UseSparseVisibilityGraph;
this.UseObstacleRectangles = reader.UseObstacleRectangles;
this.LimitPortVisibilitySpliceToEndpointBoundingBox = reader.LimitPortVisibilitySpliceToEndpointBoundingBox;
this.WantPaths = reader.WantPaths;
this.WantNudger = reader.WantNudger;
this.WantVerify = reader.WantVerify;
this.StraightTolerance = reader.StraightTolerance;
this.CornerTolerance = reader.CornerTolerance;
this.BendPenalty = reader.BendPenalty;
this.FreeRelativePortToShapeMap.Clear();
this.OverrideMembers();
}
internal RectilinearEdgeRouterWrapper DoRouting(RectFileReader reader)
{
return(DoRouting(reader.UnpaddedObstacles, reader.RoutingSpecs));
}
internal RectilinearEdgeRouterWrapper DoRouting(RectFileReader reader)
{
return DoRouting(reader.UnpaddedObstacles, reader.RoutingSpecs);
}
// Initializer from file
internal void InitializeMembers(RectFileReader reader)
{
this.RouterPadding = reader.Padding;
this.RouterEdgeSeparation = reader.EdgeSeparation;
this.RouteToCenterOfObstacles = reader.RouteToCenter;
this.RouterArrowheadLength = reader.ArrowheadLength;
this.UseFreePortsForObstaclePorts = reader.UseFreePortsForObstaclePorts;
this.UseSparseVisibilityGraph = reader.UseSparseVisibilityGraph;
this.UseObstacleRectangles = reader.UseObstacleRectangles;
this.LimitPortVisibilitySpliceToEndpointBoundingBox = reader.LimitPortVisibilitySpliceToEndpointBoundingBox;
this.WantPaths = reader.WantPaths;
this.WantNudger = reader.WantNudger;
this.WantVerify = reader.WantVerify;
this.StraightTolerance = reader.StraightTolerance;
this.CornerTolerance = reader.CornerTolerance;
this.BendPenalty = reader.BendPenalty;
this.FreeRelativePortToShapeMap.Clear();
this.OverrideMembers();
}