Modifier and Type | Method and Description |
---|---|
ICartagoLoggerManager |
WorkspaceKernel.getLoggerManager() |
ICartagoLoggerManager |
CartagoWorkspace.getLoggerManager() |
Modifier and Type | Method and Description |
---|---|
void |
WorkspaceKernel.setLoggerManager(ICartagoLoggerManager man) |
void |
CartagoWorkspace.setLoggerManager(ICartagoLoggerManager man) |
>DEIS - University of Bologna