1 package org.simantics.document.linking.report.evaluator;
3 import org.eclipse.jface.resource.ImageDescriptor;
4 import org.simantics.document.linking.Activator;
5 import org.simantics.document.linking.ontology.DocumentLink;
6 import org.simantics.document.linking.report.Document.TextSize;
7 import org.simantics.objmap.graph.annotations.OrderedSetType;
8 import org.simantics.objmap.graph.annotations.RelatedGetValue;
9 import org.simantics.objmap.graph.annotations.RelatedSetValue;
12 @OrderedSetType(DocumentLink.URIs.EvaluatorTree_TextSizeHint)
13 public class TextSizeHint extends HintNode implements EnumEditableNode{
18 public TextSizeHint() {
19 textSize = TextSize.SMALL;
22 public TextSizeHint(TextSize textSize) {
23 this.textSize = textSize;
27 @RelatedGetValue(DocumentLink.URIs.EvaluatorTree_HasValue)
29 public String getValue() {
30 return textSize.toString();
33 @RelatedSetValue(DocumentLink.URIs.EvaluatorTree_HasValue)
35 public void setValue(String value) {
36 textSize = TextSize.valueOf(value);
39 public TextSizeHint setTextSize(TextSize textSize) {
40 this.textSize = textSize;
45 public String[] getEnumearation() {
46 String values[] = new String[TextSize.values().length];
47 for (int i = 0; i < values.length; i++)
48 values[i] = TextSize.values()[i].toString();
53 public String toString() {
54 return textSize.toString();
58 public Object getHintValue() {
63 public Object getHintClass() {
64 return TextSize.class;
68 public EvaluatorItem copy() {
69 TextSizeHint t = new TextSizeHint(textSize);
75 public ImageDescriptor getImage() {
76 if (textSize == TextSize.TINY) {
77 return Activator.imageDescriptorFromPlugin("com.famfamfam.silk", "icons/text_heading_5.png");
78 } else if (textSize == TextSize.SMALL) {
79 return Activator.imageDescriptorFromPlugin("com.famfamfam.silk", "icons/text_heading_4.png");
80 } else if (textSize == TextSize.MEDIUM) {
81 return Activator.imageDescriptorFromPlugin("com.famfamfam.silk", "icons/text_heading_3.png");
82 } else if (textSize == TextSize.LARGE) {
83 return Activator.imageDescriptorFromPlugin("com.famfamfam.silk", "icons/text_heading_2.png");
84 } else if (textSize == TextSize.HUGE) {
85 return Activator.imageDescriptorFromPlugin("com.famfamfam.silk", "icons/text_heading_1.png");