13138848026

Committed 04 Feb 2025 02:53PM UTC coverage: 92.108% (+2.2%) from 89.877%

Build # 13138848026

Build Type

push

github

Committed by

mtf90

Commit Message

[maven-release-plugin] prepare release automatalib-0.12.0

Run Details

16609 of 18032 relevant lines covered (92.11%)

1.7 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

16.67

/api/src/main/java/net/automatalib/visualization/VisualizationHelper.java

/* Copyright (C) 2013-2025 TU Dortmund University
 * This file is part of AutomataLib <https://automatalib.net>.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package net.automatalib.visualization;

import java.util.Map;

/**
 * Helper interface for providing additional styling properties for plotting graphs.
 *
 * @param <N>
 *         node class
 * @param <E>
 *         edge class
 */
public interface VisualizationHelper<N, E> {

    default void getGlobalNodeProperties(Map<String, String> properties) {}

    default void getGlobalEdgeProperties(Map<String, String> properties) {}

    /**
     * Retrieves the properties for rendering a single node. Additionally, the return value allows to control whether to
     * omit this node from rendering. If {@code false} is returned, the node will not be rendered. Consequently, any
     * modifications to the properties map will have no effect.
     * <p>
     * The properties are stored in the {@link Map} argument. Note that if an implementation of a base class is
     * overridden, it is probably a good idea to call {@code super.getNodeProperties(node, properties);} at the
     * beginning of the method.
     *
     * @param node
     *         the node to be rendered
     * @param properties
     *         the property map
     *
     * @return whether this node should be rendered
     */
    boolean getNodeProperties(N node, Map<String, String> properties);

    /**
     * Retrieves the properties for rendering a single edge. Additionally, the return value allows to control whether to
     * omit this edge from rendering. If {@code false} is returned, the edge will not be rendered. Consequently, any
     * modifications to the properties map will have no effect.
     * <p>
     * The properties are stored in the {@link Map} argument. Note that if an implementation of a base class is
     * overridden, it is probably a good idea to call {@code super.getEdgeProperties(node, properties);} at the
     * beginning of the method.
     *
     * @param src
     *         the source node of the edge
     * @param edge
     *         the edge to be rendered
     * @param tgt
     *         the target node of the edge
     * @param properties
     *         the property map
     *
     * @return whether this edge should be rendered
     */
    boolean getEdgeProperties(N src, E edge, N tgt, Map<String, String> properties);

    class CommonAttrs {

        public static final String LABEL = "label";
        public static final String COLOR = "color";
        public static final String TEXLBL = "texlbl";
        public static final String STYLE = "style";

        private CommonAttrs() {
            // prevent instantiation
        }
    }

    final class NodeAttrs extends CommonAttrs {

        public static final String SHAPE = "shape";
        public static final String WIDTH = "width";
        public static final String HEIGHT = "height";
        public static final String FIXEDSIZE = "fixedsize";

        public static final String INITIAL = "initial";

        private NodeAttrs() {
            // prevent instantiation
        }
    }

    class EdgeAttrs extends CommonAttrs {

        public static final String PENWIDTH = "penwidth";
        public static final String ARROWHEAD = "arrowhead";

        private EdgeAttrs() {
            // prevent instantiation
        }
    }

    final class NodeShapes {

        public static final String NONE = "none";

        public static final String OVAL = "oval";
        public static final String DOUBLEOVAL = "doubleoval";

        public static final String CIRCLE = "circle";
        public static final String DOUBLECIRCLE = "doublecircle";

        public static final String OCTAGON = "octagon";
        public static final String DOUBLEOCTAGON = "doubleoctagon";

        public static final String BOX = "box";

        private NodeShapes() {
            // prevent instantiation
        }
    }

    class CommonStyles {

        public static final String DASHED = "dashed";
        public static final String DOTTED = "dotted";
        public static final String SOLID = "solid";
        public static final String BOLD = "bold";

        private CommonStyles() {
            // prevent instantiation
        }
    }

    final class NodeStyles extends CommonStyles {

        public static final String FILLED = "filled";
        public static final String INVISIBLE = "invisible";
        public static final String DIAGONALS = "diagonals";
        public static final String ROUNDED = "rounded";

        private NodeStyles() {
            // prevent instantiation
        }
    }

    final class EdgeStyles extends CommonStyles {

        private EdgeStyles() {
            // prevent instantiation
        }
    }

    final class MTSEdgeAttrs extends EdgeAttrs {

        public static final String MODALITY = "modality";

        private MTSEdgeAttrs() {
            // prevent instantiation
        }
    }
}

