MultipleBindValuesCollector.java

package org.overture.interpreter.utilities.pattern;

import org.overture.ast.analysis.AnalysisException;
import org.overture.ast.analysis.QuestionAnswerAdaptor;
import org.overture.ast.node.INode;
import org.overture.ast.patterns.ASeqMultipleBind;
import org.overture.ast.patterns.ASetMultipleBind;
import org.overture.ast.patterns.ATypeMultipleBind;
import org.overture.ast.patterns.PMultipleBind;
import org.overture.interpreter.assistant.IInterpreterAssistantFactory;
import org.overture.interpreter.eval.BindState;
import org.overture.interpreter.runtime.ValueException;
import org.overture.interpreter.runtime.VdmRuntime;
import org.overture.interpreter.runtime.VdmRuntimeError;
import org.overture.interpreter.values.SetValue;
import org.overture.interpreter.values.Value;
import org.overture.interpreter.values.ValueList;
import org.overture.interpreter.values.ValueSet;

/***************************************
 * This class implements a way to collect the values that are binded.
 * 
 * @author gkanos
 ****************************************/

public class MultipleBindValuesCollector extends
		QuestionAnswerAdaptor<BindState, ValueList>
{
	protected IInterpreterAssistantFactory af;

	public MultipleBindValuesCollector(IInterpreterAssistantFactory af)
	{
		this.af = af;
	}

	@Override
	public ValueList caseASetMultipleBind(ASetMultipleBind node, BindState state)
			throws AnalysisException
	{
		try
		{
			ValueList vl = new ValueList();
			ValueSet vs = node.getSet().apply(VdmRuntime.getExpressionEvaluator(), state.ctxt).setValue(state.ctxt);
			vs.sort();

			for (Value v : vs)
			{
				v = v.deref();

				if (v instanceof SetValue && state.permuted)
				{
					SetValue sv = (SetValue) v;
					vl.addAll(sv.permutedSets());
				} else
				{
					vl.add(v);
				}
			}

			return vl;
		} catch (AnalysisException e)
		{
			if (e instanceof ValueException)
			{
				VdmRuntimeError.abort(node.getLocation(), (ValueException) e);
			}
			return null;

		}
	}

	@Override
	public ValueList caseASeqMultipleBind(ASeqMultipleBind node, BindState state)
			throws AnalysisException
	{
		try
		{
			return node.getSeq().apply(VdmRuntime.getExpressionEvaluator(), state.ctxt).seqValue(state.ctxt);
		}
		catch (AnalysisException e)
		{
			if (e instanceof ValueException)
			{
				VdmRuntimeError.abort(node.getLocation(), (ValueException) e);
			}
			
			return null;
		}
	}

	@Override
	public ValueList caseATypeMultipleBind(ATypeMultipleBind node, BindState state)
			throws AnalysisException
	{
		return af.createPTypeAssistant().getAllValues(node.getType(), state.ctxt);
	}

	@Override
	public ValueList defaultPMultipleBind(PMultipleBind node, BindState question)
			throws AnalysisException
	{
		return null;
	}

	@Override
	public ValueList createNewReturnValue(INode node, BindState question)
			throws AnalysisException
	{
		return null;
	}

	@Override
	public ValueList createNewReturnValue(Object node, BindState question)
			throws AnalysisException
	{
		return null;
	}
}