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