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

66.67

/visualization/dot-visualizer/src/main/java/net/automatalib/visualization/dot/DOTUtil.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.dot;

import java.awt.Window;
import java.awt.event.ActionEvent;
import java.awt.event.KeyAdapter;
import java.awt.event.KeyEvent;
import java.awt.event.WindowEvent;

import javax.swing.AbstractAction;
import javax.swing.filechooser.FileFilter;
import javax.swing.filechooser.FileNameExtensionFilter;

final class DOTUtil {

    static final FileFilter DOT_FILTER = new FileNameExtensionFilter("GraphVIZ file (*.dot)", "dot");

    static final FileFilter PNG_FILTER = new FileNameExtensionFilter("Portable Network Graphics (*.png)", "png");

    static final int DEFAULT_WIDTH = 800;

    static final int DEFAULT_HEIGHT = 600;

    private DOTUtil() {}

    static AbstractAction getCloseAction(Window w) {
        return new AbstractAction("Close") {

            @Override
            public void actionPerformed(ActionEvent e) {
                w.dispatchEvent(new WindowEvent(w, WindowEvent.WINDOW_CLOSING));
            }
        };
    }

    static KeyAdapter closeOnEscapeAdapter(Window w) {
        return new KeyAdapter() {

            @Override
            public void keyTyped(KeyEvent e) {
                if (e.getKeyChar() == KeyEvent.VK_ESCAPE) {
                    w.dispatchEvent(new WindowEvent(w, WindowEvent.WINDOW_CLOSING));
                }
            }
        };
    }
}

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.dot;
17
18	import java.awt.Window;
19	import java.awt.event.ActionEvent;
20	import java.awt.event.KeyAdapter;
21	import java.awt.event.KeyEvent;
22	import java.awt.event.WindowEvent;
23
24	import javax.swing.AbstractAction;
25	import javax.swing.filechooser.FileFilter;
26	import javax.swing.filechooser.FileNameExtensionFilter;
27
28	final class DOTUtil {
29
30	static final FileFilter DOT_FILTER = new FileNameExtensionFilter("GraphVIZ file (*.dot)", "dot");	2✔
31
32	static final FileFilter PNG_FILTER = new FileNameExtensionFilter("Portable Network Graphics (*.png)", "png");	2✔
33
34	static final int DEFAULT_WIDTH = 800;
35
36	static final int DEFAULT_HEIGHT = 600;
37
38	private DOTUtil() {}
39
40	static AbstractAction getCloseAction(Window w) {
41	return new AbstractAction("Close") {	2✔
42
43	@Override
44	public void actionPerformed(ActionEvent e) {
45	w.dispatchEvent(new WindowEvent(w, WindowEvent.WINDOW_CLOSING));	2✔
46	}	2✔
47	};
48	}
49
50	static KeyAdapter closeOnEscapeAdapter(Window w) {
51	return new KeyAdapter() {	2✔
52
53	@Override
54	public void keyTyped(KeyEvent e) {
55	if (e.getKeyChar() == KeyEvent.VK_ESCAPE) {	×
56	w.dispatchEvent(new WindowEvent(w, WindowEvent.WINDOW_CLOSING));	×
57	}
58	}	×
59	};
60	}
61	}

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