| /* |
| ----------------------------------------------------------------------- |
| -- Copyright (C) 2011-2016 -- |
| -- University of Firenze, Italy -- |
| -- Intecs S.p.A., Italy -- |
| -- -- |
| -- 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-v20.html -- |
| -- -- |
| -- Contributors: -- |
| -- Nicholas Pacini nicholas.pacini@intecs.it -- |
| ----------------------------------------------------------------------- |
| */ |
| |
| package org.polarsys.chess.statebased; |
| |
| import org.polarsys.chess.core.resourcelistener.SelectionListenerExtra; |
| import org.eclipse.jface.viewers.ISelection; |
| import org.eclipse.ui.IWorkbenchPart; |
| import org.eclipse.ui.IWorkbenchWindow; |
| import org.eclipse.ui.services.ISourceProviderService; |
| |
| public class SelectionListenerForStateBased extends SelectionListenerExtra { |
| |
| @Override |
| public void selectionChanged(IWorkbenchPart part, ISelection selection) { |
| |
| // Enable/disable the command to call state-based analysis |
| // Enable when the current view is the dependability analysis view |
| |
| IWorkbenchWindow window = part.getSite().getWorkbenchWindow(); |
| if (window.getActivePage() != null) { |
| ISourceProviderService spService = (ISourceProviderService) window |
| .getService(ISourceProviderService.class); |
| StateBasedSourceProvider sbsp = (StateBasedSourceProvider) spService |
| .getSourceProvider(StateBasedSourceProvider.ANALYSIS); |
| |
| sbsp.updateStatus(window.getActivePage().getActiveEditor()); |
| } |
| } |
| |
| } |
