public class ProfileManager extends Object
Constructor and Description |
---|
ProfileManager(org.eclipse.core.databinding.DataBindingContext ctx,
org.eclipse.core.databinding.observable.Realm realm,
ExtensionSpaceProvider extensionSpaceProvider,
ChartContext chartContext) |
Modifier and Type | Method and Description |
---|---|
void |
dispose() |
Profile |
getActiveProfile() |
org.eclipse.core.databinding.observable.list.WritableList |
getList() |
ProfileSwitcherType |
getType() |
protected void |
handleAdd(Profile profile) |
protected void |
handleChange(org.eclipse.core.databinding.observable.list.ListDiff diff) |
protected void |
handleRemove(Profile profile) |
void |
setActiveProfile(Profile activeProfile) |
void |
setType(ProfileSwitcherType type) |
public ProfileManager(org.eclipse.core.databinding.DataBindingContext ctx, org.eclipse.core.databinding.observable.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(org.eclipse.core.databinding.observable.list.ListDiff diff)
protected void handleAdd(Profile profile)
protected void handleRemove(Profile profile)
public void dispose()
public org.eclipse.core.databinding.observable.list.WritableList getList()
Copyright © 2016 Eclipse NeoSCADA Project. All rights reserved.