| 
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface DomainManagerConfiguration
Domain manager configuration service interface.
| Method Summary | |
|---|---|
 ExtensionPointRegistry | 
getExtensionPoints()
Returns the extension point registry used in the domain manager.  | 
 java.lang.String | 
getRootDirectory()
Returns the domain manager root directory.  | 
 void | 
setRootDirectory(java.lang.String rootDirectory)
Sets the domain manager root directory.  | 
| Method Detail | 
|---|
void setRootDirectory(java.lang.String rootDirectory)
rootDirectory - java.lang.String getRootDirectory()
ExtensionPointRegistry getExtensionPoints()
  | 
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||