Skip to content

refactoring #24

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
thanoskiver wants to merge 1 commit into from
Closed

refactoring #24

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
59 changes: 42 additions & 17 deletions ...rc/main/java/com/google/security/zynamics/bindiff/config/GraphViewSettingsConfigItem.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -183,6 +183,11 @@ public final int getAnimationSpeed() {
}

public final void setDefaultGraphLayout(final EGraphLayout defaultGraphLayout) {
GraphLayout layout=getGraphLayout(defaultGraphLayout);
getGraphLayoutOptionsBuilder().setLayout(layout);
}

private GraphLayout getGraphLayout(EGraphLayout defaultGraphLayout) {
GraphLayout layout = GraphLayout.HIERARCHICAL;
switch (defaultGraphLayout) {
case ORTHOGONAL:
Expand All @@ -194,7 +199,7 @@ public final void setDefaultGraphLayout(final EGraphLayout defaultGraphLayout) {
case HIERARCHICAL:
break;
}
getGraphLayoutOptionsBuilder().setLayout(layout);
return layout;
}

public final void setAutoLayouting(final boolean autoLayouting) {
Expand Down Expand Up @@ -245,6 +250,11 @@ public final void setHierarchicalOrthogonalEdgeRouting(
}

public final void setHierarchicalOrientation(final ELayoutOrientation hierarchicalOrientation) {
LayoutOrientation orientation=getLayoutOrientation(hierarchicalOrientation);
getGraphLayoutOptionsBuilder().getHierarchicalOptionsBuilder().setOrientation(orientation);
}

private LayoutOrientation getLayoutOrientation(ELayoutOrientation hierarchicalOrientation) {
LayoutOrientation orientation = LayoutOrientation.HORIZONTAL;
switch (hierarchicalOrientation) {
case HORIZONTAL:
Expand All @@ -253,7 +263,7 @@ public final void setHierarchicalOrientation(final ELayoutOrientation hierarchic
orientation = LayoutOrientation.VERTICAL;
break;
}
getGraphLayoutOptionsBuilder().getHierarchicalOptionsBuilder().setOrientation(orientation);
return orientation;
}

public final void setHierarchicalMinimumLayerDistance(
Expand All @@ -270,6 +280,11 @@ public final void setHierarchicalMinimumNodeDistance(final int hierarchicalMinim
}

public final void setOrthogonalLayoutStyle(final EOrthogonalLayoutStyle orthogonalLayoutStyle) {
OrthogonalLayoutStyle style=getOrthogonalLayoutStyle(orthogonalLayoutStyle);
getGraphLayoutOptionsBuilder().getOrthogonalOptionsBuilder().setStyle(style);
}

private OrthogonalLayoutStyle getOrthogonalLayoutStyle(EOrthogonalLayoutStyle orthogonalLayoutStyle) {
OrthogonalLayoutStyle style = OrthogonalLayoutStyle.DEFAULT;
switch (orthogonalLayoutStyle) {
case NORMAL:
Expand All @@ -278,7 +293,7 @@ public final void setOrthogonalLayoutStyle(final EOrthogonalLayoutStyle orthogon
style = OrthogonalLayoutStyle.TREE;
break;
}
getGraphLayoutOptionsBuilder().getOrthogonalOptionsBuilder().setStyle(style);
return style;
}

public final void setOrthogonalOrientation(final ELayoutOrientation orthogonalOrientation) {
Expand All @@ -300,21 +315,26 @@ public final void setOrthogonalMinimumNodeDistance(final int orthogonalMinimumNo
}

public final void setCircularLayoutStyle(final ECircularLayoutStyle circularLayoutStyle) {
CircularLayoutStyle style = CircularLayoutStyle.COMPACT;
switch (circularLayoutStyle) {
case COMPACT:
break;
case ISOLATED:
style = CircularLayoutStyle.ISOLATED;
break;
case SINGLE_CYCLE:
style = CircularLayoutStyle.SINGLE_CIRCLE;
break;
CircularLayoutStyle style=getCircularLayoutStyle(circularLayoutStyle);
getGraphLayoutOptionsBuilder().getCircularOptionsBuilder().setStyle(style);
}

private CircularLayoutStyle getCircularLayoutStyle(ECircularLayoutStyle circularLayoutStyle) {
CircularLayoutStyle style = CircularLayoutStyle.COMPACT;
switch (circularLayoutStyle) {
case COMPACT:
break;
case ISOLATED:
style = CircularLayoutStyle.ISOLATED;
break;
case SINGLE_CYCLE:
style = CircularLayoutStyle.SINGLE_CIRCLE;
break;
}
return style;
}
getGraphLayoutOptionsBuilder().getCircularOptionsBuilder().setStyle(style);
}

public final void setCircularMinimumNodeDistance(final int circularMinimumNodeDistance) {
public final void setCircularMinimumNodeDistance(final int circularMinimumNodeDistance) {
getGraphLayoutOptionsBuilder()
.getCircularOptionsBuilder()
.setMinNodeDistance(circularMinimumNodeDistance);
Expand All @@ -329,6 +349,11 @@ public final void setZoomSensitivity(final int zoomSensitivity) {
}

public final void setMouseWheelAction(final EMouseAction mouseWheelAction) {
MouseWheelAction action=getMouseWheelAction(mouseWheelAction);
getGraphLayoutOptionsBuilder().setWheelAction(action);
}

private MouseWheelAction getMouseWheelAction(EMouseAction mouseWheelAction) {
MouseWheelAction action = MouseWheelAction.SCROLL;
switch (mouseWheelAction) {
case ZOOM:
Expand All @@ -337,7 +362,7 @@ public final void setMouseWheelAction(final EMouseAction mouseWheelAction) {
case SCROLL:
break;
}
getGraphLayoutOptionsBuilder().setWheelAction(action);
return action;
}

public final void setViewSynchronization(final boolean viewSynchronization) {
Expand Down