public class EditorCriterionDifferentialPrivacy extends EditorCriterion<ModelDifferentialPrivacyCriterion>
model
Constructor and Description |
---|
EditorCriterionDifferentialPrivacy(org.eclipse.swt.widgets.Composite parent,
ModelDifferentialPrivacyCriterion model,
Controller controller,
Model arxmodel)
Creates a new instance.
|
Modifier and Type | Method and Description |
---|---|
protected org.eclipse.swt.widgets.Composite |
build(org.eclipse.swt.widgets.Composite parent)
Build the composite
|
protected java.util.List<ModelCriterion> |
getTypicalParameters()
Returns a set of typical parameters
|
protected void |
parse(ModelDifferentialPrivacyCriterion model,
boolean _default)
Parse
|
createKnobDouble, createKnobInteger, createLabel, dispose, getModel, parse, parseDefault, updateLabel, updateLabel
public EditorCriterionDifferentialPrivacy(org.eclipse.swt.widgets.Composite parent, ModelDifferentialPrivacyCriterion model, Controller controller, Model arxmodel)
parent
- model
- protected org.eclipse.swt.widgets.Composite build(org.eclipse.swt.widgets.Composite parent)
EditorCriterion
build
in class EditorCriterion<ModelDifferentialPrivacyCriterion>
protected void parse(ModelDifferentialPrivacyCriterion model, boolean _default)
EditorCriterion
parse
in class EditorCriterion<ModelDifferentialPrivacyCriterion>
protected java.util.List<ModelCriterion> getTypicalParameters()
EditorCriterion
getTypicalParameters
in class EditorCriterion<ModelDifferentialPrivacyCriterion>