1	/* Copyright (C) 2013-2025 TU Dortmund University
2	* This file is part of AutomataLib <https://automatalib.net>.
3	*
4	* Licensed under the Apache License, Version 2.0 (the "License");
5	* you may not use this file except in compliance with the License.
6	* You may obtain a copy of the License at
7	*
8	* http://www.apache.org/licenses/LICENSE-2.0
9	*
10	* Unless required by applicable law or agreed to in writing, software
11	* distributed under the License is distributed on an "AS IS" BASIS,
12	* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13	* See the License for the specific language governing permissions and
14	* limitations under the License.
15	*/
16	package net.automatalib.visualization;
17
18	import java.util.Map;
19
20	/**
21	* Helper interface for providing additional styling properties for plotting graphs.
22	*
23	* @param <N>
24	* node class
25	* @param <E>
26	* edge class
27	*/
28	public interface VisualizationHelper<N, E> {
29
30	default void getGlobalNodeProperties(Map<String, String> properties) {}	1✔
31
32	default void getGlobalEdgeProperties(Map<String, String> properties) {}	1✔
33
34	/**
35	* Retrieves the properties for rendering a single node. Additionally, the return value allows to control whether to
36	* omit this node from rendering. If {@code false} is returned, the node will not be rendered. Consequently, any
37	* modifications to the properties map will have no effect.
38	* <p>
39	* The properties are stored in the {@link Map} argument. Note that if an implementation of a base class is
40	* overridden, it is probably a good idea to call {@code super.getNodeProperties(node, properties);} at the
41	* beginning of the method.
42	*
43	* @param node
44	* the node to be rendered
45	* @param properties
46	* the property map
47	*
48	* @return whether this node should be rendered
49	*/
50	boolean getNodeProperties(N node, Map<String, String> properties);
51
52	/**
53	* Retrieves the properties for rendering a single edge. Additionally, the return value allows to control whether to
54	* omit this edge from rendering. If {@code false} is returned, the edge will not be rendered. Consequently, any
55	* modifications to the properties map will have no effect.
56	* <p>
57	* The properties are stored in the {@link Map} argument. Note that if an implementation of a base class is
58	* overridden, it is probably a good idea to call {@code super.getEdgeProperties(node, properties);} at the
59	* beginning of the method.
60	*
61	* @param src
62	* the source node of the edge
63	* @param edge
64	* the edge to be rendered
65	* @param tgt
66	* the target node of the edge
67	* @param properties
68	* the property map
69	*
70	* @return whether this edge should be rendered
71	*/
72	boolean getEdgeProperties(N src, E edge, N tgt, Map<String, String> properties);
73
74	class CommonAttrs {
75
76	public static final String LABEL = "label";
77	public static final String COLOR = "color";
78	public static final String TEXLBL = "texlbl";
79	public static final String STYLE = "style";
80
81	private CommonAttrs() {
82	// prevent instantiation
83	}
84	}
85
86	final class NodeAttrs extends CommonAttrs {
87
88	public static final String SHAPE = "shape";
89	public static final String WIDTH = "width";
90	public static final String HEIGHT = "height";
91	public static final String FIXEDSIZE = "fixedsize";
92
93	public static final String INITIAL = "initial";
94
95	private NodeAttrs() {	×
96	// prevent instantiation
97	}	×
98	}
99
100	class EdgeAttrs extends CommonAttrs {
101
102	public static final String PENWIDTH = "penwidth";
103	public static final String ARROWHEAD = "arrowhead";
104
105	private EdgeAttrs() {	×
106	// prevent instantiation
107	}	×
108	}
109
110	final class NodeShapes {
111
112	public static final String NONE = "none";
113
114	public static final String OVAL = "oval";
115	public static final String DOUBLEOVAL = "doubleoval";
116
117	public static final String CIRCLE = "circle";
118	public static final String DOUBLECIRCLE = "doublecircle";
119
120	public static final String OCTAGON = "octagon";
121	public static final String DOUBLEOCTAGON = "doubleoctagon";
122
123	public static final String BOX = "box";
124
125	private NodeShapes() {
126	// prevent instantiation
127	}
128	}
129
130	class CommonStyles {
131
132	public static final String DASHED = "dashed";
133	public static final String DOTTED = "dotted";
134	public static final String SOLID = "solid";
135	public static final String BOLD = "bold";
136
137	private CommonStyles() {
138	// prevent instantiation
139	}
140	}
141
142	final class NodeStyles extends CommonStyles {
143
144	public static final String FILLED = "filled";
145	public static final String INVISIBLE = "invisible";
146	public static final String DIAGONALS = "diagonals";
147	public static final String ROUNDED = "rounded";
148
149	private NodeStyles() {	×
150	// prevent instantiation
151	}	×
152	}
153
154	final class EdgeStyles extends CommonStyles {
155
156	private EdgeStyles() {	×
157	// prevent instantiation
158	}	×
159	}
160
161	final class MTSEdgeAttrs extends EdgeAttrs {
162
163	public static final String MODALITY = "modality";
164
165	private MTSEdgeAttrs() {	×
166	// prevent instantiation
167	}	×
168	}
169	}

LearnLib / automatalib / 13138848026

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous