Gridarta Editor
EditorSettingsKey.java
Go to the documentation of this file.
1
package
net.sf.gridarta.model.settings;
2
3
import
org.jetbrains.annotations.NotNull;
4
8
public
enum
EditorSettingsKey
{
9
13
ANALYZE_HIGHLIGHT0
(
"AnalyzeHighlight0"
),
14
18
ANALYZE_HIGHLIGHT1
(
"AnalyzeHighlight1"
),
19
23
ANALYZE_HIGHLIGHT2
(
"AnalyzeHighlight2"
),
24
28
ANALYZE_FILTER_OUT
(
"AnalyzeFilterOut"
);
29
33
@NotNull
34
private
final
String
key
;
35
40
EditorSettingsKey
(@NotNull
final
String key) {
41
this.key = key;
42
}
43
48
@NotNull
49
public
String
getKey
() {
50
return
key;
51
}
52
53
}
net.sf.gridarta.model.settings.EditorSettingsKey.EditorSettingsKey
EditorSettingsKey(@NotNull final String key)
Definition:
EditorSettingsKey.java:40
net.sf.gridarta.model.settings.EditorSettingsKey.ANALYZE_HIGHLIGHT2
ANALYZE_HIGHLIGHT2
Definition:
EditorSettingsKey.java:23
net.sf.gridarta.model.settings.EditorSettingsKey
Definition:
EditorSettingsKey.java:8
net.sf.gridarta.model.settings.EditorSettingsKey.getKey
String getKey()
Definition:
EditorSettingsKey.java:49
net.sf.gridarta.model.settings.EditorSettingsKey.ANALYZE_FILTER_OUT
ANALYZE_FILTER_OUT
Definition:
EditorSettingsKey.java:28
net.sf.gridarta.model.settings.EditorSettingsKey.key
final String key
Definition:
EditorSettingsKey.java:34
net.sf.gridarta.model.settings.EditorSettingsKey.ANALYZE_HIGHLIGHT1
ANALYZE_HIGHLIGHT1
Definition:
EditorSettingsKey.java:18
net.sf.gridarta.model.settings.EditorSettingsKey.ANALYZE_HIGHLIGHT0
ANALYZE_HIGHLIGHT0
Definition:
EditorSettingsKey.java:13
src
model
src
main
java
net
sf
gridarta
model
settings
EditorSettingsKey.java
Generated by
1.8.17