Examples with KPort de.cau.cs.kieler.klighd.kgraph.KPort used on opensource projects

Example 6 with KPort

use of de.cau.cs.kieler.klighd.kgraph.KPort in project lingua-franca by lf-lang.

the class ReactionPortAdjustment method adjustPositions.

public void adjustPositions(Iterable<Pair<Integer, KPort>> indexedPorts, int count, boolean input) {
    float segments = LinguaFrancaShapeExtensions.REACTION_POINTINESS * 2 / (count + 1);
    for (Pair<Integer, KPort> indexedPort : indexedPorts) {
        KPort port = indexedPort.getValue();
        int idx = indexedPort.getKey();
        float offset = 0;
        if (count % 2 != 0 && idx == count / 2) {
            offset += LinguaFrancaShapeExtensions.REACTION_POINTINESS;
        } else if (idx < count / 2) {
            offset += segments * (idx + 1);
        } else {
            offset += segments * (count - idx);
        }
        if (!input) {
            // reverse
            offset -= LinguaFrancaShapeExtensions.REACTION_POINTINESS;
        }
        // apply
        port.setPos(port.getXpos() + offset, port.getYpos());
        for (KEdge edge : port.getEdges()) {
            if (input) {
                edge.setTargetPoint(adjustedKPoint(edge.getTargetPoint(), offset));
            } else {
                edge.setSourcePoint(adjustedKPoint(edge.getSourcePoint(), offset));
            }
        }
    }
}

Example 7 with KPort

use of de.cau.cs.kieler.klighd.kgraph.KPort in project lingua-franca by lf-lang.

the class ReactionPortAdjustment method modify.

@Override
public boolean modify(IStyleModifier.StyleModificationContext context) {
    try {
        KGraphElement node = context.getGraphElement();
        if (node instanceof KNode) {
            KNode knode = (KNode) node;
            // Find root node
            KNode parent = knode;
            while (parent.eContainer() != null) {
                parent = (KNode) parent.eContainer();
            }
            // Get viewer (this is a bit brittle because it fetches the viewer from some internal property)
            Map.Entry<IProperty<?>, Object> first = IterableExtensions.findFirst(parent.getAllProperties().entrySet(), it -> {
                return it.getKey().getId().equals("de.cau.cs.kieler.klighd.viewer") || it.getKey().getId().equals("klighd.layout.viewer");
            });
            Object viewer = first != null ? first.getValue() : null;
            ILayoutRecorder recorder = null;
            if (viewer instanceof IViewer) {
                recorder = ((IViewer) viewer).getViewContext().getLayoutRecorder();
            }
            if (!knode.getPorts().isEmpty()) {
                if (IterableExtensions.head(knode.getPorts()).getYpos() != 0 && !knode.getProperty(ReactionPortAdjustment.PROCESSED)) {
                    // important for incremental update animation
                    if (recorder != null) {
                        recorder.startRecording();
                    }
                    List<KPort> in = IterableExtensions.toList(IterableExtensions.sortBy(IterableExtensions.filter(knode.getPorts(), it -> {
                        return it.getProperty(CoreOptions.PORT_SIDE) == PortSide.WEST && !it.hasProperty(CoreOptions.PORT_BORDER_OFFSET);
                    }), it -> {
                        return it.getYpos();
                    }));
                    List<KPort> out = IterableExtensions.toList(IterableExtensions.sortBy(IterableExtensions.filter(knode.getPorts(), it -> {
                        return it.getProperty(CoreOptions.PORT_SIDE) == PortSide.EAST && !it.hasProperty(CoreOptions.PORT_BORDER_OFFSET);
                    }), it -> {
                        return it.getYpos();
                    }));
                    // Adjust
                    adjustPositions(IterableExtensions.indexed(in), in.size(), true);
                    adjustPositions(IterableExtensions.indexed(out), out.size(), false);
                    knode.setProperty(ReactionPortAdjustment.PROCESSED, true);
                    if (recorder != null) {
                        recorder.stopRecording(0);
                    }
                } else if (IterableExtensions.head(knode.getPorts()).getYpos() == 0) {
                    knode.setProperty(PROCESSED, false);
                }
            }
        }
    } catch (Exception e) {
        e.printStackTrace();
    // do not disturb rendering process
    }
    return false;
}

Example 8 with KPort

use of de.cau.cs.kieler.klighd.kgraph.KPort in project lingua-franca by lf-lang.

the class LinguaFrancaSynthesis method createReactorNode.

