bundles/org.simantics.ui/src/org/simantics/ui/workbench/TitleUpdater.java

   1 /*******************************************************************************\r
   2  * Copyright (c) 2007, 2010 Association for Decentralized Information Management\r
   3  * in Industry THTH ry.\r
   4  * All rights reserved. This program and the accompanying materials\r
   5  * are made available under the terms of the Eclipse Public License v1.0\r
   6  * which accompanies this distribution, and is available at\r
   7  * http://www.eclipse.org/legal/epl-v10.html\r
   8  *\r
   9  * Contributors:\r
  10  *     VTT Technical Research Centre of Finland - initial API and implementation\r
  11  *******************************************************************************/\r
  12 package org.simantics.ui.workbench;\r
  13 \r
  14 import java.util.function.Consumer;\r
  15 import java.util.function.Supplier;\r
  16 \r
  17 import org.eclipse.core.runtime.IStatus;\r
  18 import org.eclipse.core.runtime.Status;\r
  19 import org.eclipse.swt.widgets.Display;\r
  20 import org.simantics.db.procedure.Listener;\r
  21 import org.simantics.ui.internal.Activator;\r
  22 \r
  23 /**\r
  24  * @author Tuukka Lehtonen\r
  25  */\r
  26 public class TitleUpdater implements Listener<String> {\r
  27 \r
  28     private final Display           display;\r
  29     private final Consumer<String>  callback;\r
  30     private final Supplier<Boolean> disposed;\r
  31 \r
  32     public TitleUpdater(Display display, Consumer<String> titleChangedCallback, Supplier<Boolean> disposed) {\r
  33         this.display = display;\r
  34         this.callback = titleChangedCallback;\r
  35         this.disposed = disposed;\r
  36     }\r
  37 \r
  38     @Override\r
  39     public void execute(final String result) {\r
  40         display.asyncExec(new Runnable() {\r
  41             @Override\r
  42             public void run() {\r
  43                 if (!isDisposed())\r
  44                     callback.accept(result);\r
  45             }\r
  46         });\r
  47     }\r
  48 \r
  49     @Override\r
  50     public boolean isDisposed() {\r
  51         return disposed.get();\r
  52     }\r
  53 \r
  54     @Override\r
  55     public void exception(Throwable t) {\r
  56         Activator.getDefault().getLog().log(new Status(IStatus.ERROR, Activator.PLUGIN_ID, "Title update failed.", t));\r
  57     }\r
  58 \r
  59 }\r