|
|||||||||
| 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 | ||||||||