comparison dwtx/jface/bindings/keys/KeySequence.d @ 43:ea8ff534f622

Fix override and super aliases
author Frank Benoit <benoit@tionex.de>
date Fri, 11 Apr 2008 01:24:25 +0200
parents e10d9c2648be
children 04b47443bb01
comparison
equal deleted inserted replaced
42:4567a6f54939 43:ea8ff534f622
225 * Formats this key sequence into the current default look. 225 * Formats this key sequence into the current default look.
226 * 226 *
227 * @return A string representation for this key sequence using the default 227 * @return A string representation for this key sequence using the default
228 * look; never <code>null</code>. 228 * look; never <code>null</code>.
229 */ 229 */
230 public final String format() { 230 public override final String format() {
231 return KeyFormatterFactory.getDefault().format(this); 231 return KeyFormatterFactory.getDefault().format(this);
232 } 232 }
233 233
234 /** 234 /**
235 * Returns the list of key strokes for this key sequence. 235 * Returns the list of key strokes for this key sequence.
249 /* 249 /*
250 * (non-Javadoc) 250 * (non-Javadoc)
251 * 251 *
252 * @see dwtx.jface.bindings.TriggerSequence#getPrefixes() 252 * @see dwtx.jface.bindings.TriggerSequence#getPrefixes()
253 */ 253 */
254 public final TriggerSequence[] getPrefixes() { 254 public override final TriggerSequence[] getPrefixes() {
255 int numberOfPrefixes = triggers.length; 255 int numberOfPrefixes = triggers.length;
256 TriggerSequence[] prefixes = new TriggerSequence[numberOfPrefixes]; 256 TriggerSequence[] prefixes = new TriggerSequence[numberOfPrefixes];
257 prefixes[0] = KeySequence.getInstance(); 257 prefixes[0] = KeySequence.getInstance();
258 for (int i = 0; i < numberOfPrefixes - 1; i++) { 258 for (int i = 0; i < numberOfPrefixes - 1; i++) {
259 final KeyStroke[] prefixKeyStrokes = new KeyStroke[i + 1]; 259 final KeyStroke[] prefixKeyStrokes = new KeyStroke[i + 1];
286 * 286 *
287 * @return The formal string representation for this key sequence. 287 * @return The formal string representation for this key sequence.
288 * Guaranteed not to be <code>null</code>. 288 * Guaranteed not to be <code>null</code>.
289 * @see java.lang.Object#toString() 289 * @see java.lang.Object#toString()
290 */ 290 */
291 public final String toString() { 291 public override final String toString() {
292 return KeyFormatterFactory.getFormalKeyFormatter().format(this); 292 return KeyFormatterFactory.getFormalKeyFormatter().format(this);
293 } 293 }
294 } 294 }