public class ProfileManager
extends java.lang.Object
| Constructor and Description |
|---|
ProfileManager(DataBindingContext ctx,
Realm realm,
ExtensionSpaceProvider extensionSpaceProvider,
ChartContext chartContext) |
| Modifier and Type | Method and Description |
|---|---|
void |
dispose() |
Profile |
getActiveProfile() |
WritableList |
getList() |
ProfileSwitcherType |
getType() |
protected void |
handleAdd(Profile profile) |
protected void |
handleChange(ListDiff diff) |
protected void |
handleRemove(Profile profile) |
void |
setActiveProfile(Profile activeProfile) |
void |
setType(ProfileSwitcherType type) |
public ProfileManager(DataBindingContext ctx,
Realm realm,
ExtensionSpaceProvider extensionSpaceProvider,
ChartContext chartContext)
public void setActiveProfile(Profile activeProfile)
public Profile getActiveProfile()
public void setType(ProfileSwitcherType type)
public ProfileSwitcherType getType()
protected void handleChange(ListDiff diff)
protected void handleAdd(Profile profile)
protected void handleRemove(Profile profile)
public void dispose()
public WritableList getList()
Copyright (c) IBH SYSTEMS GmbH and others 2010, 2013.
All rights reserved. This program and the accompanying materials
are made available under the terms of the
Eclipse Public License v1.0