comparison dwtx/core/commands/operations/AbstractOperation.d @ 70:46a6e0e6ccd4

Merge with d-fied sources of 3.4M7
author Frank Benoit <benoit@tionex.de>
date Thu, 22 May 2008 01:36:46 +0200
parents ea8ff534f622
children 04b47443bb01
comparison
equal deleted inserted replaced
69:07b9d96fd764 70:46a6e0e6ccd4
1 /******************************************************************************* 1 /*******************************************************************************
2 * Copyright (c) 2005, 2006 IBM Corporation and others. 2 * Copyright (c) 2005, 2008 IBM Corporation and others.
3 * All rights reserved. This program and the accompanying materials 3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0 4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at 5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html 6 * http://www.eclipse.org/legal/epl-v10.html
7 * 7 *
49 49
50 /** 50 /**
51 * Construct an operation that has the specified label. 51 * Construct an operation that has the specified label.
52 * 52 *
53 * @param label 53 * @param label
54 * the label to be used for the operation. 54 * the label to be used for the operation. Should never be
55 * <code>null</code>.
55 */ 56 */
56 public this(String label) { 57 public this(String label) {
58 Assert.isNotNull(label);
57 this.label = label; 59 this.label = label;
58 contexts = new ArraySeq!(IUndoContext); 60 contexts = new ArraySeq!(IUndoContext);
59 } 61 }
60 62
61 /* 63 /*
141 143
142 /** 144 /**
143 * Set the label of the operation to the specified name. 145 * Set the label of the operation to the specified name.
144 * 146 *
145 * @param name 147 * @param name
146 * the string to be used for the label. 148 * the string to be used for the label. Should never be
149 * <code>null</code>.
147 */ 150 */
148 public void setLabel(String name) { 151 public void setLabel(String name) {
149 label = name; 152 label = name;
150 } 153 }
151 154