private Collection<KNode> createReactorNode(ReactorInstance reactorInstance, boolean expandDefault, Table<ReactorInstance, PortInstance, KPort> inputPortsReg, Table<ReactorInstance, PortInstance, KPort> outputPortsReg, Map<ReactorInstance, KNode> allReactorNodes) {
    Reactor reactor = reactorInstance.reactorDefinition;
    KNode node = _kNodeExtensions.createNode();
    allReactorNodes.put(reactorInstance, node);
    associateWith(node, reactor);
    _utilityExtensions.setID(node, reactorInstance.uniqueID());
    // save to distinguish nodes associated with the same reactor
    NamedInstanceUtil.linkInstance(node, reactorInstance);
    List<KNode> nodes = new ArrayList<>();
    nodes.add(node);
    String label = createReactorLabel(reactorInstance);
    if (reactorInstance.recursive) {
        // Mark this node
        node.setProperty(REACTOR_RECURSIVE_INSTANTIATION, true);
        // Mark root
        allReactorNodes.get(reactorInstance.root()).setProperty(REACTOR_RECURSIVE_INSTANTIATION, true);
    }
    if (reactor == null) {
        _linguaFrancaShapeExtensions.addErrorMessage(node, TEXT_REACTOR_NULL, null);
    } else if (reactorInstance.isMainOrFederated()) {
        KRoundedRectangle figure = _linguaFrancaShapeExtensions.addMainReactorFigure(node, reactorInstance, label);
        if (getObjectValue(REACTOR_PARAMETER_MODE) == ReactorParameterDisplayModes.TABLE && !reactorInstance.parameters.isEmpty()) {
            KRectangle rectangle = _kContainerRenderingExtensions.addRectangle(figure);
            _kRenderingExtensions.setInvisible(rectangle, true);
            _kRenderingExtensions.to(_kRenderingExtensions.from(_kRenderingExtensions.setGridPlacementData(rectangle), _kRenderingExtensions.LEFT, 8, 0, _kRenderingExtensions.TOP, 0, 0), _kRenderingExtensions.RIGHT, 8, 0, _kRenderingExtensions.BOTTOM, 4, 0);
            _kRenderingExtensions.setHorizontalAlignment(rectangle, HorizontalAlignment.LEFT);
            addParameterList(rectangle, reactorInstance.parameters);
        }
        if (reactorInstance.recursive) {
            nodes.add(addErrorComment(node, TEXT_ERROR_RECURSIVE));
            _linguaFrancaStyleExtensions.errorStyle(figure);
        } else {
            _kContainerRenderingExtensions.addChildArea(figure);
            node.getChildren().addAll(transformReactorNetwork(reactorInstance, new HashMap<>(), new HashMap<>(), allReactorNodes));
        }
        Iterables.addAll(nodes, createUserComments(reactor, node));
        configureReactorNodeLayout(node);
        // Additional layout adjustment for main node
        setLayoutOption(node, CoreOptions.ALGORITHM, LayeredOptions.ALGORITHM_ID);
        setLayoutOption(node, CoreOptions.DIRECTION, Direction.RIGHT);
        setLayoutOption(node, CoreOptions.NODE_SIZE_CONSTRAINTS, EnumSet.of(SizeConstraint.MINIMUM_SIZE));
        setLayoutOption(node, LayeredOptions.NODE_PLACEMENT_BK_FIXED_ALIGNMENT, FixedAlignment.BALANCED);
        setLayoutOption(node, LayeredOptions.NODE_PLACEMENT_BK_EDGE_STRAIGHTENING, EdgeStraighteningStrategy.IMPROVE_STRAIGHTNESS);
        setLayoutOption(node, LayeredOptions.SPACING_EDGE_NODE, LayeredOptions.SPACING_EDGE_NODE.getDefault() * 1.1f);
        setLayoutOption(node, LayeredOptions.SPACING_EDGE_NODE_BETWEEN_LAYERS, LayeredOptions.SPACING_EDGE_NODE_BETWEEN_LAYERS.getDefault() * 1.1f);
        if (!getBooleanValue(SHOW_HYPERLINKS)) {
            setLayoutOption(node, CoreOptions.PADDING, new ElkPadding(-1, 6, 6, 6));
            setLayoutOption(node, LayeredOptions.SPACING_COMPONENT_COMPONENT, LayeredOptions.SPACING_COMPONENT_COMPONENT.getDefault() * 0.5f);
        }
    } else {
        ReactorInstance instance = reactorInstance;
        // Expanded Rectangle
        ReactorFigureComponents comps = _linguaFrancaShapeExtensions.addReactorFigure(node, reactorInstance, label);
        comps.getOuter().setProperty(KlighdProperties.EXPANDED_RENDERING, true);
        for (KRendering figure : comps.getFigures()) {
            associateWith(figure, reactor);
            _kRenderingExtensions.addDoubleClickAction(figure, MemorizingExpandCollapseAction.ID);
        }
        _reactorIcons.handleIcon(comps.getReactor(), reactor, false);
        if (getBooleanValue(SHOW_HYPERLINKS)) {
            // Collapse button
            KText button = _linguaFrancaShapeExtensions.addTextButton(comps.getReactor(), TEXT_HIDE_ACTION);
            _kRenderingExtensions.to(_kRenderingExtensions.from(_kRenderingExtensions.setGridPlacementData(button), _kRenderingExtensions.LEFT, 8, 0, _kRenderingExtensions.TOP, 0, 0), _kRenderingExtensions.RIGHT, 8, 0, _kRenderingExtensions.BOTTOM, 0, 0);
            _kRenderingExtensions.addSingleClickAction(button, MemorizingExpandCollapseAction.ID);
            _kRenderingExtensions.addDoubleClickAction(button, MemorizingExpandCollapseAction.ID);
        }
        if (getObjectValue(REACTOR_PARAMETER_MODE) == ReactorParameterDisplayModes.TABLE && !instance.parameters.isEmpty()) {
            KRectangle rectangle = _kContainerRenderingExtensions.addRectangle(comps.getReactor());
            _kRenderingExtensions.setInvisible(rectangle, true);
            if (!getBooleanValue(SHOW_HYPERLINKS)) {
                _kRenderingExtensions.to(_kRenderingExtensions.from(_kRenderingExtensions.setGridPlacementData(rectangle), _kRenderingExtensions.LEFT, 8, 0, _kRenderingExtensions.TOP, 0, 0), _kRenderingExtensions.RIGHT, 8, 0, _kRenderingExtensions.BOTTOM, 4, 0);
            } else {
                _kRenderingExtensions.to(_kRenderingExtensions.from(_kRenderingExtensions.setGridPlacementData(rectangle), _kRenderingExtensions.LEFT, 8, 0, _kRenderingExtensions.TOP, 4, 0), _kRenderingExtensions.RIGHT, 8, 0, _kRenderingExtensions.BOTTOM, 0, 0);
            }
            _kRenderingExtensions.setHorizontalAlignment(rectangle, HorizontalAlignment.LEFT);
            addParameterList(rectangle, instance.parameters);
        }
        if (instance.recursive) {
            comps.getFigures().forEach(_linguaFrancaStyleExtensions::errorStyle);
        } else {
            _kContainerRenderingExtensions.addChildArea(comps.getReactor());
        }
        // Collapse Rectangle
        comps = _linguaFrancaShapeExtensions.addReactorFigure(node, reactorInstance, label);
        comps.getOuter().setProperty(KlighdProperties.COLLAPSED_RENDERING, true);
        for (KRendering figure : comps.getFigures()) {
            associateWith(figure, reactor);
            if (_utilityExtensions.hasContent(instance) && !instance.recursive) {
                _kRenderingExtensions.addDoubleClickAction(figure, MemorizingExpandCollapseAction.ID);
            }
        }
        _reactorIcons.handleIcon(comps.getReactor(), reactor, true);
        if (getBooleanValue(SHOW_HYPERLINKS)) {
            // Expand button
            if (_utilityExtensions.hasContent(instance) && !instance.recursive) {
                KText button = _linguaFrancaShapeExtensions.addTextButton(comps.getReactor(), TEXT_SHOW_ACTION);
                _kRenderingExtensions.to(_kRenderingExtensions.from(_kRenderingExtensions.setGridPlacementData(button), _kRenderingExtensions.LEFT, 8, 0, _kRenderingExtensions.TOP, 0, 0), _kRenderingExtensions.RIGHT, 8, 0, _kRenderingExtensions.BOTTOM, 8, 0);
                _kRenderingExtensions.addSingleClickAction(button, MemorizingExpandCollapseAction.ID);
                _kRenderingExtensions.addDoubleClickAction(button, MemorizingExpandCollapseAction.ID);
            }
        }
        if (instance.recursive) {
            comps.getFigures().forEach(_linguaFrancaStyleExtensions::errorStyle);
        }
        // Create ports
        Map<PortInstance, KPort> inputPorts = new HashMap<>();
        Map<PortInstance, KPort> outputPorts = new HashMap<>();
        for (PortInstance input : ListExtensions.reverseView(instance.inputs)) {
            inputPorts.put(input, addIOPort(node, input, true, input.isMultiport(), reactorInstance.isBank()));
        }
        for (PortInstance output : instance.outputs) {
            outputPorts.put(output, addIOPort(node, output, false, output.isMultiport(), reactorInstance.isBank()));
        }
        // Mark ports
        inputPorts.values().forEach(it -> it.setProperty(REACTOR_INPUT, true));
        outputPorts.values().forEach(it -> it.setProperty(REACTOR_OUTPUT, true));
        // Add content
        if (_utilityExtensions.hasContent(instance) && !instance.recursive) {
            node.getChildren().addAll(transformReactorNetwork(instance, inputPorts, outputPorts, allReactorNodes));
        }
        // Pass port to given tables
        if (!_utilityExtensions.isRoot(instance)) {
            if (inputPortsReg != null) {
                for (Map.Entry<PortInstance, KPort> entry : inputPorts.entrySet()) {
                    inputPortsReg.put(instance, entry.getKey(), entry.getValue());
                }
            }
            if (outputPortsReg != null) {
                for (Map.Entry<PortInstance, KPort> entry : outputPorts.entrySet()) {
                    outputPortsReg.put(instance, entry.getKey(), entry.getValue());
                }
            }
        }
        if (instance.recursive) {
            setLayoutOption(node, KlighdProperties.EXPAND, false);
            nodes.add(addErrorComment(node, TEXT_ERROR_RECURSIVE));
        } else {
            setLayoutOption(node, KlighdProperties.EXPAND, expandDefault);
            // Interface Dependencies
            _interfaceDependenciesVisualization.addInterfaceDependencies(node, expandDefault);
        }
        if (!_utilityExtensions.isRoot(instance)) {
            // add the annotation now.
            if (!getBooleanValue(SHOW_ALL_REACTORS)) {
                Iterables.addAll(nodes, createUserComments(reactor, node));
            }
        } else {
            Iterables.addAll(nodes, createUserComments(reactor, node));
        }
        configureReactorNodeLayout(node);
    }
    // Find and annotate cycles
    if (getBooleanValue(CYCLE_DETECTION) && _utilityExtensions.isRoot(reactorInstance)) {
        KNode errNode = detectAndAnnotateCycles(node, reactorInstance, allReactorNodes);
        if (errNode != null) {
            nodes.add(errNode);
        }
    }
    return nodes;
}

