Mercurial > projects > dwt-addons
comparison dwtx/jface/text/formatter/FormattingContext.d @ 162:1a5b8f8129df
...
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Mon, 08 Sep 2008 00:51:37 +0200 |
parents | f70d9508c95c |
children |
comparison
equal
deleted
inserted
replaced
161:f8d52b926852 | 162:1a5b8f8129df |
---|---|
37 * @since 3.0 | 37 * @since 3.0 |
38 */ | 38 */ |
39 public class FormattingContext : IFormattingContext { | 39 public class FormattingContext : IFormattingContext { |
40 | 40 |
41 /** Map to store the properties */ | 41 /** Map to store the properties */ |
42 private const Map fMap= new HashMap(); | 42 private const Map fMap; |
43 | |
44 this(){ | |
45 fMap= new HashMap(); | |
46 } | |
43 | 47 |
44 /* | 48 /* |
45 * @see dwtx.jface.text.formatter.IFormattingContext#dispose() | 49 * @see dwtx.jface.text.formatter.IFormattingContext#dispose() |
46 */ | 50 */ |
47 public void dispose() { | 51 public void dispose() { |
115 String preference= null; | 119 String preference= null; |
116 | 120 |
117 for (int index= 0; index < preferences.length; index++) { | 121 for (int index= 0; index < preferences.length; index++) { |
118 | 122 |
119 preference= preferences[index]; | 123 preference= preferences[index]; |
120 result= cast(String)map.get(preference); | 124 result= stringcast(map.get(preference)); |
121 | 125 |
122 if (result !is null) { | 126 if (result !is null) { |
123 | 127 |
124 try { | 128 try { |
125 if (isBooleanPreference(preference)) { | 129 if (isBooleanPreference(preference)) { |
162 preference= preferences[index]; | 166 preference= preferences[index]; |
163 | 167 |
164 if (isBooleanPreference(preference)) { | 168 if (isBooleanPreference(preference)) { |
165 map.put(preference, (useDefault ? store.getDefaultBoolean(preference) : store.getBoolean(preference)) ? IPreferenceStore.TRUE : IPreferenceStore.FALSE); | 169 map.put(preference, (useDefault ? store.getDefaultBoolean(preference) : store.getBoolean(preference)) ? IPreferenceStore.TRUE : IPreferenceStore.FALSE); |
166 } else if (isIntegerPreference(preference)) { | 170 } else if (isIntegerPreference(preference)) { |
167 map.put(preference, String.valueOf(useDefault ? store.getDefaultInt(preference) : store.getInt(preference))); | 171 map.put(preference, String_valueOf(useDefault ? store.getDefaultInt(preference) : store.getInt(preference))); |
168 } else if (isStringPreference(preference)) { | 172 } else if (isStringPreference(preference)) { |
169 map.put(preference, useDefault ? store.getDefaultString(preference) : store.getString(preference)); | 173 map.put(preference, useDefault ? store.getDefaultString(preference) : store.getString(preference)); |
170 } else if (isDoublePreference(preference)) { | 174 } else if (isDoublePreference(preference)) { |
171 map.put(preference, String.valueOf(useDefault ? store.getDefaultDouble(preference) : store.getDouble(preference))); | 175 map.put(preference, String_valueOf(useDefault ? store.getDefaultDouble(preference) : store.getDouble(preference))); |
172 } else if (isFloatPreference(preference)) { | 176 } else if (isFloatPreference(preference)) { |
173 map.put(preference, String.valueOf(useDefault ? store.getDefaultFloat(preference) : store.getFloat(preference))); | 177 map.put(preference, String_valueOf(useDefault ? store.getDefaultFloat(preference) : store.getFloat(preference))); |
174 } else if (isLongPreference(preference)) { | 178 } else if (isLongPreference(preference)) { |
175 map.put(preference, String.valueOf(useDefault ? store.getDefaultLong(preference) : store.getLong(preference))); | 179 map.put(preference, String_valueOf(useDefault ? store.getDefaultLong(preference) : store.getLong(preference))); |
176 } | 180 } |
177 } | 181 } |
178 } | 182 } |
179 } | 183 } |