public final class IconFactory
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static javax.swing.Icon |
abandon(int x) |
static java.util.List<? extends java.awt.Image> |
applicationLogos()
Returns a list of the application logo (used in Frame, Taskbar, etc)
in various predefined sizes.
|
static javax.swing.Icon |
autoModeStartLogo(int size) |
static javax.swing.Icon |
autoModeStopLogo(int size) |
static javax.swing.Icon |
closableFolderIcon(int height) |
static javax.swing.Icon |
close(int x) |
static javax.swing.Icon |
collapsedIcon(int height) |
static javax.swing.Icon |
configure(int x) |
static javax.swing.Icon |
counterExample(int size) |
static javax.swing.Icon |
editFile(int size) |
static javax.swing.Icon |
expandedIcon(int height) |
static javax.swing.Icon |
expandGoals(int x) |
static javax.swing.Icon |
get(IconProvider provider,
float size) |
static java.awt.Image |
getImage(java.lang.String s) |
static javax.swing.Icon |
goalBackLogo(int size) |
static javax.swing.Icon |
help(int x) |
static javax.swing.Icon |
interactiveAppLogo(int size) |
static javax.swing.Icon |
jmlLogo(int size) |
static javax.swing.Icon |
junitLogo(int size) |
static javax.swing.ImageIcon |
keyHole(int x,
int y) |
static javax.swing.ImageIcon |
keyHoleAlmostClosed(int x,
int y) |
static javax.swing.Icon |
keyHoleClosed(int x) |
static javax.swing.ImageIcon |
keyHoleInteractive(int x,
int y) |
static javax.swing.ImageIcon |
keyHoleLinked(int x,
int y) |
static java.awt.Image |
keyLogo() |
static javax.swing.ImageIcon |
keyLogo(int x,
int y) |
static javax.swing.Icon |
keyVersionLogo() |
static javax.swing.Icon |
keyVersionLogo(int x,
int y) |
static javax.swing.Icon |
linkedFolderIcon(int height) |
static javax.swing.Icon |
minus(int x) |
static javax.swing.Icon |
next(int x) |
static javax.swing.Icon |
oneStepSimplifier(int size) |
static javax.swing.Icon |
openExamples(int size) |
static javax.swing.Icon |
openKeYFile(int size) |
static javax.swing.Icon |
openMostRecent(int size) |
static javax.swing.Icon |
plus(int x) |
static javax.swing.Icon |
previous(int x) |
static javax.swing.Icon |
proofMgt(int x) |
static javax.swing.Icon |
properties(int x) |
static javax.swing.Icon |
provedFolderIcon(int height) |
static javax.swing.Icon |
pruneLogo(int size) |
static javax.swing.Icon |
quit(int x) |
static javax.swing.Icon |
recentFiles(int x) |
static javax.swing.Icon |
saveBundle(int size) |
static javax.swing.Icon |
saveFile(int size) |
static javax.swing.Icon |
scriptAppLogo(int size) |
static javax.swing.Icon |
search(int x) |
static javax.swing.Icon |
search2(int x) |
static javax.swing.Icon |
selectDecProcArrow(int size) |
static javax.swing.Icon |
selectGoalAbove(int size) |
static javax.swing.Icon |
selectGoalBelow(int size) |
static javax.swing.Icon |
statistics(int x) |
static javax.swing.Icon |
stop(int x) |
static javax.swing.Icon |
strategyStartLogo(int size) |
static javax.swing.Icon |
testGeneration(int size) |
static javax.swing.Icon |
toolbox(int x) |
public static final IconFontProvider QUIT
public static final IconFontProvider RECENT_FILES
public static final IconFontProvider SEARCH
public static final IconFontProvider SEARCH2
public static final IconFontProvider STATISTICS
public static final IconFontProvider TOOLBOX
public static final IconFontProvider PLUS
public static final IconFontProvider MINUS
public static final IconFontProvider NEXT
public static final IconFontProvider PREVIOUS
public static final IconFontProvider START
public static final IconFontProvider STOP
public static final IconFontProvider CLOSE
public static final IconFontProvider CONFIGURE_MENU
public static final IconFontProvider OPEN_MOST_RECENT
public static final IconFontProvider OPEN_EXAMPLES
public static final IconFontProvider OPEN_KEY_FILE
public static final IconFontProvider SAVE_FILE
public static final IconFontProvider SAVE_BUNDLE
public static final IconFontProvider EDIT
public static final IconFontProvider INTERACTIVE
public static final IconFontProvider SCRIPT
public static final IconFontProvider PRUNE
public static final IconFontProvider GOAL_BACK
public static final IconFontProvider EXPAND_GOALS
public static final IconFontProvider CONFIGURE
public static final IconFontProvider HELP
public static final IconFontProvider PROOF_MANAGEMENT
public static final IconFontProvider PROPERTIES
public static final IconProvider SEARCH_PREV
public static final IconFontProvider EXPERIMENTAL_EXTENSION
public static final IconFontProvider COUNTER_EXAMPLE
public static final IconFontProvider TEST_CASE_GENERATION
public static final IconFontProvider ORIGIN_HIGHLIGHT_ICON
public static final IconFontProvider ORIGIN_ICON
public static final IconFontProvider WINDOW_ICON
public static final IconProvider PLUS_SQUARED
public static final float DEFAULT_SIZE
public static final java.awt.Color CLOSED_GREEN
public static final java.awt.Color BLUE
public static final java.awt.Color ERROR_COLOR
public static final java.awt.Color WARNING_COLOR
public static final java.awt.Color LINKED_FOLDER_COLOR
public static final java.awt.Color CLOSABLE_FOLDER_COLOR
public static final IconFontProvider AUTO_MODE_START
public static final IconFontProvider AUTO_MODE_STOP
public static final IconProvider PROOF_SEARCH_STRATEGY
public static final IconProvider PROOF_TREE
public static final IconProvider INFO_VIEW
public static final IconProvider TREE_NODE_EXPANDED
public static final IconProvider TREE_NODE_RETRACTED
public static final IconProvider WARNING_UNSOUND
public static final IconProvider WARNING_INCOMPLETE
public static final IconProvider SEARCH_REGROUP
public static final IconProvider EXPORT_MU_SCRIPT
public static final IconProvider EXPORT_MU_SCRIPT_CLIPBOARD
public static final IconProvider INTERLOG_LOAD
public static final IconProvider INTERLOG_SAVE
public static final IconProvider INTERLOG_ADD_USER_NOTE
public static final IconProvider INTERLOG_TOGGLE_FAV
public static final IconProvider JUMP_INTO_TREE
public static final IconProvider INTERLOG_TRY_APPLY
public static final IconProvider INTERLOG_EXPORT_KPS
public static final IconProvider INTERLOG_EXPORT_MARKDOWN
public static final IconProvider INTERLOW_EXTENDED_ACTIONS
public static final IconProvider INTERLOG_RESUME
public static final IconProvider INTERLOG_PAUSE
public static final IconProvider INTERLOG_ICON
public static final IconProvider HEATMAP_DEACTIVATE
public static final IconProvider HEATMAP_ACTIVATE
public static final IconFontProvider PROVED_FOLDER_ICON
public static final IconFontProvider LINKED_FOLDER_ICON
public static final IconFontProvider CLOSABLE_FOLDER_ICON
public static final IconFontProvider GOAL_CLOSED
public static final IconFontProvider SELECT_GOAL_ABOVE
public static final IconFontProvider SELECT_GOAL_BELOW
public static final IconFontProvider SEARCH_HIGHLIGHT
public static final IconFontProvider ABONDON
public static final IconFontProvider SEARCH_HIDE
public static final IconFontProvider SEARCH_NEXT
public static final IconFontProvider ORIGIN_LABELS
public static java.awt.Image getImage(java.lang.String s)
public static javax.swing.Icon abandon(int x)
public static javax.swing.Icon configure(int x)
public static javax.swing.Icon help(int x)
public static javax.swing.Icon proofMgt(int x)
public static javax.swing.Icon properties(int x)
public static javax.swing.Icon quit(int x)
public static javax.swing.Icon recentFiles(int x)
public static javax.swing.Icon search(int x)
public static javax.swing.Icon search2(int x)
public static javax.swing.Icon statistics(int x)
public static javax.swing.Icon toolbox(int x)
public static javax.swing.Icon plus(int x)
public static javax.swing.Icon minus(int x)
public static javax.swing.Icon expandGoals(int x)
public static javax.swing.Icon next(int x)
public static javax.swing.Icon previous(int x)
public static javax.swing.Icon stop(int x)
public static javax.swing.Icon close(int x)
public static javax.swing.ImageIcon keyHole(int x, int y)
public static javax.swing.Icon keyHoleClosed(int x)
public static javax.swing.Icon selectGoalAbove(int size)
public static javax.swing.Icon selectGoalBelow(int size)
public static javax.swing.ImageIcon keyHoleAlmostClosed(int x, int y)
public static javax.swing.ImageIcon keyHoleInteractive(int x, int y)
public static javax.swing.ImageIcon keyHoleLinked(int x, int y)
public static javax.swing.ImageIcon keyLogo(int x, int y)
public static javax.swing.Icon keyVersionLogo()
public static javax.swing.Icon keyVersionLogo(int x, int y)
public static javax.swing.Icon autoModeStartLogo(int size)
public static javax.swing.Icon strategyStartLogo(int size)
public static javax.swing.Icon autoModeStopLogo(int size)
public static javax.swing.Icon selectDecProcArrow(int size)
public static javax.swing.Icon oneStepSimplifier(int size)
public static javax.swing.Icon testGeneration(int size)
public static javax.swing.Icon counterExample(int size)
public static javax.swing.Icon junitLogo(int size)
public static javax.swing.Icon jmlLogo(int size)
public static javax.swing.Icon pruneLogo(int size)
public static javax.swing.Icon goalBackLogo(int size)
public static javax.swing.Icon provedFolderIcon(int height)
public static javax.swing.Icon linkedFolderIcon(int height)
public static javax.swing.Icon closableFolderIcon(int height)
public static javax.swing.Icon expandedIcon(int height)
public static javax.swing.Icon collapsedIcon(int height)
public static java.awt.Image keyLogo()
public static javax.swing.Icon openMostRecent(int size)
public static javax.swing.Icon openExamples(int size)
public static javax.swing.Icon openKeYFile(int size)
public static javax.swing.Icon saveFile(int size)
public static javax.swing.Icon saveBundle(int size)
public static javax.swing.Icon editFile(int size)
public static javax.swing.Icon interactiveAppLogo(int size)
public static javax.swing.Icon scriptAppLogo(int size)
public static javax.swing.Icon get(IconProvider provider, float size)
public static java.util.List<? extends java.awt.Image> applicationLogos()
Copyright © 2003-2019 The KeY-Project.