Uses of Class
org.variantsync.diffdetective.variation.diff.render.RenderOptions.Builder
Packages that use RenderOptions.Builder
-
Uses of RenderOptions.Builder in org.variantsync.diffdetective.variation.diff.render
Methods in org.variantsync.diffdetective.variation.diff.render that return RenderOptions.BuilderModifier and TypeMethodDescriptionRenderOptions.Builder.addExtraArguments(String... args) Adds further arguments to the already set extra arguments.RenderOptions.Builder.setArrowsize(int arrowsize) RenderOptions.Builder.setCleanUpTemporaryFiles(boolean cleanUpTemporaryFiles) RenderOptions.Builder.setDpi(int dpi) RenderOptions.Builder.setEdgeFormat(EdgeLabelFormat<? super L> edgeFormat) RenderOptions.Builder.setEdgesize(double edgesize) RenderOptions.Builder.setExtraArguments(List<String> extraArguments) Resets the extra arguments to the given list.RenderOptions.Builder.setFontsize(int fontsize) RenderOptions.Builder.setGraphFormat(GraphFormat format) RenderOptions.Builder.setNodeFormat(DiffNodeLabelFormat<? super L> nodeFormat) RenderOptions.Builder.setNodesize(int nodesize) RenderOptions.Builder.setTreeFormat(VariationDiffLabelFormat treeFormat) RenderOptions.Builder.setWithlabels(boolean withlabels)