plugins/org.polarsys.chess.properties.propertyEditor/src/org/polarsys/chess/properties/propertyEditor/CustomPropertyEditorTab.java

/*******************************************************************************
 * Copyright (C) 2017 Fondazione Bruno Kessler.
 * 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:
 *     Alberto Debiasi - initial API and implementation
 ******************************************************************************/
package org.polarsys.chess.properties.propertyEditor;

import org.eclipse.emf.ecore.resource.Resource;
import org.eclipse.emf.transaction.RecordingCommand;
import org.eclipse.emf.transaction.TransactionalEditingDomain;
import org.eclipse.emf.transaction.util.TransactionUtil;
import org.eclipse.jface.viewers.ISelection;
import org.eclipse.uml2.uml.Constraint;
import org.polarsys.chess.contracts.profile.chesscontract.util.EntityUtil;
import org.polarsys.chess.service.core.model.ChessSystemModel;
import org.polarsys.chess.service.gui.utils.SelectionUtil;

import eu.fbk.eclipse.standardtools.propertyEditor.propertyTab.PropertyEditorTab;
import eu.fbk.eclipse.standardtools.utils.core.model.AbstractSystemModel;

public class CustomPropertyEditorTab extends PropertyEditorTab {

	private EntityUtil entityUtil = EntityUtil.getInstance();
	private SelectionUtil selectionUtil = SelectionUtil.getInstance();

	@Override
	public Object returnProperty(ISelection selection) {

		Object selectedUmlElement = selectionUtil.getUmlSelectedObject(selection);

		if (selectedUmlElement instanceof Constraint) {
			Constraint umlConstraint = (Constraint) selectedUmlElement;
			if (getSystemModel().isAssertion(umlConstraint)) {
				return umlConstraint;
			}
			if (getSystemModel().isParameterAssumptions(umlConstraint)) {
				return umlConstraint;
			}
			if (getSystemModel().isDefine(umlConstraint)) {
				return umlConstraint;
			}
		}

		return null;
	}

	@Override
	public Resource getResourceFromProperty(Object formalProperty) {

		return ((Constraint) formalProperty).eResource();
	}

	@Override
	public void propertyEditorchanged(Object property, String textChanged) {
		TransactionalEditingDomain domain = TransactionUtil.getEditingDomain(property);
		domain.getCommandStack().execute(new RecordingCommand(domain) {
		@Override
		protected void doExecute() {
		entityUtil.setTextInUMLConstraint((Constraint) property, textChanged, "OCRA");
		}});
	}

	public String getStrFromProperty(Object property) {
		//FormalProperty formalProperty = contractEntityUtil.getFormalProperty((Constraint) property);
		//return entityUtil.getFormalPropertyStr(formalProperty);
		return entityUtil.getConstraintBodyStr((Constraint) property,"OCRA");
	}

	@Override
	public AbstractSystemModel getSystemModel() {
		return ChessSystemModel.getInstance();
	}

}