1 package net.mograsim.preferences;
3 import net.mograsim.preferences.ColorDefinition.BuiltInColor;
5 public class DefaultPreferences extends Preferences
8 public boolean getBoolean(String name)
12 case "net.mograsim.logic.model.improvetext":
14 case "net.mograsim.logic.model.debug.openhlsshell":
17 throw new IllegalArgumentException("Unknown boolean preference name: " + name);
22 public int getInt(String name)
26 case "net.mograsim.logic.model.debug.hlsshelldepth":
28 case "net.mograsim.logic.model.button.action":
30 case "net.mograsim.logic.model.button.drag":
32 case "net.mograsim.logic.model.button.zoom":
34 case "net.mograsim.plugin.core.simspeedprecision":
37 throw new IllegalArgumentException("Unknown int preference name: " + name);
42 public double getDouble(String name)
46 case "net.mograsim.logic.model.linewidth.default":
48 case "net.mograsim.logic.model.linewidth.wire.singlebit":
50 case "net.mograsim.logic.model.linewidth.wire.multibit":
52 case "net.mograsim.logic.model.submodel.zoomalpha0":
54 case "net.mograsim.logic.model.submodel.zoomalpha1":
57 throw new IllegalArgumentException("Unknown double preference name: " + name);
62 public ColorDefinition getColorDefinition(String name)
66 case "net.mograsim.logic.model.color.bit.one":
67 return new ColorDefinition(BuiltInColor.COLOR_GREEN);
68 case "net.mograsim.logic.model.color.bit.u":
69 return new ColorDefinition(BuiltInColor.COLOR_CYAN);
70 case "net.mograsim.logic.model.color.bit.x":
71 return new ColorDefinition(BuiltInColor.COLOR_RED);
72 case "net.mograsim.logic.model.color.bit.z":
73 return new ColorDefinition(BuiltInColor.COLOR_YELLOW);
74 case "net.mograsim.logic.model.color.bit.zero":
75 return new ColorDefinition(BuiltInColor.COLOR_GRAY);
76 case "net.mograsim.logic.model.color.background":
77 return new ColorDefinition(BuiltInColor.COLOR_WHITE);
78 case "net.mograsim.logic.model.color.foreground":
79 return new ColorDefinition(BuiltInColor.COLOR_BLACK);
80 case "net.mograsim.logic.model.color.text":
81 return new ColorDefinition(BuiltInColor.COLOR_BLACK);
83 throw new IllegalArgumentException("Unknown color preference name: " + name);