Example 9 with KPort

use of de.cau.cs.kieler.klighd.kgraph.KPort in project lingua-franca by lf-lang.

the class LinguaFrancaSynthesis method addInvisiblePort.

private KPort addInvisiblePort(KNode node) {
    KPort port = _kPortExtensions.createPort();
    node.getPorts().add(port);
    // invisible
    port.setSize(0, 0);
    return port;
}

Example 10 with KPort

use of de.cau.cs.kieler.klighd.kgraph.KPort in project lingua-franca by lf-lang.

the class LinguaFrancaSynthesis method detectAndAnnotateCycles.

private KNode detectAndAnnotateCycles(KNode node, ReactorInstance reactorInstance, Map<ReactorInstance, KNode> allReactorNodes) {
    if (node.getProperty(REACTOR_RECURSIVE_INSTANTIATION)) {
        _filterCycleAction.resetCycleFiltering(node);
        return addErrorComment(node, TEXT_ERROR_CONTAINS_RECURSION);
    } else {
        // only detect dependency cycles if not recursive
        try {
            boolean hasCycle = _cycleVisualization.detectAndHighlightCycles(reactorInstance, allReactorNodes, it -> {
                if (it instanceof KNode) {
                    List<KRendering> renderings = IterableExtensions.toList(Iterables.filter(((KNode) it).getData(), KRendering.class));
                    if (renderings.size() == 1) {
                        _linguaFrancaStyleExtensions.errorStyle(IterableExtensions.head(renderings));
                    } else {
                        IterableExtensions.filter(renderings, rendering -> {
                            return rendering.getProperty(KlighdProperties.COLLAPSED_RENDERING);
                        }).forEach(_linguaFrancaStyleExtensions::errorStyle);
                    }
                } else if (it instanceof KEdge) {
                    Iterables.filter(((KEdge) it).getData(), KRendering.class).forEach(_linguaFrancaStyleExtensions::errorStyle);
                    // TODO initiallyHide does not work with incremental (https://github.com/kieler/KLighD/issues/37)
                    // cycleEgde.initiallyShow() // Show hidden order dependencies
                    _kRenderingExtensions.setInvisible(_kRenderingExtensions.getKRendering(it), false);
                } else if (it instanceof KPort) {
                    Iterables.filter(((KPort) it).getData(), KRendering.class).forEach(_linguaFrancaStyleExtensions::errorStyle);
                // it.reverseTrianglePort()
                }
            });
            if (hasCycle) {
                KNode err = addErrorComment(node, TEXT_ERROR_CONTAINS_CYCLE);
                // Add to existing figure
                KRectangle rectangle = _kContainerRenderingExtensions.addRectangle(_kRenderingExtensions.getKContainerRendering(err));
                _kRenderingExtensions.to(_kRenderingExtensions.from(_kRenderingExtensions.setGridPlacementData(rectangle), _kRenderingExtensions.LEFT, 3, 0, _kRenderingExtensions.TOP, (-1), 0), _kRenderingExtensions.RIGHT, 3, 0, _kRenderingExtensions.BOTTOM, 3, 0);
                _linguaFrancaStyleExtensions.noSelectionStyle(rectangle);
                _kRenderingExtensions.setInvisible(rectangle, true);
                _kContainerRenderingExtensions.setGridPlacement(rectangle, 2);
                KRectangle subrectangle = _kContainerRenderingExtensions.addRectangle(rectangle);
                _kRenderingExtensions.to(_kRenderingExtensions.from(_kRenderingExtensions.setGridPlacementData(subrectangle), _kRenderingExtensions.LEFT, 0, 0, _kRenderingExtensions.TOP, 0, 0), _kRenderingExtensions.RIGHT, 2, 0, _kRenderingExtensions.BOTTOM, 0, 0);
                _linguaFrancaStyleExtensions.noSelectionStyle(subrectangle);
                _kRenderingExtensions.addSingleClickAction(subrectangle, ShowCycleAction.ID);
                KText subrectangleText = _kContainerRenderingExtensions.addText(subrectangle, TEXT_ERROR_CYCLE_BTN_SHOW);
                // Copy text style
                List<KStyle> styles = ListExtensions.map(IterableExtensions.head(_kRenderingExtensions.getKContainerRendering(err).getChildren()).getStyles(), EcoreUtil::copy);
                subrectangleText.getStyles().addAll(styles);
                _kRenderingExtensions.setFontSize(subrectangleText, 5);
                _kRenderingExtensions.setSurroundingSpace(subrectangleText, 1, 0);
                _linguaFrancaStyleExtensions.noSelectionStyle(subrectangleText);
                _kRenderingExtensions.addSingleClickAction(subrectangleText, ShowCycleAction.ID);
                subrectangle = _kContainerRenderingExtensions.addRectangle(rectangle);
                _kRenderingExtensions.to(_kRenderingExtensions.from(_kRenderingExtensions.setGridPlacementData(subrectangle), _kRenderingExtensions.LEFT, 0, 0, _kRenderingExtensions.TOP, 0, 0), _kRenderingExtensions.RIGHT, 0, 0, _kRenderingExtensions.BOTTOM, 0, 0);
                _linguaFrancaStyleExtensions.noSelectionStyle(subrectangle);
                _kRenderingExtensions.addSingleClickAction(subrectangle, FilterCycleAction.ID);
                subrectangleText = _kContainerRenderingExtensions.addText(subrectangle, _filterCycleAction.isCycleFiltered(node) ? TEXT_ERROR_CYCLE_BTN_UNFILTER : TEXT_ERROR_CYCLE_BTN_FILTER);
                // Copy text style
                styles = ListExtensions.map(IterableExtensions.head(_kRenderingExtensions.getKContainerRendering(err).getChildren()).getStyles(), EcoreUtil::copy);
                subrectangleText.getStyles().addAll(styles);
                _kRenderingExtensions.setFontSize(subrectangleText, 5);
                _kRenderingExtensions.setSurroundingSpace(subrectangleText, 1, 0);
                _linguaFrancaStyleExtensions.noSelectionStyle(subrectangleText);
                _kRenderingExtensions.addSingleClickAction(subrectangleText, FilterCycleAction.ID);
                _filterCycleAction.markCycleFilterText(subrectangleText, err);
                // if user interactively requested a filtered diagram keep it filtered during updates
                if (_filterCycleAction.isCycleFiltered(node)) {
                    _filterCycleAction.filterCycle(node);
                }
                return err;
            }
        } catch (Exception e) {
            _filterCycleAction.resetCycleFiltering(node);
            e.printStackTrace();
            return addErrorComment(node, TEXT_ERROR_CYCLE_DETECTION);
        }
    }
    return null;
}