|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IWSDOMRuntimeManager
Method Summary | |
---|---|
void |
createDOMRuntimes(org.eclipse.core.runtime.IProgressMonitor monitor)
Instantiates the DOM Runtimes if not already. |
IWsDOMRuntimeExtension |
getDOMRuntime(java.lang.String runtimeId)
This method should return the DOM runtime instance corresponding to the runtime id and instantiate such DOM runtime instance if non existent at the moment of invocation of this method. |
java.util.Collection<IWsDOMRuntimeExtension> |
getDOMRuntimes()
|
void |
reloadDOMRuntimes(org.eclipse.core.runtime.IProgressMonitor monitor)
This method should reload all instances of DOM Runtimes. |
Method Detail |
---|
void createDOMRuntimes(org.eclipse.core.runtime.IProgressMonitor monitor)
progress
- monitor to track progressIWsDOMRuntimeExtension getDOMRuntime(java.lang.String runtimeId)
runtimeId
- - string identifier of the runtime
java.util.Collection<IWsDOMRuntimeExtension> getDOMRuntimes()
void reloadDOMRuntimes(org.eclipse.core.runtime.IProgressMonitor monitor)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |