|
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Object java.lang.Enum<RunExternalCommand.Command> jpicedt.ui.util.RunExternalCommand.Command
public static enum RunExternalCommand.Command
Enum for predefined external commands
Enum Constant Summary | |
---|---|
BITMAP_CREATION
|
|
DVIPS
|
|
DVIVIEWER
|
|
GHOSTVIEW
|
|
LATEX
|
|
USER1
|
|
USER2
|
Method Summary | |
---|---|
String |
getDefaultParams()
Returns default commands parameters |
String |
getKeyForParams()
Returns a key used to retrieve/store command parameters from/to a Properties object |
String |
getName()
Returns the name of the external command (to be i18n'd), also used by ActionLocalizer |
boolean |
hasToWriteTmpTeXFile()
Returns whether this command requires first writing a temp TeX file |
static RunExternalCommand.Command |
valueOf(String name)
Returns the enum constant of this type with the specified name. |
static RunExternalCommand.Command[] |
values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final RunExternalCommand.Command LATEX
public static final RunExternalCommand.Command DVIVIEWER
public static final RunExternalCommand.Command DVIPS
public static final RunExternalCommand.Command GHOSTVIEW
public static final RunExternalCommand.Command USER1
public static final RunExternalCommand.Command USER2
public static final RunExternalCommand.Command BITMAP_CREATION
Method Detail |
---|
public static RunExternalCommand.Command[] values()
for (RunExternalCommand.Command c : RunExternalCommand.Command.values()) System.out.println(c);
public static RunExternalCommand.Command valueOf(String name)
name
- the name of the enum constant to be returned.
IllegalArgumentException
- if this enum type has no constant
with the specified name
NullPointerException
- if the argument is nullpublic String getName()
public String getKeyForParams()
public String getDefaultParams()
public boolean hasToWriteTmpTeXFile()
|
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |