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