diff options
| author | Ansgar Radermacher | 2015-02-06 11:44:55 +0000 |
|---|---|---|
| committer | Ansgar Radermacher | 2015-02-06 11:52:14 +0000 |
| commit | 85501f1798322f292d935a83592bb0c9ffd4c2fc (patch) | |
| tree | aa6d893413a4a28fc796e628a365074739c650fd /plugins/customization/org.eclipse.papyrus.customization | |
| parent | 93e84882c2e19cea7431afe6b64221e2eb252846 (diff) | |
| download | org.eclipse.papyrus-85501f1798322f292d935a83592bb0c9ffd4c2fc.tar.gz org.eclipse.papyrus-85501f1798322f292d935a83592bb0c9ffd4c2fc.tar.xz org.eclipse.papyrus-85501f1798322f292d935a83592bb0c9ffd4c2fc.zip | |
458433 - [Papyrus DSML Validation] org.eclipse.papyrus.dsml.validation should be part of the core papyrus
Diffstat (limited to 'plugins/customization/org.eclipse.papyrus.customization')
| -rw-r--r-- | plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java b/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java index 028a0e3073b..d35c703017c 100644 --- a/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java +++ b/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java @@ -76,6 +76,16 @@ public class PluginEditor extends PluginProjectEditor implements IPluginProjectE manifest.addDependency(dependency, version);
}
+ /**
+ * @see org.eclipse.papyrus.eclipse.project.editors.interfaces.IManifestEditor#hasDependency(java.lang.String)
+ *
+ * @param dependency
+ * @return
+ */
+ public boolean hasDependency(String dependency) {
+ return manifest.hasDependency(dependency);
+ }
+
public void setValue(String key, String value) {
manifest.setValue(key, value);
}
|