From fe347ce364068c04b80f4848e68e021de5a73e37 Mon Sep 17 00:00:00 2001
From: Marc Khouzam <marc.khouzam@ericsson.com>
Date: Tue, 22 Apr 2008 19:42:07 +0000
Subject: [PATCH] Added annotation @ThreadSafeAndProhibitedFromDsfExecutor.

---
 .../dd/gdb/internal/provisional/launching/GdbLaunch.java       | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunch.java b/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunch.java
index 2d3245e60aa..bdf7c66b2f0 100644
--- a/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunch.java
+++ b/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunch.java
@@ -28,6 +28,7 @@ import org.eclipse.dd.dsf.concurrent.ImmediateExecutor;
 import org.eclipse.dd.dsf.concurrent.RequestMonitor;
 import org.eclipse.dd.dsf.concurrent.Sequence;
 import org.eclipse.dd.dsf.concurrent.ThreadSafe;
+import org.eclipse.dd.dsf.concurrent.ThreadSafeAndProhibitedFromDsfExecutor;
 import org.eclipse.dd.dsf.service.DsfServiceEventHandler;
 import org.eclipse.dd.dsf.service.DsfServicesTracker;
 import org.eclipse.dd.dsf.service.DsfSession;
@@ -96,6 +97,7 @@ public class GdbLaunch extends Launch
 
     public DsfSession getSession() { return fSession; }
 
+    @ThreadSafeAndProhibitedFromDsfExecutor("getDsfExecutor()")
     public void addInferiorProcess(String label) throws CoreException {
     	try {
     		// Add the "inferior" process object to the launch.
@@ -120,6 +122,7 @@ public class GdbLaunch extends Launch
         }            
     }
     
+    @ThreadSafeAndProhibitedFromDsfExecutor("getDsfExecutor()")
     public void addCLIProcess(String label) throws CoreException {
         try {
             // Add the CLI process object to the launch.