diff options
| author | Uwe Stieber | 2011-10-02 10:01:10 +0000 |
|---|---|---|
| committer | Uwe Stieber | 2011-10-02 10:01:10 +0000 |
| commit | 87f59ec3e4f931990143a84992e76b3b6b7d3c8d (patch) | |
| tree | 41c42fbc7e0603885547a80f3532b2604800f30e /target_explorer/plugins/org.eclipse.tm.te.core.concurrent/plugin.xml | |
| parent | 14f1f65fe5944a328ef84351bea2b8a84faa77ca (diff) | |
| download | org.eclipse.tcf-87f59ec3e4f931990143a84992e76b3b6b7d3c8d.tar.gz org.eclipse.tcf-87f59ec3e4f931990143a84992e76b3b6b7d3c8d.tar.xz org.eclipse.tcf-87f59ec3e4f931990143a84992e76b3b6b7d3c8d.zip | |
Target Explorer: Added concurrent utility implementations
Diffstat (limited to 'target_explorer/plugins/org.eclipse.tm.te.core.concurrent/plugin.xml')
| -rw-r--r-- | target_explorer/plugins/org.eclipse.tm.te.core.concurrent/plugin.xml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/target_explorer/plugins/org.eclipse.tm.te.core.concurrent/plugin.xml b/target_explorer/plugins/org.eclipse.tm.te.core.concurrent/plugin.xml new file mode 100644 index 000000000..eb9707c1b --- /dev/null +++ b/target_explorer/plugins/org.eclipse.tm.te.core.concurrent/plugin.xml @@ -0,0 +1,24 @@ +<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+
+<!-- Extension point contributions -->
+ <extension-point id="executorServices" name="%ExtensionPoint.executorServices.name" schema="schema/executorServices.exsd"/>
+ <extension-point id="executorUtilDelegates" name="%ExtensionPoint.executorUtilDelegates.name" schema="schema/executorUtilDelegates.exsd"/>
+
+<!-- Executor service contributions -->
+ <extension point="org.eclipse.tm.te.core.concurrent.executorServices">
+ <executorService
+ id="org.eclipse.tm.te.core.concurrent.executors.singleThreaded"
+ label="Single Threaded Executor">
+ <class
+ class="org.eclipse.tm.te.core.concurrent.executors.SingleThreadedExecutorService">
+ <parameter
+ name="threadPoolNamePrefix"
+ value="Target Explorer Single Thread Executor">
+ </parameter>
+ </class>
+ </executorService>
+ </extension>
+
+</plugin>
|