diff options
Diffstat (limited to 'modules/CIAO/ciao/Deployment_ApplicationManager.idl')
-rw-r--r-- | modules/CIAO/ciao/Deployment_ApplicationManager.idl | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/modules/CIAO/ciao/Deployment_ApplicationManager.idl b/modules/CIAO/ciao/Deployment_ApplicationManager.idl new file mode 100644 index 00000000000..98fe247f2f9 --- /dev/null +++ b/modules/CIAO/ciao/Deployment_ApplicationManager.idl @@ -0,0 +1,28 @@ +// $Id$ +#ifndef DEPLOYMENT_APPLICATIONMANAGER_IDL +#define DEPLOYMENT_APPLICATIONMANAGER_IDL + +#include "ciao/Deployment_Core.idl" +#include "ciao/Deployment.idl" + +module Deployment { + exception ResourceNotAvailable { + string name; + string resourceType; + string propertyName; + string elementName; + string resourceName; + }; + + interface ApplicationManager { + /// @todo Spec mentions another few exceptions in the raises cluase + Application startLaunch (in Properties configProperty, + out Connections providedReference, + in boolean start) + raises (ResourceNotAvailable, StartError, InvalidProperty); + void destroyApplication (in Application app) + raises (StopError); + }; +}; + +#endif /* DEPLOYMENT_APPLICATIONMANAGER_IDL */ |