org.key_project.exploration.Icons Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of keyext.exploration Show documentation

Proof exploration capabilities for key.ui

The newest version!

/* This file is part of KeY - https://key-project.org
 * KeY is licensed under the GNU General Public License Version 2
 * SPDX-License-Identifier: GPL-2.0-only */
package org.key_project.exploration;

import java.awt.*;
import javax.swing.*;

import de.uka.ilkd.key.gui.fonticons.*;

/**
 * Icons of the Exploration Extension
 *
 * @author Alexander Weigl
 * @version 1 (22.07.19)
 */
public class Icons {
    public static final IconFontProvider WARNING =
        new IconFontProvider(MaterialDesignRegular.WARNING, Color.yellow);

    public static final Image SECOND_BRANCH_IMAGE =
        IconFontSwing.buildImage(FontAwesomeSolid.SHARE_ALT, 16, Color.BLACK, 90.0);

    public static final IconFontProvider EXPLORE =
        new IconFontProvider(MaterialDesignRegular.EXPLORE);

    public static final Icon SECOND_BRANCH = new ImageIcon(SECOND_BRANCH_IMAGE);

    public static final IconProvider SECOND_BRANCH_HIDE =
        new IconFontProvider(FontAwesomeSolid.ELLIPSIS_V);
    public static final IconFontProvider EXPLORE_DISABLE =
        new IconFontProvider(MaterialDesignRegular.EXPLORE, Color.GRAY);

    private Icons() {
    }
}