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