X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.graph.compiler%2Fsrc%2Forg%2Fsimantics%2Fgraph%2Fcompiler%2Finternal%2Ftranslation%2FDataValueTranslator.java;fp=bundles%2Forg.simantics.graph.compiler%2Fsrc%2Forg%2Fsimantics%2Fgraph%2Fcompiler%2Finternal%2Ftranslation%2FDataValueTranslator.java;h=3eafe49accbf6e193a7d14c982fd3694bca9aa0c;hp=0000000000000000000000000000000000000000;hb=969bd23cab98a79ca9101af33334000879fb60c5;hpb=866dba5cd5a3929bbeae85991796acb212338a08

diff --git a/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/translation/DataValueTranslator.java b/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/translation/DataValueTranslator.java
new file mode 100644
index 000000000..3eafe49ac
--- /dev/null
+++ b/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/translation/DataValueTranslator.java
@@ -0,0 +1,261 @@
+package org.simantics.graph.compiler.internal.translation;
+
+import java.util.Collection;
+
+import org.antlr.runtime.tree.Tree;
+import org.simantics.databoard.Bindings;
+import org.simantics.databoard.binding.ArrayBinding;
+import org.simantics.databoard.binding.Binding;
+import org.simantics.databoard.binding.BooleanBinding;
+import org.simantics.databoard.binding.ByteBinding;
+import org.simantics.databoard.binding.DoubleBinding;
+import org.simantics.databoard.binding.FloatBinding;
+import org.simantics.databoard.binding.IntegerBinding;
+import org.simantics.databoard.binding.LongBinding;
+import org.simantics.databoard.binding.MapBinding;
+import org.simantics.databoard.binding.OptionalBinding;
+import org.simantics.databoard.binding.RecordBinding;
+import org.simantics.databoard.binding.StringBinding;
+import org.simantics.databoard.binding.UnionBinding;
+import org.simantics.databoard.binding.VariantBinding;
+import org.simantics.databoard.binding.error.BindingException;
+import org.simantics.databoard.type.Datatype;
+import org.simantics.graph.compiler.internal.parsing.GraphParser;
+import org.simantics.ltk.ISource;
+import org.simantics.ltk.Problem;
+import org.simantics.ltk.antlr.ANTLRUtils;
+
+public class DataValueTranslator {
+	
+	ISource source;
+	Collection<Problem> problems;
+	
+	public DataValueTranslator(ISource source, Collection<Problem> problems) {
+		this.source = source;
+		this.problems = problems;
+	}
+
+	public Object translate(Tree _tree, Binding binding) {
+		while(_tree.getType() == GraphParser.TUPLE && 
+				_tree.getChildCount()==1)
+			_tree = _tree.getChild(0);
+		final Tree tree = _tree;
+		return binding.accept(new Binding.Visitor<Object>() {
+
+			@Override
+			public Object visit(ArrayBinding b) {
+				if(tree.getType() == GraphParser.ARRAY) {
+					int count = tree.getChildCount();
+					Object[] components = new Object[count];
+					Binding componentBinding = b.getComponentBinding();
+					for(int i=0;i<count;++i)
+						components[i] = translate(tree.getChild(i),
+								componentBinding
+								);
+					return b.createUnchecked(components);
+				}
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(BooleanBinding b) {
+				if(tree.getType() == GraphParser.TRUE)
+					return b.createUnchecked(true);
+				else if(tree.getType() == GraphParser.FALSE)
+					return b.createUnchecked(false);
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(DoubleBinding b) {
+				if(tree.getType() == GraphParser.INT || tree.getType() == GraphParser.FLOAT)
+					return b.createUnchecked(tree.getText());
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(FloatBinding b) {
+				if(tree.getType() == GraphParser.INT || tree.getType() == GraphParser.FLOAT)
+					return b.createUnchecked(tree.getText());
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(IntegerBinding b) {
+				if(tree.getType() == GraphParser.INT)
+					return b.createUnchecked(tree.getText());
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(ByteBinding b) {
+				if(tree.getType() == GraphParser.INT)
+					return b.createUnchecked(tree.getText());
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(LongBinding b) {
+				if(tree.getType() == GraphParser.INT)
+					return b.createUnchecked(tree.getText());
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(OptionalBinding b) {
+				if(tree.getType() == GraphParser.NO_VALUE) 
+					return b.createNoValueUnchecked();
+				else
+					return b.createValueUnchecked(
+							translate(tree, b.getComponentBinding())
+							);
+			}
+
+			@Override
+			public Object visit(RecordBinding b) {
+				boolean hadError = false;
+				if(tree.getType() == GraphParser.RECORD) {
+					int count = tree.getChildCount();
+					Object[] components = new Object[b.componentBindings.length];
+					boolean[] setValues = new boolean[b.componentBindings.length];
+					for(int i=0;i<count;++i) {
+						Tree assignment = tree.getChild(i);
+						String field = assignment.getChild(0).getText();
+						Integer comp = 
+							b.type().getComponentIndex(field);
+						if(comp == null) {
+							hadError = true;
+							problems.add(new Problem(
+									ANTLRUtils.location(source, tree), 
+									"Record type " + b.type() + " does not have a field " + field + "."
+								));
+						}
+						else { 
+							components[comp] = translate(
+									assignment.getChild(1),
+									b.getComponentBinding(comp)
+									);
+							setValues[comp] = true;
+						}
+					}
+					try {
+						for(int i=0;i<b.componentBindings.length;++i)						
+							if(!setValues[i]) {
+								if(b.componentBindings[i] instanceof OptionalBinding)
+									components[i] = b.componentBindings[i].createDefault();
+								else 
+									problems.add(new Problem(
+											ANTLRUtils.location(source, tree), 
+											"Not all fields of the record are given."
+										));
+								return b.createDefaultUnchecked();
+							}
+						return b.create(components);
+					} catch(BindingException e) {					
+					}
+				}
+				if(tree.getType() == GraphParser.TUPLE) {
+					int count = tree.getChildCount();
+					if(count == b.getComponentCount()) {						
+						Object[] components = new Object[count];
+						for(int i=0;i<count;++i)
+							components[i] = 
+								translate(tree.getChild(i), 
+										b.getComponentBinding(i));
+						return b.createUnchecked(components);
+					}
+				}
+				if(!hadError)
+					typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(StringBinding b) {
+				if(tree.getType() == GraphParser.STRING) {
+					String str = tree.getText();
+					if(str.charAt(1) == '"' && str.length() >= 6)
+						return b.createUnchecked(str.substring(3, str.length()-3));
+					else
+						return b.createUnchecked(str.substring(1, str.length()-1));
+				}
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(UnionBinding b) {
+				if(tree.getType() == GraphParser.TAGGED_VALUE) {
+					String tag = tree.getChild(0).getText();
+					Integer comp = b.type().getComponentIndex(tag);
+					if(comp != null) {
+						if(tree.getChildCount() == 2)
+							return b.createUnchecked(comp, 
+								translate(
+									tree.getChild(1), 
+									b.getComponentBinding(comp)
+									));
+						else {
+							Binding binding = b.getComponentBinding(comp);
+							if(binding instanceof RecordBinding &&
+									((RecordBinding)binding).getComponentCount() == 0)
+								return b.createUnchecked(comp, 
+									((RecordBinding)binding).createUnchecked());
+							else
+								typeError(tree, binding);
+						}
+					}
+				}
+				typeError(tree, b);
+				return b.createDefaultUnchecked();				
+			}
+
+			@Override
+			public Object visit(VariantBinding b) {
+				if(tree.getType() == GraphParser.VARIANT) {
+					Datatype type = 
+						new DataTypeTranslator(source, problems).translate(tree.getChild(0));
+					Binding binding = Bindings.getBinding(type);
+					
+					Object value = translate(tree.getChild(1), binding);
+					return b.createUnchecked(binding, value);
+				}
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+
+			@Override
+			public Object visit(MapBinding b) {
+				if(tree.getType() == GraphParser.MAP) {
+					int count = tree.getChildCount();
+					Object[] keys = new Object[count];
+					Object[] values = new Object[count];
+					Binding keyBinding = b.getKeyBinding();
+					Binding valueBinding = b.getValueBinding();
+					for(int i=0;i<count;++i) {
+						keys[i] = translate(tree.getChild(i).getChild(0), keyBinding);
+						values[i] = translate(tree.getChild(i).getChild(1), valueBinding);
+					}
+					return b.createUnchecked(keys, values);
+				}
+				typeError(tree, b);
+				return b.createDefaultUnchecked();
+			}
+		});
+	}
+	
+	private void typeError(Tree tree, Binding binding) { 
+		problems.add(new Problem(
+				ANTLRUtils.location(source, tree), 
+				"Value does not correspond to the data type " + binding.type() + "."
+			));
+	}
+	
+}