Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/org.eclipse.net4j.util/src/org/eclipse/net4j/util/properties/DefaultPropertyTester.java')
-rw-r--r--plugins/org.eclipse.net4j.util/src/org/eclipse/net4j/util/properties/DefaultPropertyTester.java35
1 files changed, 35 insertions, 0 deletions
diff --git a/plugins/org.eclipse.net4j.util/src/org/eclipse/net4j/util/properties/DefaultPropertyTester.java b/plugins/org.eclipse.net4j.util/src/org/eclipse/net4j/util/properties/DefaultPropertyTester.java
index 1473d062a0..49569b9780 100644
--- a/plugins/org.eclipse.net4j.util/src/org/eclipse/net4j/util/properties/DefaultPropertyTester.java
+++ b/plugins/org.eclipse.net4j.util/src/org/eclipse/net4j/util/properties/DefaultPropertyTester.java
@@ -29,6 +29,11 @@ public class DefaultPropertyTester<RECEIVER> extends PropertyTester implements I
this.properties = properties;
}
+ public Class<RECEIVER> getReceiverType()
+ {
+ return properties.getReceiverType();
+ }
+
public Property<RECEIVER> getProperty(String name)
{
return properties.getProperty(name);
@@ -56,4 +61,34 @@ public class DefaultPropertyTester<RECEIVER> extends PropertyTester implements I
RECEIVER typed = (RECEIVER)receiver;
return property.testValue(typed, args, expectedValue);
}
+
+ public void dumpContributionMarkup()
+ {
+ System.out.println(" <extension point=\"org.eclipse.core.expressions.propertyTesters\">");
+ System.out.println(" <propertyTester");
+ System.out.println(" id=\"" + getClass().getName() + "\"");
+ System.out.println(" type=\"" + getReceiverType().getName() + "\"");
+ System.out.println(" namespace=\"" + getClass().getPackage().getName() + "\"");
+ System.out.print(" properties=\"");
+
+ boolean first = true;
+ for (Property<RECEIVER> property : getProperties())
+ {
+ if (first)
+ {
+ first = false;
+ }
+ else
+ {
+ System.out.print(",");
+ }
+
+ System.out.print(property.getName());
+ }
+
+ System.out.println("\"");
+ System.out.println(" class=\"" + getClass().getName() + "\"/>");
+ System.out.println(" </extension>");
+
+ }
}

Back to the top