public void EdgeSpans_PlotSingle( [ArgDescription("Edge spans file."), ArgRequired, ArgExistingFile] string edgeSpansFilePath, [ArgDescription("The index of the edge span to visualize. If negative, a random one will be chosen."), ArgDefaultValue(-1)] int index, [ArgDescription("Resolution of the image (it will be squared)"), ArgDefaultValue(1024)] int sideResolution) { EdgeSpanVisualizer.RenderSingleSpan(edgeSpansFilePath, index, sideResolution); }
public void EdgeSpans_Plot( [ArgDescription("Edge spans file."), ArgRequired, ArgExistingFile] string edgeSpansFilePath, [ArgDescription("Shows the directions of the edges."), ArgDefaultValue(false)] bool showDirections) { var imageFilePath = Path.Combine( Path.GetDirectoryName(edgeSpansFilePath), Path.GetFileNameWithoutExtension(edgeSpansFilePath) + (showDirections ? ".withDirections" : "") + ".png"); EdgeSpanVisualizer.RenderAllSpans(edgeSpansFilePath, imageFilePath, showDirections); }