@Override public boolean getEdgeProperties(N src, Entry<O, N> edge, N tgt, Map<String, String> properties) { if (!super.getEdgeProperties(src, edge, tgt, properties)) { return false; } properties.put(EdgeAttrs.LABEL, String.valueOf(edge.getKey())); return true; } };
@Override default VisualizationHelper<N, E> getVisualizationHelper() { return new DefaultVisualizationHelper<>(); }
@Override public void getGlobalEdgeProperties(Map<String, String> properties) { if (delegate != null) { delegate.getGlobalEdgeProperties(properties); } else { super.getGlobalEdgeProperties(properties); } }
@Override public boolean getNodeProperties(N node, Map<String, String> properties) { if (delegate != null) { return delegate.getNodeProperties(node, properties); } else { return super.getNodeProperties(node, properties); } }
@Override public void getGlobalNodeProperties(Map<String, String> properties) { if (delegate != null) { delegate.getGlobalNodeProperties(properties); } else { super.getGlobalNodeProperties(properties); } }
@Override public boolean getNodeProperties(N node, Map<String, String> properties) { if (initialNodes == null) { initialNodes = new HashSet<>(initialNodes()); } properties.putIfAbsent(NodeAttrs.LABEL, String.valueOf(node)); properties.putIfAbsent(NodeAttrs.SHAPE, NodeShapes.CIRCLE); properties.putIfAbsent(NodeAttrs.INITIAL, Boolean.toString(initialNodes.contains(node))); return true; }
@Override public boolean getNodeProperties(N node, Map<String, String> properties) { if (delegate != null) { return delegate.getNodeProperties(node, properties); } else { return super.getNodeProperties(node, properties); } }
@Override public void getGlobalNodeProperties(Map<String, String> properties) { if (delegate != null) { delegate.getGlobalNodeProperties(properties); } else { super.getGlobalNodeProperties(properties); } }
@Override public boolean getNodeProperties(N node, Map<String, String> properties) { if (initialNodes == null) { initialNodes = new HashSet<>(initialNodes()); } properties.putIfAbsent(NodeAttrs.LABEL, String.valueOf(node)); properties.putIfAbsent(NodeAttrs.SHAPE, NodeShapes.CIRCLE); properties.putIfAbsent(NodeAttrs.INITIAL, Boolean.toString(initialNodes.contains(node))); return true; }
@Override public boolean getNodeProperties(N node, Map<String, String> properties) { if (!super.getNodeProperties(node, properties)) { return false; } switch (getAcceptance(node)) { case TRUE: properties.put(NodeAttrs.SHAPE, NodeShapes.DOUBLECIRCLE); break; case DONT_KNOW: properties.put(NodeAttrs.STYLE, NodeStyles.DASHED); break; default: // case FALSE: default style } return true; }
@Override public boolean getEdgeProperties(S src, TransitionEdge<I, T> edge, S tgt, Map<String, String> properties) { if (!super.getEdgeProperties(src, edge, tgt, properties)) { return false; } String label = String.valueOf(edge.getInput()); properties.put(EdgeAttrs.LABEL, label); return true; }
default VisualizationHelper<N, ?> getVisualizationHelper() { return new DefaultVisualizationHelper<>(); }
@Override public void getGlobalEdgeProperties(Map<String, String> properties) { if (delegate != null) { delegate.getGlobalEdgeProperties(properties); } else { super.getGlobalEdgeProperties(properties); } }
@Override public boolean getNodeProperties(N node, Map<String, String> properties) { if (!super.getNodeProperties(node, properties)) { return false; } switch (getAcceptance(node)) { case TRUE: properties.put(NodeAttrs.SHAPE, NodeShapes.DOUBLECIRCLE); break; case DONT_KNOW: properties.put(NodeAttrs.STYLE, NodeStyles.DASHED); break; default: // case FALSE: default style } return true; }
@Override public boolean getEdgeProperties(S src, TransitionEdge<I, T> edge, S tgt, Map<String, String> properties) { if (!super.getEdgeProperties(src, edge, tgt, properties)) { return false; } String label = String.valueOf(edge.getInput()); properties.put(EdgeAttrs.LABEL, label); return true; }
@Override default VisualizationHelper<N, E> getVisualizationHelper() { return new DefaultVisualizationHelper<>(); }
@Override public boolean getNodeProperties(final L node, final Map<String, String> properties) { super.getNodeProperties(node, properties); properties.put(NodeAttrs.SHAPE, isAcceptingLocation(node) ? NodeShapes.DOUBLECIRCLE : NodeShapes.CIRCLE); properties.put(NodeAttrs.LABEL, Integer.toString(getLocationId(node))); return true; }
@Override public boolean getEdgeProperties(N src, E edge, N tgt, Map<String, String> properties) { if (!super.getEdgeProperties(src, edge, tgt, properties)) { return false; } I input = getInputSymbol(edge); properties.put(EdgeAttrs.LABEL, String.valueOf(input)); return true; }
default VisualizationHelper<N, ?> getVisualizationHelper() { return new DefaultVisualizationHelper<>(); }
@Override public boolean getNodeProperties(State node, Map<String, String> properties) { if (!super.getNodeProperties(node, properties)) { return false; } String str = node.toString(); int wsIdx1 = str.indexOf(' '); int wsIdx2 = str.indexOf(' ', wsIdx1 + 1); properties.put(NodeAttrs.LABEL, "s" + str.substring(wsIdx1 + 1, wsIdx2)); if (node.isAccept()) { properties.put(NodeAttrs.SHAPE, NodeShapes.DOUBLECIRCLE); } return true; }