public class IconFactory
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
private static class |
IconFactory.KeYControlIcon |
static class |
IconFactory.KeYFolderIcon |
Modifier and Type | Field and Description |
---|---|
private static java.awt.Image |
abandonProof |
private static java.awt.Image |
autoModeStart |
private static java.awt.Image |
autoModeStop |
private static javax.swing.Icon |
closableFolderIcon |
private static javax.swing.Icon |
collapsedIcon |
private static java.awt.Image |
configure |
private static java.awt.Image |
counterexampleImage |
private static java.awt.Image |
decisionProcedureConfigArrow |
private static java.awt.Image |
editFile |
private static javax.swing.Icon |
expandedIcon |
private static java.awt.Image |
expandGoals |
private static java.awt.Image |
goalBack |
private static java.awt.Image |
heatmapImage |
private static java.awt.Image |
help |
private static java.awt.Image |
interactiveAppLogo |
private static java.awt.Image |
jml |
private static java.awt.Image |
junit |
private static java.awt.Image |
keyHole |
private static java.awt.Image |
keyHoleAlmostClosed |
private static java.awt.Image |
keyHoleClosed |
private static java.awt.Image |
keyHoleInteractive |
private static java.awt.Image |
keyHoleLinked |
private static java.awt.Image |
keyLogo |
private static java.awt.Image |
keyLogo22 |
private static java.awt.Image |
keyLogoSmall |
private static javax.swing.Icon |
linkedFolderIcon |
private static java.awt.Image |
minus |
private static java.awt.Image |
next |
private static java.awt.Image |
oneStepSimplifier |
private static java.awt.Image |
openKeYFile |
private static java.awt.Image |
openMostRecentKeYFile |
private static java.awt.Image |
plus |
private static java.awt.Image |
previous |
private static java.awt.Image |
proofMgt |
private static java.awt.Image |
properties |
private static javax.swing.Icon |
provedFolderIcon |
private static java.awt.Image |
prune |
private static java.awt.Image |
quit |
private static java.awt.Image |
recentFiles |
(package private) static KeYResourceManager |
resManager |
private static java.awt.Image |
saveFile |
private static java.awt.Image |
scriptAppLogo |
private static java.awt.Image |
search |
private static java.awt.Image |
search2 |
private static java.awt.Image |
statistics |
private static java.awt.Image |
stop |
private static java.awt.Image |
testgenerationImage |
private static java.awt.Image |
toolbox |
private static java.awt.Image |
uml |
Modifier | Constructor and Description |
---|---|
private |
IconFactory() |
Modifier and Type | Method and Description |
---|---|
static javax.swing.ImageIcon |
abandon(int x) |
static javax.swing.ImageIcon |
autoModeStartLogo(int size) |
static javax.swing.ImageIcon |
autoModeStopLogo(int size) |
static javax.swing.Icon |
closableFolderIcon() |
static javax.swing.Icon |
collapsedIcon() |
static javax.swing.ImageIcon |
configure(int x) |
static javax.swing.Icon |
counterExample(int size) |
static javax.swing.ImageIcon |
createImageIcon(java.lang.Class<?> cl,
java.lang.String filename)
Creates an icon from an image contained in a resource.
|
static javax.swing.ImageIcon |
createImageIcon(java.lang.Object o,
java.lang.String filename)
Creates an icon from an image contained in a resource.
|
static javax.swing.Icon |
editFile(int size) |
static javax.swing.Icon |
expandedIcon() |
static javax.swing.ImageIcon |
expandGoals(int x) |
static java.awt.Image |
getImage(java.lang.String s) |
static javax.swing.ImageIcon |
goalBackLogo(int size) |
static javax.swing.Icon |
heatmapIcon(int size) |
static javax.swing.ImageIcon |
help(int x) |
static javax.swing.Icon |
interactiveAppLogo(int size) |
static javax.swing.ImageIcon |
jmlLogo(int size) |
static javax.swing.ImageIcon |
junitLogo(int size) |
static javax.swing.ImageIcon |
key22Logo(int x,
int y) |
static javax.swing.ImageIcon |
keyHole(int x,
int y) |
static javax.swing.ImageIcon |
keyHoleAlmostClosed(int x,
int y) |
static javax.swing.ImageIcon |
keyHoleClosed(int x,
int y) |
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 |
linkedFolderIcon() |
static javax.swing.ImageIcon |
minus(int x) |
static javax.swing.ImageIcon |
next(int x) |
static javax.swing.Icon |
oneStepSimplifier(int size) |
static javax.swing.Icon |
openKeYFile(int size) |
static javax.swing.Icon |
openMostRecent(int size) |
static javax.swing.ImageIcon |
plus(int x) |
static javax.swing.ImageIcon |
previous(int x) |
static javax.swing.ImageIcon |
proofMgt(int x) |
static javax.swing.ImageIcon |
properties(int x) |
static javax.swing.Icon |
provedFolderIcon() |
static javax.swing.ImageIcon |
pruneLogo(int size) |
static javax.swing.ImageIcon |
quit(int x) |
static javax.swing.ImageIcon |
recentFiles(int x) |
static javax.swing.ImageIcon |
resumeDisabledLogo(int size)
Deprecated.
|
static javax.swing.ImageIcon |
resumeLogo(int size)
Deprecated.
|
static javax.swing.ImageIcon |
reuseLogo()
Deprecated.
|
static javax.swing.Icon |
saveFile(int size) |
static javax.swing.ImageIcon |
scaleIcon(java.awt.Image im,
int x,
int y) |
static javax.swing.Icon |
scriptAppLogo(int size) |
static javax.swing.ImageIcon |
search(int x) |
static javax.swing.ImageIcon |
search2(int x) |
static javax.swing.ImageIcon |
selectDecProcArrow(int size) |
static javax.swing.ImageIcon |
selectStrategyArrow(int size)
Deprecated.
|
static javax.swing.ImageIcon |
statistics(int x) |
static javax.swing.ImageIcon |
stop(int x) |
static javax.swing.Icon |
testGeneration(int size) |
static javax.swing.ImageIcon |
toolbox(int x) |
static javax.swing.ImageIcon |
umlLogo(int size) |
static KeYResourceManager resManager
private static java.awt.Image keyHole
private static java.awt.Image keyHoleAlmostClosed
private static java.awt.Image keyHoleClosed
private static java.awt.Image keyHoleInteractive
private static java.awt.Image keyHoleLinked
private static java.awt.Image keyLogo
private static java.awt.Image keyLogo22
private static java.awt.Image keyLogoSmall
private static javax.swing.Icon provedFolderIcon
private static javax.swing.Icon linkedFolderIcon
private static javax.swing.Icon closableFolderIcon
private static java.awt.Image oneStepSimplifier
private static javax.swing.Icon expandedIcon
private static javax.swing.Icon collapsedIcon
private static java.awt.Image prune
private static java.awt.Image goalBack
private static java.awt.Image autoModeStart
private static java.awt.Image autoModeStop
private static java.awt.Image decisionProcedureConfigArrow
private static java.awt.Image junit
private static java.awt.Image jml
private static java.awt.Image uml
private static java.awt.Image openKeYFile
private static java.awt.Image openMostRecentKeYFile
private static java.awt.Image saveFile
private static java.awt.Image editFile
private static java.awt.Image abandonProof
private static java.awt.Image configure
private static java.awt.Image help
private static java.awt.Image proofMgt
private static java.awt.Image properties
private static java.awt.Image quit
private static java.awt.Image recentFiles
private static java.awt.Image search
private static java.awt.Image search2
private static java.awt.Image statistics
private static java.awt.Image toolbox
private static java.awt.Image plus
private static java.awt.Image minus
private static java.awt.Image expandGoals
private static java.awt.Image next
private static java.awt.Image previous
private static java.awt.Image stop
private static java.awt.Image interactiveAppLogo
private static java.awt.Image scriptAppLogo
private static java.awt.Image counterexampleImage
private static java.awt.Image testgenerationImage
private static java.awt.Image heatmapImage
public static java.awt.Image getImage(java.lang.String s)
public static javax.swing.ImageIcon createImageIcon(java.lang.Object o, java.lang.String filename)
o
- the Object reference to the calling objectfilename
- String the name of the file to search (only relative
pathname to the path of the calling class)public static javax.swing.ImageIcon createImageIcon(java.lang.Class<?> cl, java.lang.String filename)
cl
- the Class the resource is looked forfilename
- String the name of the file to search (only relative
pathname to the path of the calling class)public static javax.swing.ImageIcon scaleIcon(java.awt.Image im, int x, int y)
public static javax.swing.ImageIcon abandon(int x)
public static javax.swing.ImageIcon configure(int x)
public static javax.swing.ImageIcon help(int x)
public static javax.swing.ImageIcon proofMgt(int x)
public static javax.swing.ImageIcon properties(int x)
public static javax.swing.ImageIcon quit(int x)
public static javax.swing.ImageIcon recentFiles(int x)
public static javax.swing.ImageIcon search(int x)
public static javax.swing.ImageIcon search2(int x)
public static javax.swing.ImageIcon statistics(int x)
public static javax.swing.ImageIcon toolbox(int x)
public static javax.swing.ImageIcon plus(int x)
public static javax.swing.ImageIcon minus(int x)
public static javax.swing.ImageIcon expandGoals(int x)
public static javax.swing.ImageIcon next(int x)
public static javax.swing.ImageIcon previous(int x)
public static javax.swing.ImageIcon stop(int x)
public static javax.swing.ImageIcon keyHole(int x, int y)
public static javax.swing.ImageIcon keyHoleClosed(int x, int y)
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.ImageIcon key22Logo(int x, int y)
@Deprecated public static javax.swing.ImageIcon reuseLogo()
@Deprecated public static javax.swing.ImageIcon resumeLogo(int size)
@Deprecated public static javax.swing.ImageIcon resumeDisabledLogo(int size)
public static javax.swing.ImageIcon autoModeStartLogo(int size)
public static javax.swing.ImageIcon autoModeStopLogo(int size)
@Deprecated public static javax.swing.ImageIcon selectStrategyArrow(int size)
public static javax.swing.ImageIcon 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.ImageIcon junitLogo(int size)
public static javax.swing.ImageIcon jmlLogo(int size)
public static javax.swing.ImageIcon umlLogo(int size)
public static javax.swing.ImageIcon pruneLogo(int size)
public static javax.swing.ImageIcon goalBackLogo(int size)
public static javax.swing.Icon provedFolderIcon()
public static javax.swing.Icon linkedFolderIcon()
public static javax.swing.Icon closableFolderIcon()
public static javax.swing.Icon expandedIcon()
public static javax.swing.Icon collapsedIcon()
public static java.awt.Image keyLogo()
public static javax.swing.Icon openMostRecent(int size)
public static javax.swing.Icon openKeYFile(int size)
public static javax.swing.Icon saveFile(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 heatmapIcon(int size)