Java ISourceProviderService类代码示例

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
@Override
public void setSession ( final LoginSession session )
{
    checkRealm ();

    if ( this.session != null )
    {
        this.session.dispose ();
    }

    this.session = session;

    if ( this.session != null )
    {
        this.session.register ();
    }

    for ( final IWorkbenchWindow window : PlatformUI.getWorkbench ().getWorkbenchWindows () )
    {
        final ISourceProviderService service = (ISourceProviderService)window.getService ( ISourceProviderService.class );
        final LoginSessionProvider sessionSourceProvider = (LoginSessionProvider)service.getSourceProvider ( LoginSessionProvider.SESSION_STATE );
        sessionSourceProvider.setLoginSession ( session );
    }

    super.setSession ( session );
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
@Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
  final IWorkbenchWindow activeWorkbenchWindow = HandlerUtil.getActiveWorkbenchWindow(event);
  final ISourceProviderService service =
      activeWorkbenchWindow.getService(ISourceProviderService.class);
  final AnalysisSourceProvider sourceProvider =
      (AnalysisSourceProvider) service.getSourceProvider(AnalysisSourceProvider.ANALYSIS_STATE);
  sourceProvider.setPassive();

  final Thread thread = new Thread(new Runnable() {
    @Override
    public void run() {
      AlloyValidator.isCanceled = true;
      AlloyOtherSolutionReasoning.getInstance().finish();
      AlloyOtherSolutionDiscovering.getInstance().finish();
      AlloyOtherSolutionReasoningForAtom.getInstance().finish();
      Visualization.showViz();
    }
  });
  thread.start();
  return true;
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
@Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
  final IWorkbenchWindow activeWorkbenchWindow = HandlerUtil.getActiveWorkbenchWindow(event);
  final ISourceProviderService service =
      activeWorkbenchWindow.getService(ISourceProviderService.class);
  final AnalysisSourceProvider sourceProvider =
      (AnalysisSourceProvider) service.getSourceProvider(AnalysisSourceProvider.ANALYSIS_STATE);

  final Thread thread = new Thread(new Runnable() {
    @Override
    public void run() {
      if (sourceProvider.getEvaluationState() == EvaluationState.OPEN) {
        Visualization.evaluatorOpen = false;
        sourceProvider.setEvaluationState(EvaluationState.CLOSE);
      } else if (sourceProvider.getEvaluationState() == EvaluationState.CLOSE) {
        Visualization.evaluatorOpen = true;
        sourceProvider.setEvaluationState(EvaluationState.OPEN);
      }
      Visualization.showViz();
    }
  });
  thread.start();
  return true;
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
@Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
  final IWorkbenchWindow activeWorkbenchWindow = HandlerUtil.getActiveWorkbenchWindow(event);
  final ISourceProviderService service =
      activeWorkbenchWindow.getService(ISourceProviderService.class);
  final AnalysisSourceProvider sourceProvider =
      (AnalysisSourceProvider) service.getSourceProvider(AnalysisSourceProvider.ANALYSIS_STATE);
  sourceProvider.setActive(ReasoningType.DISCOVER_RELATION);

  final Thread thread = new Thread(new Runnable() {
    @Override
    public void run() {
      final AlloyReasoning alloyReasoning = new AlloyReasoning();
      final boolean reasoning = alloyReasoning.reasoning();
      if (!reasoning) {
        sourceProvider.setPassive();
      }

      Visualization.showViz();
    }
  });
  thread.start();
  return true;
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
@Override
public Object execute(final ExecutionEvent event) throws ExecutionException {
  final IWorkbenchWindow activeWorkbenchWindow = HandlerUtil.getActiveWorkbenchWindow(event);
  final ISourceProviderService service =
      activeWorkbenchWindow.getService(ISourceProviderService.class);
  final AnalysisSourceProvider sourceProvider =
      (AnalysisSourceProvider) service.getSourceProvider(AnalysisSourceProvider.ANALYSIS_STATE);
  sourceProvider.setActive(ReasoningType.DISCOVER_ATOM);

  final Thread thread = new Thread(new Runnable() {
    @Override
    public void run() {
      final AlloyDiscovering alloyDiscovering = new AlloyDiscovering();
      final boolean discovering =
          alloyDiscovering.discovering();
      if (!discovering) {
        Visualization.sourceProvider.setPassive();
      }
      Visualization.showViz();
    }
  });
  thread.start();
  return true;
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
public boolean isRefreshEnabled() {
    // Not necessarily on the SWT thread. This is a bit of a risk. Maybe we should do a blocking Display.getDefault().syncExec
    IWorkbenchWindow window = getViewSite().getWorkbenchWindow();
    ISourceProviderService service = (ISourceProviderService) window.getService(ISourceProviderService.class);
    RefreshStateProvider commandState = (RefreshStateProvider) service.getSourceProvider(RefreshStateProvider.STATE_KEY_ENABLED);
    return (Boolean) commandState.getCurrentState().get(RefreshStateProvider.STATE_KEY_ENABLED);
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
public void setRefreshEnabled(boolean enabled) {
    // Back to the SWT thread, to be sure
    Display.getDefault().asyncExec(() -> {
        IWorkbenchWindow window = getViewSite().getWorkbenchWindow();
        ISourceProviderService service = (ISourceProviderService) window.getService(ISourceProviderService.class);
        RefreshStateProvider commandState = (RefreshStateProvider) service.getSourceProvider(RefreshStateProvider.STATE_KEY_ENABLED);
        commandState.setEnabled(enabled);
    });
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
public void setZoomInEnabled(boolean enabled) {
    // Back to the SWT thread, to be sure
    Display.getDefault().asyncExec(() -> {
        IWorkbenchWindow window = getViewSite().getWorkbenchWindow();
        ISourceProviderService service = (ISourceProviderService) window.getService(ISourceProviderService.class);
        ZoomInStateProvider commandState = (ZoomInStateProvider) service.getSourceProvider(ZoomInStateProvider.STATE_KEY_ENABLED);
        commandState.setEnabled(enabled);
    });
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
public void setZoomOutEnabled(boolean enabled) {
    // Back to the SWT thread, to be sure
    Display.getDefault().asyncExec(() -> {
        IWorkbenchWindow window = getViewSite().getWorkbenchWindow();
        ISourceProviderService service = (ISourceProviderService) window.getService(ISourceProviderService.class);
        ZoomOutStateProvider commandState = (ZoomOutStateProvider) service.getSourceProvider(ZoomOutStateProvider.STATE_KEY_ENABLED);
        commandState.setEnabled(enabled);
    });
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
public void setZoomClearEnabled(boolean enabled) {
    // Back to the SWT thread, to be sure
    Display.getDefault().asyncExec(() -> {
        IWorkbenchWindow window = getViewSite().getWorkbenchWindow();
        ISourceProviderService service = (ISourceProviderService) window.getService(ISourceProviderService.class);
        ClearZoomStateProvider commandState = (ClearZoomStateProvider) service.getSourceProvider(ClearZoomStateProvider.STATE_KEY_ENABLED);
        commandState.setEnabled(enabled);
    });
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
public boolean isTagEnabled() {
    IWorkbenchWindow window = getViewSite().getWorkbenchWindow();
    ISourceProviderService service = (ISourceProviderService) window.getService(ISourceProviderService.class);
    AnnotateRangeStateProvider commandState = (AnnotateRangeStateProvider) service
            .getSourceProvider(AnnotateRangeStateProvider.STATE_KEY_ENABLED);
    return (Boolean) commandState.getCurrentState().get(AnnotateRangeStateProvider.STATE_KEY_ENABLED);
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
public void setTagEnabled(boolean enabled) {
    // Back to the SWT thread, to be sure
    Display.getDefault().asyncExec(() -> {
        IWorkbenchWindow window = getViewSite().getWorkbenchWindow();
        ISourceProviderService service = (ISourceProviderService) window.getService(ISourceProviderService.class);
        AnnotateRangeStateProvider commandState = (AnnotateRangeStateProvider) service
                .getSourceProvider(AnnotateRangeStateProvider.STATE_KEY_ENABLED);
        commandState.setEnabled(enabled);
    });
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
private HSSDEditor getHSSDEditor() {
    final ISourceProviderService svc = Helper.getSPSvc();
    final HSSDEditorSourceProvider sp = Helper.getHSSDEditorSP(svc);
    final IEditorPart ep = sp.getEditor();
    if(!(ep instanceof HSSDEditor)) {
        return null;
    }

    return (HSSDEditor)ep;
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
public static HSSDEditor getLastHSSDEditor() {
    final ISourceProviderService svc = getSPSvc();
    final HSSDEditorSourceProvider sp = getHSSDEditorSP(svc);
    final IEditorPart ep = sp.getEditor();
    if(!(ep instanceof HSSDEditor)) {
        return null;
    }

    return (HSSDEditor)ep;
}
 

import org.eclipse.ui.services.ISourceProviderService; //导入依赖的package包/类
@SuppressWarnings("unchecked")
public static <T extends ISourceProvider> T getSP(
        ISourceProviderService svc,
        String var
        ) {
    return (T)svc.getSourceProvider(var);
}