/*******************************************************************************
* Copyright (c) 2010-2015 Henshin developers. All rights reserved.
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* TU Berlin, University of Luxembourg, SES S.A.
*******************************************************************************/
package de.tub.tfs.henshin.tggeditor.editparts.tree.critical;
import java.util.List;
import org.eclipse.emf.common.notify.Notification;
import org.eclipse.gef.EditPolicy;
import org.eclipse.swt.graphics.Image;
import org.eclipse.swt.widgets.TreeItem;
import de.tub.tfs.henshin.tgg.CritPair;
import de.tub.tfs.henshin.tggeditor.editpolicies.CheckedRulePairFolderEditPolicy;
import de.tub.tfs.henshin.tggeditor.util.IconUtil;
import de.tub.tfs.muvitor.gef.editparts.AdapterTreeEditPart;
public class CheckedRulePairFolderTreeEditPart extends AdapterTreeEditPart<CheckedRulePairFolder>{
/**
* List of critical pairs.
*/
private List<CritPair> critPairs;
public CheckedRulePairFolderTreeEditPart(CheckedRulePairFolder model) {
super(model);
critPairs = model.getCritPairs();
}
@Override
protected String getText() {
if (critPairs.isEmpty())
return "no critical pairs!";
return critPairs.get(0).getRule1().getName() + " x " + critPairs.get(0).getRule2().getName();
}
@Override
protected Image getImage() {
try {
return IconUtil.getIcon("CritPairs.png");
} catch (Exception e) {
return null;
}
}
@Override
protected List<CritPair> getModelChildren() {
return getCastedModel().getCritPairs();
}
@Override
protected void performOpen() {
if (this.widget instanceof TreeItem) {
TreeItem item = (TreeItem) this.widget;
item.setExpanded(!item.getExpanded());
}
}
@Override
protected void createEditPolicies() {
installEditPolicy(EditPolicy.COMPONENT_ROLE, new CheckedRulePairFolderEditPolicy());
}
@Override
protected void notifyChanged(Notification notification) {
refresh();
super.notifyChanged(notification);
}
}